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 1132-1134
(documentation TearSubstance EnglishLanguage "A Substance secreted by the TearGland to provide moisture to the Eye.")	Mid-level-ontology.kif 11831-11832
(externalImage TearSubstance "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7d/ Frenchmanweeps1940.jpg")	pictureList.kif 3219-3219
(externalImage TearSubstance "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Tear_system.svg")	pictureList.kif 3000-3000
(subclass TearSubstance LiquidBodySubstance)	Mid-level-ontology.kif 11835-11835	Tear substance is a subclass of liquid body substance
(subclass TearSubstance SalineSolution)	Mid-level-ontology.kif 11836-11836	Tear substance is a subclass of saline solution

appearance as argument number 2

(secretesSubstance TearGland TearSubstance)	Mid-level-ontology.kif 11834-11834	Tear substance is a secretes substance of lacrymal gland
(termFormat ChineseLanguage TearSubstance "泪液")	domainEnglishFormat.kif 57154-57154
(termFormat ChineseTraditionalLanguage TearSubstance "淚液")	domainEnglishFormat.kif 57153-57153
(termFormat EnglishLanguage TearSubstance "tear substance")	domainEnglishFormat.kif 57152-57152
(termFormat EnglishLanguage TearSubstance "tear")	Mid-level-ontology.kif 11833-11833

antecedent

(=> (instance ?T TearSubstance) (exists (?P ?SG) (and (instance ?TG TearGland) (instrument ?P ?SG) (result ?P ?S))))	Mid-level-ontology.kif 11844-11850	If an entity is an instance of tear substance, then there exist a process and an object such that the entityG is an instance of lacrymal gland and the object is an instrument for the process and a third 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 11852-11860	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 1137-1147