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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Air
Air(air)
air, hot_air, liquid_air

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3471-3471
No TPTP formula. May not be expressible in strict first order. Merge.kif 14548-14549
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2434-2434
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2538-2538
No TPTP formula. May not be expressible in strict first order. Merge.kif 14547-14547 Air is a subclass of gas mixture

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 63-63 Air stream is a subclass of air
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6105-6105
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6104-6104
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6103-6103

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7261-7270
No TPTP formula. May not be expressible in strict first order. Cars.kif 1314-1348
No TPTP formula. May not be expressible in strict first order. Weather.kif 1650-1671
No TPTP formula. May not be expressible in strict first order. Weather.kif 55-60
No TPTP formula. May not be expressible in strict first order. Weather.kif 48-53
No TPTP formula. May not be expressible in strict first order. Weather.kif 37-39

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2182-2190
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1862-1869
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1849-1857
No TPTP formula. May not be expressible in strict first order. Cars.kif 965-971
No TPTP formula. May not be expressible in strict first order. Cars.kif 973-983
No TPTP formula. May not be expressible in strict first order. Weather.kif 41-46
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24972-24980
No TPTP formula. May not be expressible in strict first order. Cars.kif 1519-1529
No TPTP formula. May not be expressible in strict first order. Weather.kif 560-570
No TPTP formula. May not be expressible in strict first order. Cars.kif 1112-1124
No TPTP formula. May not be expressible in strict first order. Cars.kif 943-958
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8730-8736
No TPTP formula. May not be expressible in strict first order. Weather.kif 1317-1326
No TPTP formula. May not be expressible in strict first order. Cars.kif 3303-3313
No TPTP formula. May not be expressible in strict first order. Cars.kif 5195-5207
No TPTP formula. May not be expressible in strict first order. Weather.kif 2915-2928
No TPTP formula. May not be expressible in strict first order. Merge.kif 14551-14556
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26308-26318


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