TreeView Knowledge Base Browser

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 12379-12380
(externalImage TearSubstance "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7d/ Frenchmanweeps1940.jpg")	pictureList.kif 3218-3218
(externalImage TearSubstance "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Tear_system.svg")	pictureList.kif 2999-2999
(subclass TearSubstance LiquidBodySubstance)	Mid-level-ontology.kif 12383-12383	Tear substance is a subclass of liquid body substance
(subclass TearSubstance SalineSolution)	Mid-level-ontology.kif 12384-12384	Tear substance is a subclass of saline solution

appearance as argument number 2

(secretesSubstance TearGland TearSubstance)	Mid-level-ontology.kif 12382-12382	Tear substance is a secretes substance of lacrymal gland
(termFormat ChineseLanguage TearSubstance "泪液")	domainEnglishFormat.kif 57189-57189
(termFormat ChineseTraditionalLanguage TearSubstance "淚液")	domainEnglishFormat.kif 57188-57188
(termFormat EnglishLanguage TearSubstance "tear substance")	domainEnglishFormat.kif 57187-57187
(termFormat EnglishLanguage TearSubstance "tear")	Mid-level-ontology.kif 12381-12381

antecedent

(=> (instance ?T TearSubstance) (exists (?P ?TG) (and (instance ?TG TearGland) (instrument ?P ?TG) (result ?P ?T))))	Mid-level-ontology.kif 12394-12400	If an entity is an instance of tear substance, then there exist a process and the entityG such that the entityG is an instance of lacrymal gland and the entityG is an instrument for the process and the entity is a result of the process
(=> (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 12402-12410	If a physical is an instance of tear substance, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of lubricating and the object transferred in the entity is the physical and the other entity is an instance of eye and the entity ends up at the other entity

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