Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   SalivaryGland
|
|
|
| appearance as argument number 1 |
|
|
| (subclass SalivaryGland Gland) | Mid-level-ontology.kif 13902-13902 | Salivary gland is a subclass of gland |
| (documentation SalivaryGland EnglishLanguage "A Gland in the Mouth that secretes Saliva.") | Mid-level-ontology.kif 13903-13904 | Salivary gland is a subclass of gland |
| (typicalPart SalivaryGland Mouth) | Mid-level-ontology.kif 13906-13906 | A salivary gland is typically a part of a mouth |
| (initialPart SalivaryGland Mouth) | Mid-level-ontology.kif 13907-13907 | Every salivary gland is initially part of a mouth |
| (secretesSubstance SalivaryGland Saliva) | Mid-level-ontology.kif 13908-13908 | Saliva is a secretes substance of salivary gland |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SalivaryGland "salivary gland") | Mid-level-ontology.kif 13905-13905 |
| consequent |
|
|
| (=> (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 |
| (=> (and (instance ?SS SjogrensSyndrome) (experiencer ?SS ?H)) (or (attribute ?H (ImpairedBodyPartFn SalivaryGland)) (attribute ?H (ImpairedBodyPartFn TearGland)))) |
Medicine.kif 2365-2373 | If X is an instance of Sjogrens syndrome and Y experiences X, then impaired body part fn salivary gland is an attribute of Y or impaired body part fn lacrymal gland is an attribute of Y |
|