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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SalineSolution
SalineSolution

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


(documentation SalineSolution EnglishLanguage "A Solution consisting of SodiumChloride and Water.") Mid-level-ontology.kif 8449-8450
(subclass SalineSolution Solution) Mid-level-ontology.kif 8448-8448

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


(subclass TearSubstance SalineSolution) Mid-level-ontology.kif 9285-9285
(termFormat ChineseLanguage SalineSolution "生理盐水") domainEnglishFormat.kif 50875-50875
(termFormat ChineseTraditionalLanguage SalineSolution "生理鹽水") domainEnglishFormat.kif 50874-50874
(termFormat EnglishLanguage SalineSolution "saline solution") domainEnglishFormat.kif 50873-50873

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners