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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - needs
needs

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


s__documentation(s__needs__m,s__ChineseLanguage,'"(needs ?AGENT ?OBJECT) 的意思是 ?AGENT的继续存在物质上 需要 ?OBJECT。"')

chinese_format.kif 1932-1933
s__documentation(s__needs__m,s__EnglishLanguage,'"(needs ?AGENT ?OBJECT) means that ?OBJECT is physically required for the continued existence of ?AGENT."')

Merge.kif 2695-2696
s__domain(s__needs__m,n__1,s__CognitiveAgent)

Merge.kif 2692-2692 The number 1 argument of needs is an instance of cognitive agent
s__domain(s__needs__m,n__2,s__Physical)

Merge.kif 2693-2693 The number 2 argument of needs is an instance of physical
s__instance(s__needs__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__Class)

Merge.kif 2690-2690 needs is an instance of binary predicate
s__instance(s__ObjectAttitude,s__Class)

s__instance(s__needs__m,s__ObjectAttitude)

Merge.kif 2689-2689 needs is an instance of object attitude
s__subrelation(s__needs__m,s__inScopeOfInterest__m)

Merge.kif 2691-2691 needs is a subrelation of in scope of interest

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


s__format(s__ChineseLanguage,s__needs__m,'"%1 %n{doesnt} needs %2"')

chinese_format.kif 157-157
s__format(s__EnglishLanguage,s__needs__m,'"%1 %n{doesnt} need%p{s} %2"')

english_format.kif 161-161
s__subrelation(s__lacks__m,s__needs__m)

Mid-level-ontology.kif 7100-7100 lacks is a subrelation of needs
s__termFormat(s__ChineseLanguage,s__needs__m,'"需求"')

domainEnglishFormat.kif 40068-40068
s__termFormat(s__ChineseLanguage,s__needs__m,'"需要"')

chinese_format.kif 158-158
s__termFormat(s__ChineseTraditionalLanguage,s__needs__m,'"需求"')

domainEnglishFormat.kif 40067-40067
s__termFormat(s__EnglishLanguage,s__needs__m,'"needs"')

domainEnglishFormat.kif 40066-40066

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


( ! [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 2698-2700


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