Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

  SpatialRelation

 Sigma KEE - SpatialRelation
SpatialRelation(spatial relation)antiparallel, camera_angle, cata-cornered, catacorner, cater-cornered, catercorner, catty-corner, catty-cornered, coincidence, collateral, complementary_distribution, complementation, design, diaspora, diffuseness, diffusion, dimensionality, directionality, directiveness, directivity, dissemination, flatness, innervation, kitty-corner, kitty-cornered, linearity, nonconvergent, nonintersecting, nonparallel, nonspatial, occlusion, one-dimensionality, perpendicular, plan, planeness, point_of_view, scatter, spacial, spacing, spatial, spatial_arrangement, spatial_property, spatiality, spatially, spread, third-dimensionality, three-dimensionality, topography, two-dimensionality

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1916-1917
No TPTP formula. May not be expressible in strict first order. Merge.kif 2670-2672
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 543-544
No TPTP formula. May not be expressible in strict first order. Merge.kif 2668-2668 Spatial relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2667-2667 Spatial relation is a subclass of relation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 888-888 Back is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27444-27444 Level plane is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 868-868 Front is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27418-27418 Level plane is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9964-9964 Mereological difference is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9943-9943 Mereological product is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9921-9921 Mereological sum is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4248-4248 Where is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31667-31667 before on path is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4173-4173 between is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4194-4194 between on path is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9636-9636 connected is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9663-9663 connects is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1024-1024 contains is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16052-16052 covers is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Cars.kif 1531-1531 cylinder bore is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7759-7759 distance is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27350-27350 distance of of parallel lines in space is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27311-27311 level plane is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1002-1002 hole is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25342-25342 initial part is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25370-25370 initially contains part is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7833-7833 larger is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27475-27475 object ends is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17085-17085 orientation is an instance of spatial relation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 8362-8369


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners