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 13648-13649
(subclass AnimalSubstance BodySubstance)	Merge.kif 13647-13647	subclass AnimalSubstance and BodySubstance

appearance as argument number 2

(subclass Bone AnimalSubstance)	Merge.kif 13956-13956	subclass Bone and AnimalSubstance
(subclass Cholesterol AnimalSubstance)	Mid-level-ontology.kif 8388-8388	subclass Cholesterol and AnimalSubstance
(subclass Honey AnimalSubstance)	Mid-level-ontology.kif 19390-19390	subclass Honey and AnimalSubstance
(subclass Muscle AnimalSubstance)	Merge.kif 13968-13968	subclass Muscle and AnimalSubstance
(subclass Sweat AnimalSubstance)	Mid-level-ontology.kif 9066-9066	subclass Sweat and AnimalSubstance
(subclass Tendon AnimalSubstance)	Mid-level-ontology.kif 9055-9055	subclass Tendon and AnimalSubstance
(termFormat ChineseLanguage AnimalSubstance "动物物质")	domainEnglishFormat.kif 7627-7627	termFormat ChineseLanguage, AnimalSubstance and "动物物质"
(termFormat ChineseTraditionalLanguage AnimalSubstance "動物物質")	domainEnglishFormat.kif 7626-7626	termFormat ChineseTraditionalLanguage, AnimalSubstance and "動物物質"
(termFormat EnglishLanguage AnimalSubstance "animal substance")	domainEnglishFormat.kif 7625-7625	termFormat EnglishLanguage, AnimalSubstance and "animal substance"

antecedent

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

Merge.kif 13651-13656