| 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 7132-7132 | subrelation lacks and needs |
| (termFormat ChineseLanguage needs "需求") | domainEnglishFormat.kif 40000-40000 | |
| (termFormat ChineseLanguage needs "需要") | chinese_format.kif 158-158 | |
| (termFormat ChineseTraditionalLanguage needs "需求") | domainEnglishFormat.kif 39999-39999 | |
| (termFormat EnglishLanguage needs "needs") | domainEnglishFormat.kif 39998-39998 |
| 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 3.0 is open source software produced by Articulate Software and its partners