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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InterpersonalDisgust

 Sigma KEE - InterpersonalDisgust
InterpersonalDisgust

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 846-848
(subAttribute InterpersonalDisgust Disgust) emotion.kif 849-849 InterpersonalDisgust è un sottoattributo di Disgust

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


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

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


(=>
    (holdsDuring ?T
        (attribute ?A InterpersonalDisgust))
    (causes
        (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 865-877
(=>
    (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 852-863

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


(=>
    (holdsDuring ?T
        (attribute ?A InterpersonalDisgust))
    (causes
        (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 865-877


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