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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LiquidMixture
LiquidMixture(liquid mixture)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3457-3459
No TPTP formula. May not be expressible in strict first order. Merge.kif 14711-14714
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2484-2484
No TPTP formula. May not be expressible in strict first order. Merge.kif 14710-14710 Liquid mixture is exhaustively partitioned into solution and suspension
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31619-31619 roomTempState liquid mixture and liquid
No TPTP formula. May not be expressible in strict first order. Merge.kif 14709-14709 Liquid mixture is a subclass of mixture

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


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. Mid-level-ontology.kif 21573-21573 Emulsion is a subclass of liquid mixture
No TPTP formula. May not be expressible in strict first order. Geography.kif 4324-4324 Soil solution is a subclass of liquid mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21627-21627 Sol mixture is a subclass of liquid mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 14723-14723 Solution is a subclass of liquid mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 14730-14730 Suspension is a subclass of liquid mixture
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34649-34649
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34648-34648
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34647-34647

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21586-21591
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21597-21602
No TPTP formula. May not be expressible in strict first order. Merge.kif 14716-14721

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. Food.kif 686-701
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1292-1298


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