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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Perspiring
  RightHepaticArtery

Sigma KEE - Perspiring
Perspiring

appearance as argument number 1
-------------------------


(documentation Perspiring EnglishLanguage "The Process by which Sweat is secreted by the SweatGlands.") Mid-level-ontology.kif 12281-12282
(subclass Perspiring Excreting) Mid-level-ontology.kif 12280-12280 Perspiring e' uma sub-classe de Excreting
(subclass Perspiring LiquidMotion) emotion.kif 1480-1480 Perspiring e' uma sub-classe de LiquidMotion
(subclass Perspiring PhysiologicalResponseToEmotionalState) emotion.kif 1477-1477 Perspiring e' uma sub-classe de PhysiologicalResponseToEmotionalState

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


(subclass PerspiringHands Perspiring) emotion.kif 1490-1490 PerspiringHands e' uma sub-classe de Perspiring
(subclass PerspiringWholeBody Perspiring) emotion.kif 1503-1503 PerspiringWholeBody e' uma sub-classe de Perspiring
(termFormat EnglishLanguage Perspiring "perspiring") emotion.kif 1478-1478
(termFormat EnglishLanguage Perspiring "sweating") emotion.kif 1479-1479

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


(=>
    (and
        (instance ?P Perspiring)
        (experiencer ?P ?A))
    (exists (?H)
        (and
            (instance ?H Hand)
            (part ?H ?A)
            (destination ?P ?H))))
emotion.kif 1492-1500
(=>
    (instance ?P Perspiring)
    (exists (?S)
        (and
            (instance ?S Sweat)
            (result ?P ?S))))
emotion.kif 1482-1487


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