(=> (and (instance ?REL SheddingPart) (?REL ?O ?P) (instance ?O ?ORG) (subclass ?ORG Organism)) (exists (?PART) (and (instance ?P (DeadFn ?PART)) (initialPart ?PART ?ORG)))) |
Geography.kif 6425-6434 | |
(subclass SheddingPart BinaryPredicate) | Geography.kif 6406-6406 | SheddingPart 是 二元谓语 的 subclass |