Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - wants
wants

appearance as argument number 1
-------------------------


s__documentation(s__wants__m,s__ChineseLanguage,'"(wants ?AGENT ?OBJECT) 的意思是 ?AGENT 想要 ?OBJECT, 也就是说 ?AGENT 相信 ?OBJECT 会满足它其中一个的意愿。 注:这并不意味着施事体没有它所想要的东西。"')

chinese_format.kif 1934-1935
s__documentation(s__wants__m,s__EnglishLanguage,'"(wants ?AGENT ?OBJECT) means that ?OBJECT is desired by ?AGENT, i.e. ?AGENT believes that ?OBJECT will satisfy one of its goals. Note that there is no implication that what is wanted by an agent is not already possessed by the agent."')

Merge.kif 2676-2678
s__domain(s__wants__m,n__1,s__CognitiveAgent)

Merge.kif 2673-2673 The number 1 argument of wants is an instance of cognitive agent
s__domain(s__wants__m,n__2,s__Physical)

Merge.kif 2674-2674 The number 2 argument of wants is an instance of physical
s__instance(s__wants__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 2670-2670 wants is an instance of binary predicate
s__instance(s__wants__m,s__ObjectAttitude)

s__instance(s__ObjectAttitude,s__SetOrClass)

Merge.kif 2669-2669 wants is an instance of object attitude
s__relatedInternalConcept(s__wants__m,s__desires__m)

Merge.kif 2672-2672 wants is internally related to desires
s__subrelation(s__wants__m,s__inScopeOfInterest__m)

Merge.kif 2671-2671 wants is a subrelation of in scope of interest

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


s__disjointRelation(s__dislikes__m,s__wants__m)

Mid-level-ontology.kif 6787-6787 dislikes and wants are disjoint
s__format(s__ChineseLanguage,s__wants__m,'"%1 %n{doesnt} wants %2"')

chinese_format.kif 199-199
s__format(s__EnglishLanguage,s__wants__m,'"%1 %n{doesnt} want%p{s} %2"')

english_format.kif 203-203
s__relatedInternalConcept(s__desires__m,s__wants__m)

Merge.kif 2695-2695 desires is internally related to wants
s__termFormat(s__ChineseLanguage,s__wants__m,'"想要"')

chinese_format.kif 200-200
s__termFormat(s__ChineseTraditionalLanguage,s__wants__m,'"想要"')

domainEnglishFormat.kif 62104-62104
s__termFormat(s__EnglishLanguage,s__wants__m,'"wants"')

domainEnglishFormat.kif 62103-62103

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2685-2690
No TPTP formula. May not be expressible in strict first order. Merge.kif 2680-2683

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


( ! [V__AJT,V__A] :
   ((s__instance(V__A,s__CognitiveAgent) =>
       (((s__attribute(V__A,s__AppraisalAsJustTreatment) &
             s__instance(V__AJT,s__AppraisalProcess) &
             s__agent(V__AJT,V__A))
         =>
         (( ? [V__P, V__A2] :
             ((s__instance(V__A2,s__Agent) &
                 (s__instance(V__P,s__Process) &
                   s__refers(V__AJT,V__P)
                 &
                 s__agent(V__P,V__A2)
               &
               ~((V__A = V__A2))
               &
               s__patient(V__P,V__A)
             &
             s__wants(V__A,V__P)))))))))
)
)

emotion.kif 374-387
( ! [V__A,V__AUJ] :
   ((s__instance(V__A,s__CognitiveAgent) =>
       (((s__attribute(V__A,s__AppraisalAsUnjustTreatment) &
             s__instance(V__AUJ,s__AppraisalProcess) &
             s__agent(V__AUJ,V__A))
         =>
         (( ? [V__P, V__A2] :
             ((s__instance(V__A2,s__Agent) &
                 (s__instance(V__P,s__Process) &
                   s__refers(V__AUJ,V__P)
                 &
                 s__agent(V__P,V__A2)
               &
               ~((V__A = V__A2))
               &
               s__patient(V__P,V__A)
             &
             ~(s__wants(V__A,V__P))))))))))
)
)

emotion.kif 349-363
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27657-27669
No TPTP formula. May not be expressible in strict first order. Law.kif 338-349
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27770-27782
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11321-11328
( ! [V__AGENT,V__RESULT,V__HELPING] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__RESULT,s__Physical))
       =>
       (((s__instance(V__HELPING,s__Helping) &
             s__agent(V__HELPING,V__AGENT)
           &
           s__result(V__HELPING,V__RESULT))
       =>
       (( ? [V__PATIENT] :
           ((s__instance(V__PATIENT,s__CognitiveAgent) &
               (~((V__AGENT = V__PATIENT))
                 &
                 (s__patient(V__HELPING,V__PATIENT)
                 |
                 s__experiencer(V__HELPING,V__PATIENT))
             &
             s__wants(V__PATIENT,V__RESULT)))))))))
)
)

