Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 15406-15406 | 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 15407-15409 | Organ is a subclass of body part |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?ORGAN Organ) (exists (?PURP) (hasPurpose ?ORGAN ?PURP))) |
Merge.kif 15411-15414 | If X is an instance of organ, then there exists Y such that X has the purpose Y |
| consequent |
|
|
| (=> (instance ?PROC OrganOrTissueProcess) (exists (?THING) (and (eventLocated ?PROC ?THING) (or (instance ?THING Organ) (instance ?THING Tissue))))) |
Merge.kif 10401-10408 | 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 10888-10894 | 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 26317-26322 | 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 |
| (=> (instance ?OT OrganTransplant) (exists (?H ?O) (and (instance ?H Animal) (instance ?O Organ) (needs ?H ?O)))) |
Medicine.kif 4655-4661 | 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 4663-4672 | 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 |
|