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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GasMixture

Sigma KEE - GasMixture
GasMixture(gas mixture)
aerosol, vapor, vapour

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14737-14737 Gas mixture is disjoint from liquid mixture
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3465-3466
No TPTP formula. May not be expressible in strict first order. Merge.kif 14738-14741
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4480-4480
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31602-31602 roomTempState gas mixture and gas
No TPTP formula. May not be expressible in strict first order. Merge.kif 14736-14736 Gas mixture is a subclass of mixture

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7542-7542 Aerosal is a subclass of gas mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 14795-14795 Air is a subclass of gas mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 14750-14750 Cloud is a subclass of gas mixture
No TPTP formula. May not be expressible in strict first order. Cars.kif 67-67 Fuel vapor is a subclass of gas mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 14731-14731 Suspension is a subclass of gas mixture
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25532-25532
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25531-25531
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25530-25530

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1379-1389
No TPTP formula. May not be expressible in strict first order. Merge.kif 14743-14748

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19648-19655
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1368-1376
No TPTP formula. May not be expressible in strict first order. Cars.kif 1092-1103


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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