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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 2695-2696
(domain needs 1 CognitiveAgent) Merge.kif 2692-2692
(domain needs 2 Physical) Merge.kif 2693-2693
(instance needs BinaryPredicate) Merge.kif 2690-2690
(instance needs ObjectAttitude) Merge.kif 2689-2689
(subrelation needs inScopeOfInterest) Merge.kif 2691-2691

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 158-158
(subrelation lacks needs) Mid-level-ontology.kif 7100-7100
(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


    (needs ?AGENT ?OBJECT)
    (wants ?AGENT ?OBJECT))
Merge.kif 2698-2700

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