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



KB Term:  Term intersection
English Word: 

  InterpersonalDisgust

Sigma KEE - InterpersonalDisgust
InterpersonalDisgust(interpersonal disgust)

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


(documentation InterpersonalDisgust EnglishLanguage "Disgust elicited by contact with others, especially contact with strangers or other individuals or groups we are averse to. [Source: OCEAS]") emotion.kif 1431-1433
(subAttribute InterpersonalDisgust Disgust) emotion.kif 1434-1434 Interpersonal disgust is a subattribute of disgust

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


(termFormat EnglishLanguage InterpersonalDisgust "interpersonal disgust") emotion.kif 1435-1435

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


(=>
    (holdsDuring ?T
        (attribute ?A InterpersonalDisgust))
    (exists (?P ?H)
        (and
            (instance ?P Perception)
            (patient ?P ?H)
            (experiencer ?P ?A)
            (instance ?H Human)
            (not
                (equal ?H ?A))
            (during
                (WhenFn ?P) ?T))))
emotion.kif 1437-1448 If interpersonal disgust is an attribute of X holds during Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of perception (3) W is a patient of Z (4) X experiences Z (5) W is an instance of human (6) equal W (7) X (8) the time of existence of Z takes place during Y
(=>
    (holdsDuring ?T
        (attribute ?A InterpersonalDisgust))
    (causesProposition
        (exists (?P ?H)
            (and
                (instance ?P Perception)
                (patient ?P ?H)
                (experiencer ?P ?A)
                (instance ?H Human)
                (during
                    (WhenFn ?P) ?T)))
        (holdsDuring ?T
            (attribute ?A InterpersonalDisgust))))
emotion.kif 1450-1462 If interpersonal disgust is an attribute of X holds during Y, then interpersonal disgust is an attribute of X holds during Y is a causes proposition of there exist Z, W such that Z is an instance of perception, W is a patient of Z, X experiences Z, W is an instance of human, and the time of existence of Z takes place during Y

consequent
-------------------------


(=>
    (holdsDuring ?T
        (attribute ?A InterpersonalDisgust))
    (causesProposition
        (exists (?P ?H)
            (and
                (instance ?P Perception)
                (patient ?P ?H)
                (experiencer ?P ?A)
                (instance ?H Human)
                (during
                    (WhenFn ?P) ?T)))
        (holdsDuring ?T
            (attribute ?A InterpersonalDisgust))))
emotion.kif 1450-1462 If interpersonal disgust is an attribute of X holds during Y, then interpersonal disgust is an attribute of X holds during Y is a causes proposition of there exist Z, W such that Z is an instance of perception, W is a patient of Z, X experiences Z, W is an instance of human, and the time of existence of Z takes place during Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners