TreeView Knowledge Base Browser - SheddingPart

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

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6408-6410
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6407-6407	Shedding part is internally related to Dead fn
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6406-6406	Shedding part is a subclass of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6447-6447	shedding body part is an instance of shedding part
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6436-6436	shedding leaves is an instance of shedding part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65482-65482

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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