Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TearSubstance
TearSubstance

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 12352-12353
(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 12356-12356 TearSubstanceLiquidBodySubstancesubclass では %n
(subclass TearSubstance SalineSolution) Mid-level-ontology.kif 12357-12357 TearSubstanceSalineSolutionsubclass では %n

appearance as argument number 2
-------------------------


(secretesSubstance TearGland TearSubstance) Mid-level-ontology.kif 12355-12355 secretesSubstance TearGland and TearSubstance
(termFormat ChineseLanguage TearSubstance "泪液") domainEnglishFormat.kif 57187-57187
(termFormat ChineseTraditionalLanguage TearSubstance "淚液") domainEnglishFormat.kif 57186-57186
(termFormat EnglishLanguage TearSubstance "tear substance") domainEnglishFormat.kif 57185-57185
(termFormat EnglishLanguage TearSubstance "tear") Mid-level-ontology.kif 12354-12354

antecedent
-------------------------


(=>
    (instance ?T TearSubstance)
    (exists (?P ?TG)
        (and
            (instance ?TG TearGland)
            (instrument ?P ?TG)
            (result ?P ?T))))
Mid-level-ontology.kif 12367-12373
(=>
    (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 12375-12383

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners