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

Formal Language: 



KB Term:  Term intersection
English Word: 

  needs

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

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 7124-7124
(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 2697-2699


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