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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 21604-21605
(instance Immiscible InternalAttribute) Mid-level-ontology.kif 21606-21606 Immiscible is an instance of internal attribute

appearance as argument number 2

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


        (instance ?L LiquidMixture)
        (attribute ?L Immiscible)
        (equal ?L ?X))
    (instance ?X Emulsion))
Mid-level-ontology.kif 21586-21591

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