MilitaryProcesses.kif 1418-1430
No TPTP formula. May not be expressible in strict first order. Merge.kif 12233-12238
( ! [V__A,V__R] :
   ((s__instance(V__A,s__CognitiveAgent) =>
       (((s__instance(V__R,s__Resigning) &
             s__agent(V__R,V__A))
         =>
         (s__wants(V__A,V__R)))))
)
)

Mid-level-ontology.kif 15139-15143
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4181-4191
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11519-11529
No TPTP formula. May not be expressible in strict first order. Law.kif 361-371
No TPTP formula. May not be expressible in strict first order. Dining.kif 965-973
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27624-27635
( ! [V__A,V__B] :
   (((s__instance(V__A,s__Process) &
         s__instance(V__B,s__CognitiveAgent))
       =>
       ((s__benefits(V__A,V__B)
         =>
         (s__wants(V__B,V__A)))))
)
)

Mid-level-ontology.kif 27756-27758
No TPTP formula. May not be expressible in strict first order. emotion.kif 1033-1044
( ! [V__C] :
   ((s__instance(V__C,s__Congratulating) =>
       (( ? [V__P, V__A, V__D] :
           ((s__instance(V__P,s__Process) &
               s__instance(V__A,s__CognitiveAgent) &
               s__instance(V__D,s__Agent) &
               (s__destination(V__C,V__D)
               &
               s__agent(V__P,V__D)
             &
             s__agent(V__C,V__A)
           &
           s__wants(V__A,V__P)
         &
         s__refers(V__C,V__P)))))))
)
)

Mid-level-ontology.kif 11366-11374
( ! [V__R] :
   ((s__instance(V__R,s__Raping) =>
       (( ? [V__A] :
           ((s__instance(V__A,s__CognitiveAgent) &
               (s__experiencer(V__R,V__A)
               &
               ~(s__wants(V__A,V__R))))))))
)
)

Mid-level-ontology.kif 22292-22298
( ! [V__AGENT,V__OBJECT] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__OBJECT,s__Physical))
       =>
       ((s__needs(V__AGENT,V__OBJECT)
         =>
         (s__wants(V__AGENT,V__OBJECT)))))
)
)

Merge.kif 2665-2667
( ! [V__A,V__H] :
   (((s__instance(V__A,s__Human) &
         s__instance(V__H,s__Agent))
       =>
       ((s__punishes(V__A,V__H)
         =>
         (( ? [V__O, V__POS, V__PROC] :
             ((s__instance(V__O,s__Organization) &
                 s__instance(V__O,s__CognitiveAgent) &
                 s__instance(V__POS,s__Position) &
                 s__instance(V__PROC,s__Process) &
                 (s__occupiesPosition(V__A,V__POS,V__O)
                 &
                 s__agent(V__PROC,V__A)
               &
               s__wants(V__O,V__PROC)))))))))
)
)

Law.kif 173-179
( ! [V__A,V__H] :
   (((s__instance(V__A,s__CognitiveAgent) &
         s__instance(V__H,s__Agent))
       =>
       ((s__punishes(V__A,V__H)
         =>
         (( ? [V__P] :
             ((s__instance(V__P,s__Process) &
                 (s__agent(V__P,V__H)
                 &
                 ~(s__wants(V__A,V__P))))))))))
)
)

Law.kif 160-166
( ! [V__A,V__H] :
   (((s__instance(V__A,s__Human) &
         s__instance(V__H,s__Agent))
       =>
       ((s__rewards(V__A,V__H)
         =>
         (( ? [V__O, V__POS, V__PROC] :
             ((s__instance(V__O,s__Organization) &
                 s__instance(V__O,s__CognitiveAgent) &
                 s__instance(V__POS,s__Position) &
                 s__instance(V__PROC,s__Process) &
                 (s__occupiesPosition(V__A,V__POS,V__O)
                 &
                 s__agent(V__PROC,V__A)
               &
               s__wants(V__O,V__PROC)))))))))
)
)

Law.kif 129-135
( ! [V__A,V__H] :
   (((s__instance(V__A,s__CognitiveAgent) &
         s__instance(V__H,s__Agent))
       =>
       ((s__rewards(V__A,V__H)
         =>
         (( ? [V__P] :
             ((s__instance(V__P,s__Process) &
                 (s__agent(V__P,V__H)
                 &
                 s__wants(V__A,V__P)))))))))
)
)

Law.kif 117-122
( ! [V__A,V__B] :
   (((s__instance(V__A,s__Process) &
         s__instance(V__B,s__CognitiveAgent))
       =>
       ((s__suffers(V__A,V__B)
         =>
         (~(s__wants(V__B,V__A))))))
)
)

Mid-level-ontology.kif 27760-27763


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