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

appearance as argument number 2

(instance sheddingBodyPart SheddingPart)	Geography.kif 6447-6447	shedding body part is an instance of shedding part
(instance sheddingLeaves SheddingPart)	Geography.kif 6436-6436	shedding leaves is an instance of shedding part
(termFormat EnglishLanguage SheddingPart "shedding part")	domainEnglishFormat.kif 65530-65530	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 6425-6434	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 6412-6423	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