SheddingPart
|
|
appearance as argument number 1 |
(documentation SheddingPart EnglishLanguage "The Class of BinaryPredicates relating an Organism and the Removing of one of its Part as part of the normal process of life. Unlike Birth, the paitent dies upon its removal from the its origin.") | Geography.kif 6408-6410 | |
(relatedInternalConcept SheddingPart DeadFn) | Geography.kif 6407-6407 | SheddingPart ist innerlich verwandt mit DeadFn %n{nicht} |
(subclass SheddingPart BinaryPredicate) | Geography.kif 6406-6406 | SheddingPart ist eine teilkategorie von BinaryPredicate |
appearance as argument number 2 |
(instance sheddingBodyPart SheddingPart) | Geography.kif 6447-6447 | sheddingBodyPart ist ein fall von SheddingPart %n{nicht} |
(instance sheddingLeaves SheddingPart) | Geography.kif 6436-6436 | sheddingLeaves ist ein fall von SheddingPart %n{nicht} |
(termFormat EnglishLanguage SheddingPart "shedding part") | domainEnglishFormat.kif 65484-65484 |
antecedent |
(=> (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 |
|
(=> (and (instance ?REL SheddingPart) (?REL ?O ?P) (instance ?O Organism) (instance ?P AnatomicalStructure) (part ?P ?O)) (exists (?R) (and (instance ?R Removing) (origin ?R ?O) (patient ?R ?P)))) |
Geography.kif 6412-6423 |
|