![]() |
![]() ![]() ![]()
|
![]() |
|
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 14835-14836 | |
(subclass AnimalSubstance BodySubstance) | Merge.kif 14834-14834 | AnimalSubstance è una sottoclasse di SostanzaCorporea |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (instance ?SUBSTANCE AnimalSubstance) (instance ?ANIMAL Organism) (part ?SUBSTANCE ?ANIMAL)) (instance ?ANIMAL Animal)) |
Merge.kif 14838-14843 |
![]() |
![]() |