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 7128-7128 disjointRelation dislikes and wants
(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 7132-7135
(domain dislikes 1 CognitiveAgent) Mid-level-ontology.kif 7130-7130 domain dislikes, 1 and CognitiveAgent
(domain dislikes 2 Object) Mid-level-ontology.kif 7131-7131 domain dislikes, 2 and Object
(instance dislikes BinaryPredicate) Mid-level-ontology.kif 7126-7126 instance dislikes and BinaryPredicate
(instance dislikes ObjectAttitude) Mid-level-ontology.kif 7125-7125 instance dislikes and ObjectAttitude
(relatedInternalConcept dislikes disapproves) Mid-level-ontology.kif 7129-7129 relatedInternalConcept dislikes and disapproves
(subrelation dislikes inScopeOfInterest) Mid-level-ontology.kif 7127-7127 subrelation dislikes and inScopeOfInterest

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


(format ChineseLanguage dislikes "%1 dislikes %2 ") domainEnglishFormat.kif 3267-3267
(format ChineseTraditionalLanguage dislikes "%1 dislikes %2 ") domainEnglishFormat.kif 3266-3266
(format EnglishLanguage dislikes "%1 dislikes %2") domainEnglishFormat.kif 3265-3265
(termFormat ChineseLanguage dislikes "不喜欢") domainEnglishFormat.kif 19789-19789
(termFormat ChineseTraditionalLanguage dislikes "不喜歡") domainEnglishFormat.kif 19788-19788
(termFormat EnglishLanguage dislikes "dislikes") domainEnglishFormat.kif 19787-19787

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


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

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


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


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