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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Horizontal

Sigma KEE - Horizontal
Horizontal(horizontal)flat, horizontal, horizontality, horizontally, level

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17041-17041 Horizontal is the opposite of vertical
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3810-3811
No TPTP formula. May not be expressible in strict first order. Merge.kif 17042-17043
No TPTP formula. May not be expressible in strict first order. Merge.kif 17040-17040 Horizontal is an instance of positional attribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28557-28557
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28556-28556
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28555-28555
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 532-532

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17045-17047 An object is horizontal to another object if and only if the other object is horizontal to the object
No TPTP formula. May not be expressible in strict first order. Weather.kif 1651-1672
No TPTP formula. May not be expressible in strict first order. Weather.kif 2728-2748
No TPTP formula. May not be expressible in strict first order. Weather.kif 2750-2771

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17045-17047 An object is horizontal to another object if and only if the other object is horizontal to the object
No TPTP formula. May not be expressible in strict first order. Weather.kif 2709-2726
No TPTP formula. May not be expressible in strict first order. Weather.kif 560-570


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