Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
TearSubstance(tear)
|  | tear, teardrop |
| appearance as argument number 1 |
|
|
| (documentation TearSubstance EnglishLanguage "A Substance secreted by the TearGland to provide moisture to the Eye.") | Mid-level-ontology.kif 13949-13950 | |
| (subclass TearSubstance LiquidBodySubstance) | Mid-level-ontology.kif 13953-13953 | Tear is a subclass of liquid body substance |
| (subclass TearSubstance SalineSolution) | Mid-level-ontology.kif 13954-13954 | Tear is a subclass of saline solution |
| (externalImage TearSubstance "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Tear_system.svg") | pictureList.kif 2998-2998 | Tear is a subclass of saline solution |
| (externalImage TearSubstance "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7d/ Frenchmanweeps1940.jpg") | pictureList.kif 3217-3217 | Tear is a subclass of saline solution |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TearSubstance "tear") | Mid-level-ontology.kif 13951-13951 | |
| (secretesSubstance TearGland TearSubstance) | Mid-level-ontology.kif 13952-13952 | Tear is a secretes substance of lacrymal gland |
| (termFormat EnglishLanguage TearSubstance "tear substance") | domainEnglishFormat.kif 57184-57184 | Tear is a secretes substance of lacrymal gland |
| (termFormat ChineseTraditionalLanguage TearSubstance "淚液") | domainEnglishFormat.kif 57185-57185 | Tear is a secretes substance of lacrymal gland |
| (termFormat ChineseLanguage TearSubstance "泪液") | domainEnglishFormat.kif 57186-57186 | Tear is a secretes substance of lacrymal gland |
| antecedent |
|
|
| (=> (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 |
| (=> (instance ?T TearSubstance) (hasPurpose ?T (exists (?L ?EYE) (and (instance ?L Lubricating) (objectTransferred ?L ?T) (instance ?EYE Eye) (destination ?L ?EYE))))) |
Mid-level-ontology.kif 13990-13998 | If X is an instance of tear, then X has the purpose there exist Y, Z such that Y is an instance of lubricating, the object transferred in Y is X, Z is an instance of eye, and Y ends up at Z |
| consequent |
|
|
| (=> (and (instance ?C Crying) (experiencer ?C ?H)) (exists (?T ?E) (and (instance ?T TearSubstance) (origin ?C ?E) (objectTransferred ?C ?T) (instance ?E Eye) (part ?E ?H)))) |
emotion.kif 1870-1880 | If X is an instance of crying and Y experiences X, then there exist Z, W such that Z is an instance of tear, X originates at W, the object transferred in X is Z, W is an instance of eye, and W is a part of Y |
|