Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Saliva(saliva) |  | saliva, spit, spittle |
| appearance as argument number 1 |
|
|
| (subclass Saliva BodySubstance) | Mid-level-ontology.kif 13910-13910 | Saliva is a subclass of body substance |
| (documentation Saliva EnglishLanguage "A Substance secreted by the SalivaryGland.") | Mid-level-ontology.kif 13911-13911 | Saliva is a subclass of body substance |
| appearance as argument number 2 |
|
|
| (secretesSubstance SalivaryGland Saliva) | Mid-level-ontology.kif 13908-13908 | Saliva is a secretes substance of salivary gland |
| (termFormat EnglishLanguage Saliva "saliva") | Mid-level-ontology.kif 13912-13912 | Saliva is a secretes substance of salivary gland |
| antecedent |
|
|
| (=> (instance ?S Saliva) (capability Drooling patient ?S)) |
Mid-level-ontology.kif 7667-7669 | If X is an instance of saliva, then X is capable of doing drooling as a patient |
| (=> (instance ?S Saliva) (exists (?P ?SG) (and (instance ?SG SalivaryGland) (instrument ?P ?SG) (result ?P ?S)))) |
Mid-level-ontology.kif 13913-13919 | If X is an instance of saliva, then there exist Y, Z such that Z is an instance of salivary gland, Z is an instrument for Y, and X is a result of Y |
| consequent |
|
|
| (=> (and (instance ?SPIT Drooling) (experiencer ?SPIT ?ANIMAL)) (exists (?MOUTH ?S) (and (instance ?MOUTH Mouth) (objectTransferred ?SPIT ?S) (instance ?S Saliva) (part ?MOUTH ?ANIMAL) (origin ?SPIT ?MOUTH)))) |
Mid-level-ontology.kif 7655-7665 | If X is an instance of drooling and Y experiences X, then there exist Z, W such that Z is an instance of mouth, the object transferred in X is W, W is an instance of saliva, Z is a part of Y, and X originates at Z |
|