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 8588-8588 dislikeswantsdisjoint では
(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 8592-8595 dislikeswantsdisjoint では
(domain dislikes 1 CognitiveAgent) Mid-level-ontology.kif 8590-8590 dislikes の数値 1 引数は 認識エージェントinstance では
(domain dislikes 2 Object) Mid-level-ontology.kif 8591-8591 dislikes の数値 2 引数は オブジェクトinstance では
(instance dislikes BinaryPredicate) Mid-level-ontology.kif 8586-8586 dislikes2進述語instance では
(instance dislikes ObjectAttitude) Mid-level-ontology.kif 8585-8585 dislikes対象物姿勢instance では
(relatedInternalConcept dislikes disapproves) Mid-level-ontology.kif 8589-8589 dislikesdisapprovesinternally 関連して
(subrelation dislikes inScopeOfInterest) Mid-level-ontology.kif 8587-8587 dislikesinScopeOfInterestsubrelation では

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


(format ChineseLanguage dislikes "%1 dislikes %2 ") domainEnglishFormat.kif 3262-3262
(format ChineseTraditionalLanguage dislikes "%1 dislikes %2 ") domainEnglishFormat.kif 3261-3261
(format EnglishLanguage dislikes "%1 dislikes %2") domainEnglishFormat.kif 3260-3260
(termFormat ChineseLanguage dislikes "不喜欢") domainEnglishFormat.kif 19875-19875
(termFormat ChineseTraditionalLanguage dislikes "不喜歡") domainEnglishFormat.kif 19874-19874
(termFormat EnglishLanguage dislikes "dislikes") domainEnglishFormat.kif 19873-19873

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


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

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


(=>
    (and
        (instance ?EXPRESS ExpressingDisapproval)
        (agent ?EXPRESS ?AGENT)
        (patient ?EXPRESS ?THING))
    (or
        (dislikes ?AGENT ?THING)
        (disapproves ?AGENT ?THING)))
Mid-level-ontology.kif 14294-14301
(=>
    (holdsDuring ?T
        (enemy ?AGENT1 ?AGENT2))
    (holdsDuring ?T
        (dislikes ?AGENT1 ?AGENT2)))
MilitaryProcesses.kif 2456-2460
(=>
    (member ?MEMBER Antisemitism)
    (dislikes ?MEMBER Judaism))
People.kif 1443-1445


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