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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Air
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 14842-14843
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2433-2433
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2537-2537
No TPTP formula. May not be expressible in strict first order. Merge.kif 14841-14841 Air e' uma sub-classe de GasMixture

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 63-63 AirStream e' uma sub-classe de Air
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6096-6096
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6095-6095
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6094-6094

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7545-7554
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 1634-1655
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 2165-2173
No TPTP formula. May not be expressible in strict first order. Medicine.kif 853-875
No TPTP formula. May not be expressible in strict first order. Medicine.kif 799-810
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1892-1899
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1879-1887
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 25558-25566
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 9108-9114
No TPTP formula. May not be expressible in strict first order. Weather.kif 1302-1311
No TPTP formula. May not be expressible in strict first order. Cars.kif 3288-3298
No TPTP formula. May not be expressible in strict first order. Cars.kif 5177-5189
No TPTP formula. May not be expressible in strict first order. Weather.kif 2899-2912
No TPTP formula. May not be expressible in strict first order. Merge.kif 14845-14850
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26877-26887


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