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 2659-2661
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 2657-2657 Spatial relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2656-2656 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 895-895 Back is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 875-875 Front is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9848-9848 Mereological difference is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9827-9827 Mereological product is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9805-9805 Mereological sum is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4220-4220 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 29762-29762 before on path is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4150-4150 between is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4171-4171 between on path is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9522-9522 connected is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9549-9549 connects is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1014-1014 contains is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29731-29731 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 7699-7699 distance is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 992-992 hole is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23696-23696 initial part is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23723-23723 initially contains part is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7770-7770 larger is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16932-16932 orientation is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 914-914 part is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9997-9997 partially fills is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4042-4042 partly located is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Cars.kif 729-729 physical amplitude 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 8271-8278


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