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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpatialRelation
SpatialRelation(relation spatial)

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 Relation spatial est une sous-classe de InheritableRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2656-2656 Relation spatial est une sous-classe de relation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 895-895 BackFn est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Merge.kif 875-875 FrontFn est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Merge.kif 9862-9862 MereologicalDifferenceFn est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Merge.kif 9841-9841 MereologicalProductFn est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Merge.kif 9819-9819 MereologicalSumFn est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Merge.kif 4221-4221 WhereFn est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1454-1454 absoluteHeight est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29799-29799 beforeOnPath est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Merge.kif 4151-4151 between est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Merge.kif 4172-4172 betweenOnPath est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Merge.kif 9536-9536 connected est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Merge.kif 9563-9563 connects est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Merge.kif 1014-1014 contains est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Merge.kif 15948-15948 covers est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Cars.kif 1531-1531 cylinderBore est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Merge.kif 7713-7713 distance est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Merge.kif 992-992 hole est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23753-23753 initialPart est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23781-23781 initiallyContainsPart est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Merge.kif 7784-7784 larger est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Merge.kif 16981-16981 orientation est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Merge.kif 914-914 part est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Merge.kif 10011-10011 partiallyFills est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Merge.kif 4043-4043 partlyLocated est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Cars.kif 729-729 physicalAmplitude est une instance de relation spatial

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 8285-8292


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