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 9826-9826 Mereological difference is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9805-9805 Mereological product is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9783-9783 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 29774-29774 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 9500-9500 connected is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9527-9527 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 29743-29743 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 7677-7677 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 23697-23697 initial part is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23724-23724 initially contains part is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7748-7748 larger is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16910-16910 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 9975-9975 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 8249-8256


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