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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LiquidMixture

Sigma KEE - LiquidMixture
LiquidMixture(液体混合物)

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 液体混合物 详尽无遗地 partition溶液悬挂
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31619-31619 roomTempState 液体混合物 and 液体
No TPTP formula. May not be expressible in strict first order. Merge.kif 14709-14709 液体混合物混合物subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14737-14737 混合气体 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21573-21573 乳胶液体混合物subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 4324-4324 土壤溶液液体混合物subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21627-21627 溶胶液体混合物subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14723-14723 溶液液体混合物subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14730-14730 悬挂液体混合物subclass
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 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