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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Miscible

Sigma KEE - Miscible
Miscible

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


(contraryAttribute Miscible Immiscible) Mid-level-ontology.kif 21634-21634
(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 21620-21621
(instance Miscible InternalAttribute) Mid-level-ontology.kif 21622-21622

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

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


(=>
    (and
        (instance ?L LiquidMixture)
        (attribute ?L Miscible)
        (equal ?L ?X))
    (instance ?X Solution))
Mid-level-ontology.kif 21624-21629


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