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


(documentation needs ChineseLanguage "(needs ?AGENT ?OBJECT) 的意思是 ?AGENT的继续存在物质上 需要 ?OBJECT。") chinese_format.kif 1932-1933
(documentation needs EnglishLanguage "(needs ?AGENT ?OBJECT) means that ?OBJECT is physically required for the continued existence of ?AGENT.") Merge.kif 2662-2663
(domain needs 1 CognitiveAgent) Merge.kif 2659-2659 The number 1 argument of needs is an instance of cognitive agent
(domain needs 2 Physical) Merge.kif 2660-2660 The number 2 argument of needs is an instance of physical
(instance needs BinaryPredicate) Merge.kif 2657-2657 needs is an instance of binary predicate
(instance needs ObjectAttitude) Merge.kif 2656-2656 needs is an instance of object attitude
(subrelation needs inScopeOfInterest) Merge.kif 2658-2658 needs is a subrelation of in scope of interest

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


(format ChineseLanguage needs "%1 %n{doesn't} needs %2") chinese_format.kif 157-157
(format EnglishLanguage needs "%1 %n{doesn't} need%p{s} %2") english_format.kif 161-161
(subrelation lacks needs) Mid-level-ontology.kif 6812-6812 lacks is a subrelation of needs
(termFormat ChineseLanguage needs "需求") domainEnglishFormat.kif 40068-40068
(termFormat ChineseLanguage needs "需要") chinese_format.kif 158-158
(termFormat ChineseTraditionalLanguage needs "需求") domainEnglishFormat.kif 40067-40067
(termFormat EnglishLanguage needs "needs") domainEnglishFormat.kif 40066-40066

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


(=>
    (needs ?AGENT ?OBJECT)
    (wants ?AGENT ?OBJECT))
Merge.kif 2665-2667


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