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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 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 " 7/ 7d/ Frenchmanweeps1940.jpg") pictureList.kif 3219-3219
(externalImage TearSubstance " d/ d2/ Tear_system.svg") pictureList.kif 3000-3000
(subclass TearSubstance LiquidBodySubstance) Mid-level-ontology.kif 11835-11835
(subclass TearSubstance SalineSolution) Mid-level-ontology.kif 11836-11836

appearance as argument number 2

(secretesSubstance TearGland TearSubstance) Mid-level-ontology.kif 11834-11834
(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


    (instance ?T TearSubstance)
    (exists (?P ?SG)
            (instance ?TG TearGland)
            (instrument ?P ?SG)
            (result ?P ?S))))
Mid-level-ontology.kif 11844-11850
    (instance ?T TearSubstance)
    (hasPurpose ?T
        (exists (?L ?EYE)
                (instance ?L Lubricating)
                (objectTransferred ?L ?T)
                (instance ?EYE Eye)
                (destination ?L ?EYE)))))
Mid-level-ontology.kif 11852-11860


        (instance ?C Crying)
        (experiencer ?C ?H))
    (exists (?T ?E)
            (instance ?T TearSubstance)
            (origin ?C ?E)
            (objectTransferred ?C ?T)
            (instance ?E Eye)
            (part ?E ?H))))
emotion.kif 1137-1147

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

Show without tree

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