Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TearGland(lacrymal gland) |  | lachrymal_gland, lacrimal_gland, tear_gland |
| appearance as argument number 1 |
|
|
| (secretesSubstance TearGland TearSubstance) | Mid-level-ontology.kif 13952-13952 | Tear is a secretes substance of lacrymal gland |
| (subclass TearGland Gland) | Mid-level-ontology.kif 13956-13956 | Lacrymal gland is a subclass of gland |
| (documentation TearGland EnglishLanguage "A Gland that secretes Tears for the Eye.") | Mid-level-ontology.kif 13957-13958 | Lacrymal gland is a subclass of gland |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TearGland "tear gland") | Mid-level-ontology.kif 13959-13959 | |
| (termFormat EnglishLanguage TearGland "lacrymal gland") | Mid-level-ontology.kif 13960-13960 |
| consequent |
|
|
| (=> (instance ?T TearSubstance) (exists (?P ?TG) (and (instance ?TG TearGland) (instrument ?P ?TG) (result ?P ?T)))) |
Mid-level-ontology.kif 13964-13970 | If X is an instance of tear, then there exist Y, Z such that Z is an instance of lacrymal 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 |
|