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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SalineSolution

Sigma KEE - SalineSolution
SalineSolution(生理盐水)

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 生理盐水溶液subclass

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


(subclass BrackishWater SalineSolution) Geography.kif 2848-2848 BrackishWater生理盐水subclass
(subclass Brine SalineSolution) Geography.kif 2868-2868 Brine生理盐水subclass
(subclass SeaWater SalineSolution) Geography.kif 2821-2821 SeaWater生理盐水subclass
(subclass TearSubstance SalineSolution) Mid-level-ontology.kif 12357-12357 泪液生理盐水subclass
(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 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