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 14190-14191
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 14189-14189 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 7170-7179
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 1652-1673
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 1835-1842
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1822-1830
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 24827-24835
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 8658-8664
No TPTP formula. May not be expressible in strict first order. Weather.kif 1318-1327
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 2911-2924
No TPTP formula. May not be expressible in strict first order. Merge.kif 14193-14198
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26164-26174


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