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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LiquidMixture

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 14448-14451
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2485-2485
No TPTP formula. May not be expressible in strict first order. Merge.kif 14447-14447 Liquid mixture is exhaustively partitioned into solution and suspension
No TPTP formula. May not be expressible in strict first order. Merge.kif 14446-14446 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 14473-14473 Gas mixture is disjoint from liquid mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 14460-14460 Solution is a subclass of liquid mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 14467-14467 Suspension is a subclass of liquid mixture
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34632-34632
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34631-34631
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34630-34630

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14453-14458

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19022-19029
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1292-1298


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