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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Immiscible
Immiscible

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


(documentation Immiscible EnglishLanguage "Contrary to Miscible, Immiscible is the state when there are certain proportions in which the Mixture does not form a Solution.") Mid-level-ontology.kif 21631-21632
(instance Immiscible InternalAttribute) Mid-level-ontology.kif 21633-21633

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


(contraryAttribute Miscible Immiscible) Mid-level-ontology.kif 21634-21634
(termFormat ChineseLanguage Immiscible "不混溶") domainEnglishFormat.kif 29391-29391
(termFormat ChineseTraditionalLanguage Immiscible "不混溶") domainEnglishFormat.kif 29390-29390
(termFormat EnglishLanguage Immiscible "immiscible") domainEnglishFormat.kif 29389-29389

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


(=>
    (and
        (instance ?L LiquidMixture)
        (attribute ?L Immiscible)
        (equal ?L ?X))
    (instance ?X Emulsion))
Mid-level-ontology.kif 21613-21618


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