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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Miscible

appearance as argument number 1

(contraryAttribute Miscible Immiscible) Mid-level-ontology.kif 21607-21607 Miscible is the opposite of immiscible
(documentation Miscible EnglishLanguage "Miscible describes a state when two Substances can mix in all proportions, forming a homogeneous &Mixture often in the form of LiquidMixture.") Mid-level-ontology.kif 21593-21594
(instance Miscible InternalAttribute) Mid-level-ontology.kif 21595-21595 Miscible is an instance of internal attribute

appearance as argument number 2

(termFormat ChineseLanguage Miscible "混溶的") domainEnglishFormat.kif 38021-38021
(termFormat ChineseTraditionalLanguage Miscible "混溶的") domainEnglishFormat.kif 38020-38020
(termFormat EnglishLanguage Miscible "miscible") domainEnglishFormat.kif 38019-38019


        (instance ?L LiquidMixture)
        (attribute ?L Miscible)
        (equal ?L ?X))
    (instance ?X Solution))
Mid-level-ontology.kif 21597-21602

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