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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LiquidBodySubstance

Sigma KEE - LiquidBodySubstance
LiquidBodySubstance

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


(documentation LiquidBodySubstance EnglishLanguage "Any BodySubstance which is Liquid under normal circumstances.") Mid-level-ontology.kif 10877-10878
(subclass LiquidBodySubstance BodySubstance) Mid-level-ontology.kif 10876-10876 LiquidBodySubstance est une sous-classe de substance corporel

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


(subclass Milk LiquidBodySubstance) Mid-level-ontology.kif 10890-10890 Milk est une sous-classe de LiquidBodySubstance
(subclass Serum LiquidBodySubstance) Mid-level-ontology.kif 10884-10884 Serum est une sous-classe de LiquidBodySubstance
(subclass TearSubstance LiquidBodySubstance) Mid-level-ontology.kif 12383-12383 TearSubstance est une sous-classe de LiquidBodySubstance
(termFormat ChineseLanguage LiquidBodySubstance "液体物质") domainEnglishFormat.kif 34631-34631
(termFormat ChineseTraditionalLanguage LiquidBodySubstance "液體物質") domainEnglishFormat.kif 34630-34630
(termFormat EnglishLanguage LiquidBodySubstance "liquid body substance") domainEnglishFormat.kif 34629-34629

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


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


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