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 14813-14814
(subclass AnimalSubstance BodySubstance)	Merge.kif 14812-14812	AnimalSubstance ist eine teilkategorie von BodySubstance

appearance as argument number 2

(subclass BoneTissue AnimalSubstance)	Merge.kif 15190-15190	BoneTissue ist eine teilkategorie von AnimalSubstance
(subclass Cholesterol AnimalSubstance)	Mid-level-ontology.kif 8708-8708	Cholesterol ist eine teilkategorie von AnimalSubstance
(subclass Honey AnimalSubstance)	Mid-level-ontology.kif 21632-21632	Honey ist eine teilkategorie von AnimalSubstance
(subclass Meat AnimalSubstance)	Merge.kif 14876-14876	Meat ist eine teilkategorie von AnimalSubstance
(subclass MuscleTissue AnimalSubstance)	Merge.kif 15225-15225	MuscleTissue ist eine teilkategorie von AnimalSubstance
(subclass Sweat AnimalSubstance)	Mid-level-ontology.kif 9457-9457	Sweat ist eine teilkategorie von AnimalSubstance
(subclass Tendon AnimalSubstance)	Mid-level-ontology.kif 9446-9446	Tendon ist eine teilkategorie von AnimalSubstance
(termFormat ChineseLanguage AnimalSubstance "动物物质")	domainEnglishFormat.kif 7620-7620
(termFormat ChineseTraditionalLanguage AnimalSubstance "動物物質")	domainEnglishFormat.kif 7619-7619
(termFormat EnglishLanguage AnimalSubstance "animal substance")	domainEnglishFormat.kif 7618-7618

antecedent

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

Merge.kif 14816-14821

Wenn Object ist ein fall von AnimalSubstance %n{nicht} und ** Object ist ein fall von Organism %n{nicht} und ** Object ist ein teil von ** ** Object %n{nicht},
dann ** ** Object ist ein fall von Animal %n{nicht}