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 7423-7423 dislikes と wants は disjoint では %n
(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 7427-7430
(domain dislikes 1 CognitiveAgent) Mid-level-ontology.kif 7425-7425 dislikes の数値 1 引数は 認識エージェント の instance では %n
(domain dislikes 2 Object) Mid-level-ontology.kif 7426-7426 dislikes の数値 2 引数は オブジェクト の instance では %n
(instance dislikes BinaryPredicate) Mid-level-ontology.kif 7421-7421 dislikes は 2進述語 の instance では %n
(instance dislikes ObjectAttitude) Mid-level-ontology.kif 7420-7420 dislikes は 対象物姿勢 の instance では %n
(relatedInternalConcept dislikes disapproves) Mid-level-ontology.kif 7424-7424 dislikes は disapproves に internally 関連して %n
(subrelation dislikes inScopeOfInterest) Mid-level-ontology.kif 7422-7422 dislikes は inScopeOfInterest の subrelation では %n

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


(format ChineseLanguage dislikes "%1 dislikes %2 ") domainEnglishFormat.kif 3266-3266
(format ChineseTraditionalLanguage dislikes "%1 dislikes %2 ") domainEnglishFormat.kif 3265-3265
(format EnglishLanguage dislikes "%1 dislikes %2") domainEnglishFormat.kif 3264-3264
(termFormat ChineseLanguage dislikes "不喜欢") domainEnglishFormat.kif 19866-19866
(termFormat ChineseTraditionalLanguage dislikes "不喜歡") domainEnglishFormat.kif 19865-19865
(termFormat EnglishLanguage dislikes "dislikes") domainEnglishFormat.kif 19864-19864

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


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

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


(=>
    (and
        (instance ?EXPRESS ExpressingDisapproval)
        (agent ?EXPRESS ?AGENT)
        (patient ?EXPRESS ?THING))
    (or
        (dislikes ?AGENT ?THING)
        (disapproves ?AGENT ?THING)))		 Mid-level-ontology.kif 12963-12970
(=>
    (enemy ?AGENT1 ?AGENT2)
    (dislikes ?AGENT1 ?AGENT2))		 MilitaryProcesses.kif 2455-2457
(=>
    (member ?MEMBER Antisemitism)
    (dislikes ?MEMBER Judaism))		 People.kif 1442-1444


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