| Organ(organ) | | CNS, GU, MPS, RES, Roman_nose, agonadal, anlage, antheridium, articulator, athlete's_heart, auditory_apparatus, auditory_system, baroreceptor, beak, biauriculate_heart, bladderlike, bladdery, boob, book_lung, bosom, branchia, breast, button, calyx_tube, cardiac, caudal_fin, central_nervous_system, ceras, cerebral, cerebrally, cerebrospinal, chemoreceptor, clit, clitoris, cock, conk, contractile_organ, contractor, craw, crop, crotch, ctenidium, cunt, cupule, dick, dorsal_fin, effector, ego, enteroceptor, entrails... |
| appearance as argument number 1 |
|
|
| (subclass Organ BodyPart) | Merge.kif 15285-15285 | Organ is a subclass of body part |
| (documentation Organ EnglishLanguage "A somewhat independent BodyPart that performs a specialized function. Note that this functional definition covers bodily systems, e.g. the digestive system or the central nervous system.") | Merge.kif 15286-15288 | Organ is a subclass of body part |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?ORGAN Organ) (exists (?PURP) (hasPurpose ?ORGAN ?PURP))) |
Merge.kif 15290-15293 | If X is an instance of organ, then there exists Y such that X has the purpose Y |
| consequent |
|
|
| (=> (instance ?OT OrganTransplant) (exists (?H ?O) (and (instance ?H Animal) (instance ?O Organ) (needs ?H ?O)))) |
Medicine.kif 4617-4623 | If X is an instance of transplant, then there exist Y, Z such that Y is an instance of animal, Z is an instance of organ, and Y needs Z |
| (=> (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 4625-4634 | If X is an instance of transplant, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of animal (3) Z is an instance of organ (4) W is an instance of putting (5) W is a subprocess of X (6) the object transferred in W is Z (7) W ends up at Y |
| (=> (instance ?PROC OrganOrTissueProcess) (exists (?THING) (and (eventLocated ?PROC ?THING) (or (instance ?THING Organ) (instance ?THING Tissue))))) |
Merge.kif 10335-10342 | If X is an instance of organ or tissue process, then there exists Y such that X is located at Y and Y is an instance of organ or Y is an instance of tissue |
| (=> (instance ?L Lesion) (exists (?S ?O) (and (surface ?S ?O) (instance ?O Organ) (located ?L ?S)))) |
Mid-level-ontology.kif 10765-10771 | If X is an instance of lesion, then there exist Y, Z such that Y is a surface of Z, Z is an instance of organ, and X is located at Y |
| (=> (instance ?P Organification) (exists (?O) (and (instance ?O Organ) (result ?P ?O)))) |
Mid-level-ontology.kif 26399-26404 | If X is an instance of organification, then there exists Y such that Y is an instance of organ and Y is a result of X |
|
|
|