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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2655-2657
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 2653-2653 Spatial relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2652-2652 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. Merge.kif 868-868 Front is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9949-9949 Mereological difference is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9928-9928 Mereological product is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9906-9906 Mereological sum is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4233-4233 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 31426-31426 before on path is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4158-4158 between is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4179-4179 between on path is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9621-9621 connected is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9648-9648 connects is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1009-1009 contains is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16037-16037 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 7744-7744 distance is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 987-987 hole is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25361-25361 initial part is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25389-25389 initially contains part is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7818-7818 larger is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17070-17070 orientation is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 907-907 part is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 10098-10098 partially fills is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4046-4046 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 8347-8354


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



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