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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Vertical

 Sigma KEE - Vertical
Vertical(垂直)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3808-3809
No TPTP formula. May not be expressible in strict first order. Merge.kif 17033-17034
No TPTP formula. May not be expressible in strict first order. Merge.kif 17032-17032 例 垂直 and PositionalAttribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17041-17041 相反的屬性 橫 and 垂直
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61556-61556
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61555-61555
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61554-61554
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 531-531

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17036-17038 方位 Object, Object and 垂直 方位 Object, Object and 垂直

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17036-17038 方位 Object, Object and 垂直 方位 Object, Object and 垂直
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4078-4095
No TPTP formula. May not be expressible in strict first order. Geography.kif 1914-1920
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3893-3907


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