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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BodySubstance

Sigma KEE - BodySubstance
BodySubstance

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


(documentation BodySubstance ChineseLanguage "这是由 Organism 释出、排泄或增生的细胞外物质和 细胞混合物。它包括 Substance 如: 唾液、牙釉质、汗水、激素和胃酸。") chinese_format.kif 3472-3473
(documentation BodySubstance EnglishLanguage "Extracellular material and mixtures of cells and extracellular material that are produced, excreted or accreted by an Organism. Included here are Substances such as saliva, dental enamel, sweat, hormones, and gastric acid.") Merge.kif 14201-14204
(subclass BodySubstance Substance) Merge.kif 14200-14200

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


(subclass AnimalSubstance BodySubstance) Merge.kif 14206-14206
(subclass Batrachotoxin BodySubstance) WMD.kif 309-309
(subclass Bile BodySubstance) Mid-level-ontology.kif 11444-11444
(subclass Blood BodySubstance) Merge.kif 14247-14247
(subclass BotulinumToxin BodySubstance) WMD.kif 323-323
(subclass Conotoxin BodySubstance) WMD.kif 1439-1439
(subclass EpsilonToxin BodySubstance) WMD.kif 349-349
(subclass Excrement BodySubstance) Mid-level-ontology.kif 1998-1998
(subclass Hormone BodySubstance) Merge.kif 14228-14228
(subclass LiquidBodySubstance BodySubstance) Mid-level-ontology.kif 10327-10327
(subclass Mucus BodySubstance) Mid-level-ontology.kif 11781-11781
(subclass Mycotoxin BodySubstance) WMD.kif 218-218
(subclass Neurotransmitter BodySubstance) Mid-level-ontology.kif 11797-11797
(subclass PlantSubstance BodySubstance) Merge.kif 14217-14217
(subclass Rubber BodySubstance) Mid-level-ontology.kif 8766-8766
(subclass Saliva BodySubstance) Mid-level-ontology.kif 11766-11766
(subclass Saxitoxin BodySubstance) WMD.kif 1424-1424
(subclass Tetrodotoxin BodySubstance) WMD.kif 1448-1448
(subclass Tissue BodySubstance) Merge.kif 14517-14517
(termFormat ChineseLanguage BodySubstance "身体物质") chinese_format.kif 1010-1010
(termFormat EnglishLanguage BodySubstance "body substance") english_format.kif 1232-1232

consequent
-------------------------


(=>
    (and
        (instance ?B Biopsy)
        (patient ?B ?BS))
    (instance ?BS BodySubstance))
Mid-level-ontology.kif 23476-23480
(=>
    (instance ?Loam Loam)
    (exists (?Clay ?Sand ?Gravel ?Silt ?Organic)
        (and
            (instance ?Clay Clay)
            (piece ?Clay ?Loam)
            (instance ?Gravel Gravel)
            (piece ?Gravel ?Loam)
            (instance ?Sand Sand)
            (piece ?Sand ?Loam)
            (instance ?Silt Silt)
            (piece ?Silt ?Loam)
            (instance ?Organic BodySubstance)
            (piece ?Organic ?Loam))))
Geography.kif 4202-4215


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