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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SalineSolution
SalineSolution(saline solution)saline, saline_solution

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


(documentation SalineSolution EnglishLanguage "A Solution consisting of SodiumChloride and Water.") Mid-level-ontology.kif 8429-8430
(subclass SalineSolution Solution) Mid-level-ontology.kif 8428-8428 Saline solution is a subclass of solution

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


(subclass TearSubstance SalineSolution) Mid-level-ontology.kif 9265-9265 Tear substance is a subclass of saline solution
(termFormat ChineseLanguage SalineSolution "生理盐水") domainEnglishFormat.kif 50855-50855
(termFormat ChineseTraditionalLanguage SalineSolution "生理鹽水") domainEnglishFormat.kif 50854-50854
(termFormat EnglishLanguage SalineSolution "saline solution") domainEnglishFormat.kif 50853-50853

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


(=>
    (and
        (instance ?SOLUTION SalineSolution)
        (part ?PART ?SOLUTION))
    (or
        (instance ?PART SodiumChloride)
        (instance ?PART Water)))
Mid-level-ontology.kif 8432-8438


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