AnimalSubstance - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AnimalSubstance ChineseLanguage "这是只由 Animal 所产生的 BodySubstance。")	chinese_format.kif 3474-3474
(documentation AnimalSubstance EnglishLanguage "BodySubstances that are produced exclusively by Animals.")	Merge.kif 14966-14967
(subclass AnimalSubstance BodySubstance)	Merge.kif 14965-14965	AnimalSubstance は体物質の subclass では

appearance as argument number 2

(subclass BoneTissue AnimalSubstance)	Merge.kif 15343-15343	BoneTissue は AnimalSubstance の subclass では
(subclass Cholesterol AnimalSubstance)	Mid-level-ontology.kif 9914-9914	Cholesterol は AnimalSubstance の subclass では
(subclass Honey AnimalSubstance)	Mid-level-ontology.kif 23249-23249	Honey は AnimalSubstance の subclass では
(subclass Meat AnimalSubstance)	Merge.kif 15029-15029	肉は AnimalSubstance の subclass では
(subclass MuscleTissue AnimalSubstance)	Merge.kif 15378-15378	MuscleTissue は AnimalSubstance の subclass では
(subclass Sweat AnimalSubstance)	Mid-level-ontology.kif 10786-10786	Sweat は AnimalSubstance の subclass では
(subclass Tendon AnimalSubstance)	Mid-level-ontology.kif 10775-10775	Tendon は AnimalSubstance の subclass では
(termFormat ChineseLanguage AnimalSubstance "动物物质")	domainEnglishFormat.kif 7621-7621	Tendon は AnimalSubstance の subclass では
(termFormat ChineseTraditionalLanguage AnimalSubstance "動物物質")	domainEnglishFormat.kif 7620-7620	Tendon は AnimalSubstance の subclass では
(termFormat EnglishLanguage AnimalSubstance "animal substance")	domainEnglishFormat.kif 7619-7619	Tendon は AnimalSubstance の subclass では

antecedent

(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))

Merge.kif 14969-14974