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 4628-4630
(subclass OrganTransplant Surgery) Medicine.kif 4627-4627 Transplant is a subclass of surgery

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage OrganTransplant "organ transplant") Medicine.kif 4631-4631
(termFormat EnglishLanguage OrganTransplant "transplant") Medicine.kif 4632-4632

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 4642-4651
(=>
    (instance ?OT OrganTransplant)
    (exists (?H ?O)
        (and
            (instance ?H Animal)
            (instance ?O Organ)
            (needs ?H ?O))))
Medicine.kif 4634-4640


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