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

Formal Language: 



KB Term:  Term intersection
English Word: 

  height

Sigma KEE - height
height

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2642-2642
No TPTP formula. May not be expressible in strict first order. Merge.kif 7457-7458
No TPTP formula. May not be expressible in strict first order. Merge.kif 7454-7454 The number 1 argument of height is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 7455-7455 The number 2 argument of height is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7453-7453 height is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7452-7452 height is a subrelation of linearExtent

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 619-619
No TPTP formula. May not be expressible in strict first order. english_format.kif 622-622
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 620-620
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27869-27869
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27868-27868

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9678-9683
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 204-210
No TPTP formula. May not be expressible in strict first order. Geography.kif 6161-6170
No TPTP formula. May not be expressible in strict first order. Geography.kif 4128-4138
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 144-169

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30467-30472
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30474-30479
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2737-2748
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2774-2787
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12827-12836
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12810-12818
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1662-1674
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1235-1247
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1155-1167
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1900-1912
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1189-1201
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1860-1872
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1788-1800
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1744-1756
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1542-1554
No TPTP formula. May not be expressible in strict first order. Economy.kif 5058-5077
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 121-138


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