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 2655-2656
(domain needs 1 CognitiveAgent) Merge.kif 2652-2652 domain needs, 1 and CognitiveAgent
(domain needs 2 Physical) Merge.kif 2653-2653 domain needs, 2 and Physical
(instance needs BinaryPredicate) Merge.kif 2650-2650 instance needs and BinaryPredicate
(instance needs ObjectAttitude) Merge.kif 2649-2649 instance needs and ObjectAttitude
(subrelation needs inScopeOfInterest) Merge.kif 2651-2651 subrelation needs and inScopeOfInterest

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 7153-7153 subrelation lacks and needs
(termFormat ChineseLanguage needs "需求") domainEnglishFormat.kif 39979-39979
(termFormat ChineseLanguage needs "需要") chinese_format.kif 158-158
(termFormat ChineseTraditionalLanguage needs "需求") domainEnglishFormat.kif 39978-39978
(termFormat EnglishLanguage needs "needs") domainEnglishFormat.kif 39977-39977

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


(=>
    (needs ?AGENT ?OBJECT)
    (wants ?AGENT ?OBJECT))
Merge.kif 2658-2660


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners