closebaserels

利用空间表示的rcc8模型进行空间推理

( DC ) 
( EC )
( DC EC ) 
( PO )
( EC PO ) 
( DC EC PO ) 
( TPP )
( TPP PO )
( EC TPP PO )
( DC EC TPP PO )
( NTPP )
( TPP NTPP )
( TPP PO NTPP )
( EC TPP PO NTPP )
( DC EC TPP PO NTPP )
( TPPI )
( TPPI PO )
( EC TPPI PO )
( DC EC TPPI PO )
( NTPPI )
( TPPI NTPPI )
( TPPI PO NTPPI )
( EC TPPI PO NTPPI )
( DC EC TPPI PO NTPPI )
( EQ )
( TPP TPPI PO EQ )
( EC TPP TPPI PO EQ )
( DC EC TPP TPPI PO EQ )
( TPP TPPI PO EQ NTPP )
( EC TPP TPPI PO EQ NTPP )
( DC EC TPP TPPI PO EQ NTPP )
( TPP TPPI PO EQ NTPPI )
( EC TPP TPPI PO EQ NTPPI )
( DC EC TPP TPPI PO EQ NTPPI )
( TPP TPPI PO EQ NTPP NTPPI )
( EC TPP TPPI PO EQ NTPP NTPPI )
( DC EC TPP TPPI PO EQ NTPP NTPPI )
.