Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SheddingPart(shedding part) |
| appearance as argument number 1 |
|
| (subclass SheddingPart BinaryPredicate) | Geography.kif 8031-8031 | Shedding part is a subclass of binary predicate |
| (relatedInternalConcept SheddingPart DeadFn) | Geography.kif 8032-8032 | Shedding part is internally related to Dead fn |
| (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 8033-8035 | Shedding part is internally related to Dead fn |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 8037-8048 | If X is an instance of shedding part, X Y and Z, Y is an instance of organism, Z is an instance of anatomical structure, and Z is a part of Y, then there exists W such that W is an instance of removing, W originates at Y, and Z is a patient of W |
| (=> (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 8050-8059 | If X is an instance of shedding part, X Y and Z, Y is an instance of W, and W is a subclass of organism, then there exists V such that Z is an instance of a dead V and every V is initially part of a W |
|