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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 7554-7555
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1358-1359
No TPTP formula. May not be expressible in strict first order. Merge.kif 7551-7551 O argumento numero 1 de height e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order. Merge.kif 7552-7552 O argumento numero 2 de height e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order. Merge.kif 7550-7550 height e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 7549-7549 height e' uma sub-relacao de 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. french_format.kif 374-374
No TPTP formula. May not be expressible in strict first order. relations-it.txt 127-127
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2108-2108
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 326-326
No TPTP formula. May not be expressible in strict first order. relations-de.txt 812-812
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 167-167
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 396-396
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 415-415
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 260-260
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 27878-27878
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27877-27877
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 261-261

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9812-9817
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 4401-4405
No TPTP formula. May not be expressible in strict first order. Geography.kif 6259-6268
No TPTP formula. May not be expressible in strict first order. Geography.kif 4206-4216
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 31115-31120
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31122-31127
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2775-2788
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2816-2829
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13392-13401
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13376-13384
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 6017-6036
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 121-138


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