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 7099-7099
(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 7103-7106
(domain dislikes 1 CognitiveAgent) Mid-level-ontology.kif 7101-7101
(domain dislikes 2 Object) Mid-level-ontology.kif 7102-7102
(instance dislikes BinaryPredicate) Mid-level-ontology.kif 7097-7097
(instance dislikes ObjectAttitude) Mid-level-ontology.kif 7096-7096
(relatedInternalConcept dislikes disapproves) Mid-level-ontology.kif 7100-7100
(subrelation dislikes inScopeOfInterest) Mid-level-ontology.kif 7098-7098

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 7108-7110

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


(=>
    (and
        (instance ?EXPRESS ExpressingDisapproval)
        (agent ?EXPRESS ?AGENT)
        (patient ?EXPRESS ?THING))
    (or
        (dislikes ?AGENT ?THING)
        (disapproves ?AGENT ?THING)))
Mid-level-ontology.kif 12424-12431
(=>
    (enemy ?AGENT1 ?AGENT2)
    (dislikes ?AGENT1 ?AGENT2))
MilitaryProcesses.kif 2454-2456
(=>
    (member ?MEMBER Antisemitism)
    (dislikes ?MEMBER Judaism))
People.kif 1452-1454


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