TearSubstance - Sigma 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 13248-13249
(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 13252-13252	Tear substance is a subclass of liquid body substance
(subclass TearSubstance SalineSolution)	Mid-level-ontology.kif 13253-13253	Tear substance is a subclass of saline solution

appearance as argument number 2

(secretesSubstance TearGland TearSubstance)	Mid-level-ontology.kif 13251-13251	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 13250-13250	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 13263-13269	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 13271-13279	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