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 14949-14950
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2432-2432
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2536-2536
No TPTP formula. May not be expressible in strict first order. Merge.kif 14948-14948 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 Air stream is a subclass of air
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6104-6104 Air stream is a subclass of air
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6103-6103 Air stream is a subclass of air

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7849-7858
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 2336-2357
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 2166-2174
No TPTP formula. May not be expressible in strict first order. Medicine.kif 844-866
No TPTP formula. May not be expressible in strict first order. Medicine.kif 790-801
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2362-2369
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2349-2357
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. Cars.kif 965-971
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 27163-27171
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. 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 10287-10293
No TPTP formula. May not be expressible in strict first order. Weather.kif 2005-2014
No TPTP formula. May not be expressible in strict first order. Cars.kif 3364-3374
No TPTP formula. May not be expressible in strict first order. Cars.kif 5253-5265
No TPTP formula. May not be expressible in strict first order. Weather.kif 3602-3615
No TPTP formula. May not be expressible in strict first order. Merge.kif 14952-14957
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28743-28753


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