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 4635-4637
(subclass OrganTransplant Surgery)	Medicine.kif 4634-4634	Transplant is a subclass of surgery

appearance as argument number 2

(termFormat EnglishLanguage OrganTransplant "organ transplant")	Medicine.kif 4638-4638
(termFormat EnglishLanguage OrganTransplant "transplant")	Medicine.kif 4639-4639

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 4649-4658	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 4641-4647	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