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

Formal Language: 



KB Term:  Term intersection
English Word: 

  dislikes

Sigma KEE - dislikes
dislikes

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


(disjointRelation dislikes wants) Mid-level-ontology.kif 7126-7126
(documentation dislikes EnglishLanguage "(dislikes ?AGENT ?OBJECT) means that ?AGENT has a feeling of antipathy to ?OBJECT, i.e. ?AGENT believes that ?OBJECT will thwart one of his/ her goals. Note that there is no implication that what is hated by an agent is not already possessed by the agent.") Mid-level-ontology.kif 7130-7133
(domain dislikes 1 CognitiveAgent) Mid-level-ontology.kif 7128-7128
(domain dislikes 2 Object) Mid-level-ontology.kif 7129-7129
(instance dislikes ObjectAttitude) Mid-level-ontology.kif 7124-7124
(relatedInternalConcept dislikes disapproves) Mid-level-ontology.kif 7127-7127
(subrelation dislikes inScopeOfInterest) Mid-level-ontology.kif 7125-7125

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


(format EnglishLanguage dislikes "%1 dislikes %2") domainEnglishFormat.kif 826-826
(termFormat EnglishLanguage dislikes "dislikes") domainEnglishFormat.kif 3732-3732

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


(=>
    (dislikes ?AGENT ?OBJECT)
    (desires ?AGENT
        (not
            (possesses ?AGENT ?OBJECT))))
Mid-level-ontology.kif 7135-7137

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


(=>
    (and
        (instance ?EXPRESS ExpressingDisapproval)
        (agent ?EXPRESS ?AGENT)
        (patient ?EXPRESS ?THING))
    (or
        (dislikes ?AGENT ?THING)
        (disapproves ?AGENT ?THING)))
Mid-level-ontology.kif 10567-10574
(=>
    (enemy ?AGENT1 ?AGENT2)
    (dislikes ?AGENT1 ?AGENT2))
MilitaryProcesses.kif 2422-2424
(=>
    (member ?MEMBER Antisemitism)
    (dislikes ?MEMBER Judaism))
People.kif 1440-1442


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners