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 13784-13785
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 13783-13783 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 7103-7112
No TPTP formula. May not be expressible in strict first order. Cars.kif 1328-1362
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 2196-2204
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1836-1843
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1823-1831
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. Cars.kif 1218-1226
No TPTP formula. May not be expressible in strict first order. Cars.kif 1533-1543
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 7926-7932
No TPTP formula. May not be expressible in strict first order. Weather.kif 1316-1325
No TPTP formula. May not be expressible in strict first order. Cars.kif 3317-3327
No TPTP formula. May not be expressible in strict first order. Cars.kif 5215-5227
No TPTP formula. May not be expressible in strict first order. Weather.kif 2909-2922
No TPTP formula. May not be expressible in strict first order. Merge.kif 13787-13792
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23038-23048


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