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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SalineSolution

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 8420-8421
(subclass SalineSolution Solution) Mid-level-ontology.kif 8419-8419 Saline solution is a subclass of solution

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


(subclass TearSubstance SalineSolution) Mid-level-ontology.kif 11893-11893 Tear substance is a subclass of saline solution
(termFormat ChineseLanguage SalineSolution "生理盐水") domainEnglishFormat.kif 50920-50920
(termFormat ChineseTraditionalLanguage SalineSolution "生理鹽水") domainEnglishFormat.kif 50919-50919
(termFormat EnglishLanguage SalineSolution "saline solution") domainEnglishFormat.kif 50918-50918

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


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


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