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 8771-8772
(subclass SalineSolution Solution) Mid-level-ontology.kif 8770-8770 Saline solution is a subclass of solution

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


(subclass BrackishWater SalineSolution) Geography.kif 2848-2848 Brackish water is a subclass of saline solution
(subclass Brine SalineSolution) Geography.kif 2868-2868 Brine is a subclass of saline solution
(subclass SeaWater SalineSolution) Geography.kif 2821-2821 Sea water is a subclass of saline solution
(subclass TearSubstance SalineSolution) Mid-level-ontology.kif 12357-12357 Tear substance is a subclass of saline solution
(termFormat ChineseLanguage SalineSolution "生理盐水") domainEnglishFormat.kif 50937-50937
(termFormat ChineseTraditionalLanguage SalineSolution "生理鹽水") domainEnglishFormat.kif 50936-50936
(termFormat EnglishLanguage SalineSolution "saline solution") domainEnglishFormat.kif 50935-50935

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


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

consequent
-------------------------


(=>
    (instance ?SL SalineLock)
    (exists (?S)
        (and
            (instance ?S SalineSolution)
            (contains ?SL ?S))))
Medicine.kif 1106-1111


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