Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Urine
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Urine Excrement) | Mid-level-ontology.kif 2693-2693 | Urine is a subclass of excrement |
| (documentation Urine EnglishLanguage "Urine is a type of Liquid Excrement that is secreted by the Kidney") | Mid-level-ontology.kif 2694-2695 | Urine is a subclass of excrement |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Urine "urine") | Mid-level-ontology.kif 2696-2696 |
| antecedent |
|
|
| (=> (instance ?X Urine) (attribute ?X Liquid)) |
Mid-level-ontology.kif 2698-2700 | If X is an instance of urine, then liquid is an attribute of X |
| (=> (instance ?X Urine) (exists (?PROC ?KIDNEY) (and (instance ?PROC PhysiologicProcess) (instrument ?PROC ?KIDNEY) (instance ?KIDNEY Kidney) (result ?PROC ?X)))) |
Mid-level-ontology.kif 2702-2709 | If X is an instance of urine, then there exist Y, Z such that Y is an instance of physiologic process, Z is an instrument for Y, Z is an instance of kidney, and X is a result of Y |
| consequent |
|
|
| (=> (instance ?PROC Urination) (exists (?URINE) (and (instance ?URINE Urine) (objectTransferred ?PROC ?URINE)))) |
Mid-level-ontology.kif 2733-2738 | If X is an instance of urination, then there exists Y such that Y is an instance of urine and the object transferred in X is Y |
|