SheddingPart - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - SheddingPart

SheddingPart(shedding part)

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	Shedding part is internally related to Dead fn
(subclass SheddingPart BinaryPredicate)	Geography.kif 6476-6476	Shedding part is a subclass of binary predicate

appearance as argument number 2

(instance sheddingBodyPart SheddingPart)	Geography.kif 6517-6517	shedding body part is an instance of shedding part
(instance sheddingLeaves SheddingPart)	Geography.kif 6506-6506	shedding leaves is an instance of shedding part
(termFormat EnglishLanguage SheddingPart "shedding part")	domainEnglishFormat.kif 65505-65505	shedding leaves is an instance of shedding part

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	If an entity is an instance of shedding part and the entity another entity and a third entity and the other entity is an instance of the other entityRG and the other entityRG is a subclass of organism, then there exists the third entityART such that the third entity is an instance of a dead the third entityART and every the third entityART is initially part of a the other entityRG
(=> (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	If an entity is an instance of shedding part and the entity an object and another object and the object is an instance of organism and the other object is an instance of anatomical structure and the other object is a part of the object, then there exists a process such that the process is an instance of removing and the process originates at the object and the other object is a patient of the process

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