| TearSubstance(tear substance)
| | tear, teardrop |
| appearance as argument number 1 |
|
|
| (documentation TearSubstance EnglishLanguage "Excreting TearSubstance from the Eye while experiencing Sadness. Note that this is distinct from expelling tears as a result of some eye irritation or dysfunction.") | emotion.kif 1124-1126 | |
| (documentation TearSubstance EnglishLanguage "A Substance secreted by the TearGland to provide moisture to the Eye.") | Mid-level-ontology.kif 13701-13702 | |
| (externalImage TearSubstance "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7d/ Frenchmanweeps1940.jpg") | pictureList.kif 3217-3217 | |
| (externalImage TearSubstance "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Tear_system.svg") | pictureList.kif 2998-2998 | |
| (subclass TearSubstance LiquidBodySubstance) | Mid-level-ontology.kif 13705-13705 | Tear substance is a subclass of liquid body substance |
| (subclass TearSubstance SalineSolution) | Mid-level-ontology.kif 13706-13706 | Tear substance is a subclass of saline solution |
| appearance as argument number 2 |
|
|
| (secretesSubstance TearGland TearSubstance) | Mid-level-ontology.kif 13704-13704 | Tear substance is a secretes substance of lacrymal gland |
| (termFormat ChineseLanguage TearSubstance "泪液") | domainEnglishFormat.kif 57222-57222 | Tear substance is a secretes substance of lacrymal gland |
| (termFormat ChineseTraditionalLanguage TearSubstance "淚液") | domainEnglishFormat.kif 57221-57221 | Tear substance is a secretes substance of lacrymal gland |
| (termFormat EnglishLanguage TearSubstance "tear substance") | domainEnglishFormat.kif 57220-57220 | Tear substance is a secretes substance of lacrymal gland |
| (termFormat EnglishLanguage TearSubstance "tear") | Mid-level-ontology.kif 13703-13703 | Tear substance 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 13716-13722 |
|
| (=> (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 13724-13732 |
|
| 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 1129-1139 |
|
|
|
|