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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BodySubstance
BodySubstance(body substance)A, ADP, AMP, ATP, C, Canada_balsam, Chian_turpentine, Christmas_factor, ECF, GHRF, Hageman_factor, Hemofil, IgA, Kendal, Kendal_green, Lanoxin, Lipo-Hepin, Liquaemin, PABA, Pap_smear, Papanicolaou_smear, Para_rubber, Rh, Rh_factor, Senegal_gum, Sonora_gum, Sonora_lac, Zanzibar_copal, absinthe_oil, acaroid_resin, accaroid_resin, accelerator_factor, accroides, accroides_gum, accroides_resin, achromatin, achromatinic, adenine, adenosine, adenosine_diphosphate, adenosine_monophosphate, adenosine_triphosphate, adenylic_acid, agar, agar-agar, algin, alginic_acid, alimentary_tract_smear, amber, ambergris...

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 14807-14810
(subclass BodySubstance Substance) Merge.kif 14806-14806 Body substance is a subclass of substance

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


(subclass AnimalSubstance BodySubstance) Merge.kif 14812-14812 Animal substance is a subclass of body substance
(subclass Batrachotoxin BodySubstance) WMD.kif 309-309 Batrachotoxin is a subclass of body substance
(subclass Bile BodySubstance) Mid-level-ontology.kif 11992-11992 Gall is a subclass of body substance
(subclass Blood BodySubstance) Merge.kif 14853-14853 Blood is a subclass of body substance
(subclass BloodPlasma BodySubstance) Medicine.kif 1140-1140 Blood plasma is a subclass of body substance
(subclass BotulinumToxin BodySubstance) WMD.kif 323-323 Botulinum toxin is a subclass of body substance
(subclass Conotoxin BodySubstance) WMD.kif 1469-1469 Conotoxin is a subclass of body substance
(subclass EpsilonToxin BodySubstance) WMD.kif 349-349 Epsilon toxin is a subclass of body substance
(subclass Excrement BodySubstance) Mid-level-ontology.kif 2062-2062 Excrement is a subclass of body substance
(subclass Hormone BodySubstance) Merge.kif 14834-14834 Hormone is a subclass of body substance
(subclass LiquidBodySubstance BodySubstance) Mid-level-ontology.kif 10849-10849 Liquid body substance is a subclass of body substance
(subclass Mucus BodySubstance) Mid-level-ontology.kif 12328-12328 Mucus is a subclass of body substance
(subclass Mycotoxin BodySubstance) WMD.kif 218-218 Mycotoxin is a subclass of body substance
(subclass Neurotransmitter BodySubstance) Mid-level-ontology.kif 12344-12344 Neurotransmitter is a subclass of body substance
(subclass PlantSubstance BodySubstance) Merge.kif 14823-14823 Plant substance is a subclass of body substance
(subclass Rubber BodySubstance) Mid-level-ontology.kif 9181-9181 Rubber is a subclass of body substance
(subclass Saliva BodySubstance) Mid-level-ontology.kif 12313-12313 Saliva is a subclass of body substance
(subclass Saxitoxin BodySubstance) WMD.kif 1454-1454 Saxitoxin is a subclass of body substance
(subclass Tetrodotoxin BodySubstance) WMD.kif 1478-1478 Tetrodotoxin is a subclass of body substance
(subclass Tissue BodySubstance) Merge.kif 15124-15124 Tissue is a subclass of body substance
(termFormat ChineseLanguage BodySubstance "身体物质") chinese_format.kif 1010-1010
(termFormat EnglishLanguage BodySubstance "body substance") english_format.kif 1232-1232
(termFormat FrenchLanguage BodySubstance "substance corporel") french_format.kif 687-687
(termFormat Hindi BodySubstance "shaarIrika padaartha") terms-hindi.txt 218-218

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?B Biopsy)
        (patient ?B ?BS))
    (instance ?BS BodySubstance))
Mid-level-ontology.kif 24089-24093
(=>
    (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 4340-4353


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