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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LiquidBodySubstance
LiquidBodySubstance(liquid body substance)blood_plasma, plasm, plasma

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


(documentation LiquidBodySubstance EnglishLanguage "Any BodySubstance which is Liquid under normal circumstances.") Mid-level-ontology.kif 11746-11747
(subclass LiquidBodySubstance BodySubstance) Mid-level-ontology.kif 11745-11745 Liquid body substance is a subclass of body substance

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


(subclass Milk LiquidBodySubstance) Mid-level-ontology.kif 11759-11759 Milk is a subclass of liquid body substance
(subclass Serum LiquidBodySubstance) Mid-level-ontology.kif 11753-11753 Serum is a subclass of liquid body substance
(subclass TearSubstance LiquidBodySubstance) Mid-level-ontology.kif 13252-13252 Tear substance is a subclass of liquid body substance
(termFormat ChineseLanguage LiquidBodySubstance "液体物质") domainEnglishFormat.kif 34659-34659 Tear substance is a subclass of liquid body substance
(termFormat ChineseTraditionalLanguage LiquidBodySubstance "液體物質") domainEnglishFormat.kif 34658-34658 Tear substance is a subclass of liquid body substance
(termFormat EnglishLanguage LiquidBodySubstance "liquid body substance") domainEnglishFormat.kif 34657-34657 Tear substance is a subclass of liquid body substance

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


(=>
    (instance ?SUBSTANCE LiquidBodySubstance)
    (attribute ?SUBSTANCE Liquid))
Mid-level-ontology.kif 11749-11751


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