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 2565-2567
No TPTP formula. May not be expressible in strict first order. Merge.kif 2563-2563 Spatial relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2562-2562 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 853-853 Back is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 833-833 Front is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9265-9265 Mereological difference is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9244-9244 Mereological product is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9222-9222 Mereological sum is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4079-4079 Where is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1454-1454 absolute height is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27989-27989 beforeOnPath is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4009-4009 between is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4030-4030 between on path is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8970-8970 connected is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8992-8992 connects is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 942-942 contains is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27959-27959 covers is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Cars.kif 1527-1527 cylinderBore is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7302-7302 distance is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21704-21704 havePartTypes is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9291-9291 hole is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21653-21653 initial part is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21680-21680 initially contains part is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7373-7373 larger is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15777-15777 orientation is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 872-872 part is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9414-9414 partially fills is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3901-3901 partly located 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 7804-7809


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