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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - dislikes
dislikes

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


(disjointRelation dislikes wants) Mid-level-ontology.kif 6787-6787 dislikes and wants are disjoint
(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 6791-6794
(domain dislikes 1 CognitiveAgent) Mid-level-ontology.kif 6789-6789 The number 1 argument of dislikes is an instance of cognitive agent
(domain dislikes 2 Object) Mid-level-ontology.kif 6790-6790 The number 2 argument of dislikes is an instance of object
(instance dislikes BinaryPredicate) Mid-level-ontology.kif 6785-6785 dislikes is an instance of binary predicate
(instance dislikes ObjectAttitude) Mid-level-ontology.kif 6784-6784 dislikes is an instance of object attitude
(relatedInternalConcept dislikes disapproves) Mid-level-ontology.kif 6788-6788 dislikes is internally related to disapproves
(subrelation dislikes inScopeOfInterest) Mid-level-ontology.kif 6786-6786 dislikes is a subrelation of in scope of interest

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


(format ChineseLanguage dislikes "%1 dislikes %2 ") domainEnglishFormat.kif 3271-3271
(format ChineseTraditionalLanguage dislikes "%1 dislikes %2 ") domainEnglishFormat.kif 3270-3270
(format EnglishLanguage dislikes "%1 dislikes %2") domainEnglishFormat.kif 3269-3269
(termFormat ChineseLanguage dislikes "不喜欢") domainEnglishFormat.kif 19857-19857
(termFormat ChineseTraditionalLanguage dislikes "不喜歡") domainEnglishFormat.kif 19856-19856
(termFormat EnglishLanguage dislikes "dislikes") domainEnglishFormat.kif 19855-19855

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


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

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


(=>
    (and
        (instance ?EXPRESS ExpressingDisapproval)
        (agent ?EXPRESS ?AGENT)
        (patient ?EXPRESS ?THING))
    (or
        (dislikes ?AGENT ?THING)
        (disapproves ?AGENT ?THING)))
Mid-level-ontology.kif 11334-11341
(=>
    (enemy ?AGENT1 ?AGENT2)
    (dislikes ?AGENT1 ?AGENT2))
MilitaryProcesses.kif 2435-2437
(=>
    (member ?MEMBER Antisemitism)
    (dislikes ?MEMBER Judaism))
People.kif 1445-1447


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



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