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 14887-14888
(subclass AnimalSubstance BodySubstance)	Merge.kif 14886-14886	Animal substance is a subclass of body substance

appearance as argument number 2

(subclass BoneTissue AnimalSubstance)	Merge.kif 15264-15264	Bone tissue is a subclass of animal substance
(subclass Cholesterol AnimalSubstance)	Mid-level-ontology.kif 9481-9481	Cholesterol is a subclass of animal substance
(subclass Honey AnimalSubstance)	Mid-level-ontology.kif 22721-22721	Honey is a subclass of animal substance
(subclass Meat AnimalSubstance)	Merge.kif 14950-14950	Meat is a subclass of animal substance
(subclass MuscleTissue AnimalSubstance)	Merge.kif 15299-15299	Muscle tissue is a subclass of animal substance
(subclass Sweat AnimalSubstance)	Mid-level-ontology.kif 10353-10353	Sweat is a subclass of animal substance
(subclass Tendon AnimalSubstance)	Mid-level-ontology.kif 10342-10342	Tendon is a subclass of animal substance
(termFormat ChineseLanguage AnimalSubstance "动物物质")	domainEnglishFormat.kif 7627-7627	Tendon is a subclass of animal substance
(termFormat ChineseTraditionalLanguage AnimalSubstance "動物物質")	domainEnglishFormat.kif 7626-7626	Tendon is a subclass of animal substance
(termFormat EnglishLanguage AnimalSubstance "animal substance")	domainEnglishFormat.kif 7625-7625	Tendon is a subclass of animal substance

antecedent

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

Merge.kif 14890-14895