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


s__disjointRelation(s__dislikes__m,s__wants__m)

Mid-level-ontology.kif 7075-7075 dislikes and wants are disjoint
s__documentation(s__dislikes__m,s__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 7079-7082
s__domain(s__dislikes__m,n__1,s__CognitiveAgent)

Mid-level-ontology.kif 7077-7077 The number 1 argument of dislikes is an instance of cognitive agent
s__domain(s__dislikes__m,n__2,s__Object)

Mid-level-ontology.kif 7078-7078 The number 2 argument of dislikes is an instance of object
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__dislikes__m,s__BinaryPredicate)

Mid-level-ontology.kif 7073-7073 dislikes is an instance of binary predicate
s__instance(s__ObjectAttitude,s__SetOrClass)

s__instance(s__dislikes__m,s__ObjectAttitude)

Mid-level-ontology.kif 7072-7072 dislikes is an instance of object attitude
s__relatedInternalConcept(s__dislikes__m,s__disapproves__m)

Mid-level-ontology.kif 7076-7076 dislikes is internally related to disapproves
s__subrelation(s__dislikes__m,s__inScopeOfInterest__m)

Mid-level-ontology.kif 7074-7074 dislikes is a subrelation of in scope of interest

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


s__format(s__ChineseLanguage,s__dislikes__m,'"%1 dislikes %2 "')

domainEnglishFormat.kif 3271-3271
s__format(s__ChineseTraditionalLanguage,s__dislikes__m,'"%1 dislikes %2 "')

domainEnglishFormat.kif 3270-3270
s__format(s__EnglishLanguage,s__dislikes__m,'"%1 dislikes %2"')

domainEnglishFormat.kif 3269-3269
s__termFormat(s__ChineseLanguage,s__dislikes__m,'"不喜欢"')

domainEnglishFormat.kif 19857-19857
s__termFormat(s__ChineseTraditionalLanguage,s__dislikes__m,'"不喜歡"')

domainEnglishFormat.kif 19856-19856
s__termFormat(s__EnglishLanguage,s__dislikes__m,'"dislikes"')

domainEnglishFormat.kif 19855-19855

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7084-7086

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12160-12167
( ! [V__AGENT2,V__AGENT1] :
   (((s__instance(V__AGENT2,s__Agent) &
         s__instance(V__AGENT1,s__CognitiveAgent))
       =>
       ((s__enemy(V__AGENT1,V__AGENT2)
         =>
         (s__dislikes(V__AGENT1,V__AGENT2)))))
)
)

MilitaryProcesses.kif 2435-2437
( ! [V__MEMBER] :
   ((s__instance(V__MEMBER,s__CognitiveAgent) =>
       ((s__member(V__MEMBER,s__Antisemitism) =>
           (s__dislikes(V__MEMBER,s__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