| 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 6478-6480 | |
| (relatedInternalConcept SheddingPart DeadFn) | Geography.kif 6477-6477 | |
| (subclass SheddingPart BinaryPredicate) | Geography.kif 6476-6476 |
| appearance as argument number 2 |
|
|
| (instance sheddingBodyPart SheddingPart) | Geography.kif 6517-6517 | |
| (instance sheddingLeaves SheddingPart) | Geography.kif 6506-6506 | |
| (termFormat EnglishLanguage SheddingPart "shedding part") | domainEnglishFormat.kif 65505-65505 |
| 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 6495-6504 | |
| (=> (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 6482-6493 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners