OrganTransplant - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - OrganTransplant

OrganTransplant(transplant)

appearance as argument number 1

(documentation OrganTransplant EnglishLanguage "Taking an Organ from a live or dead donor for implantation in a recipient who has lost use of that corresponding organ due to disease or injury.")	Medicine.kif 4616-4618
(subclass OrganTransplant Surgery)	Medicine.kif 4615-4615	Transplant is a subclass of surgery

appearance as argument number 2

(termFormat EnglishLanguage OrganTransplant "organ transplant")	Medicine.kif 4619-4619
(termFormat EnglishLanguage OrganTransplant "transplant")	Medicine.kif 4620-4620

antecedent

(=> (instance ?OT OrganTransplant) (exists (?H ?O ?P) (and (instance ?H Animal) (instance ?O Organ) (instance ?P Putting) (subProcess ?P ?OT) (objectTransferred ?P ?O) (destination ?P ?H))))	Medicine.kif 4630-4639	If a process is an instance of transplant, then there exist an entity, an object and a transfer such that the entity is an instance of animal and the object is an instance of organ and the transfer is an instance of putting and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the transfer ends up at the entity
(=> (instance ?OT OrganTransplant) (exists (?H ?O) (and (instance ?H Animal) (instance ?O Organ) (needs ?H ?O))))	Medicine.kif 4622-4628	If an entity is an instance of transplant, then there exist a cognitive agent and a physical such that the cognitive agent is an instance of animal and the physical is an instance of organ and the cognitive agent needs the physical

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