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 2754-2755
(documentation needs JapaneseLanguage "(needs ?AGENT ?OBJECT) とは、?AGENT の継続的な存在 のために ?OBJECT が物理的に必要であることを意味する。") japanese_format.kif 560-561
(domain needs 1 CognitiveAgent) Merge.kif 2751-2751 Le nombre 1 argument de needs est une instance de agent cognitif
(domain needs 2 Physical) Merge.kif 2752-2752 Le nombre 2 argument de needs est une instance de physique
(instance needs BinaryPredicate) Merge.kif 2749-2749 needs est une instance de pr�dicat binaire
(instance needs ObjectAttitude) Merge.kif 2748-2748 needs est une instance de attitude d'objet
(subrelation needs inScopeOfInterest) Merge.kif 2750-2750 needs est une sous-relation de 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 158-158
(format FrenchLanguage needs "%1 %n{n'} a %n{pas} besoin de %2") french_format.kif 98-98
(format ItalianLanguage needs "%1 %n{non} necessita di%p{s} %2") relations-it.txt 199-199
(format JapaneseLanguage needs "%1 は %2 を need%p{s} %n{ない}") japanese_format.kif 1927-1927
(format PortugueseLanguage needs "%1 %n{nao} tem %n necessidade de %2") portuguese_format.kif 50-50
(format cz needs "%1 %n{doesn't} need%p{s} %2") relations-cz.txt 96-96
(format de needs "%1 braucht %2 %n{nicht}") relations-de.txt 188-188
(format hi needs "%1 ko %2 kii aavashyakataa %n{nahiin} hai") relations-hindi.txt 237-237
(format ro needs "%1 %n{nu} need%t{are nevoie} de %2") relations-ro.kif 117-117
(format sv needs "%1 behöver %n{inte} %2") relations-sv.txt 97-97
(format tg needs "%1 %n ay kailangan %2") relations-tg.txt 382-382
(subrelation lacks needs) Mid-level-ontology.kif 7448-7448 lacks est une sous-relation de needs
(termFormat ChineseLanguage needs "需求") domainEnglishFormat.kif 40083-40083
(termFormat ChineseLanguage needs "需要") chinese_format.kif 158-158
(termFormat ChineseTraditionalLanguage needs "需求") domainEnglishFormat.kif 40082-40082
(termFormat EnglishLanguage needs "needs") domainEnglishFormat.kif 40081-40081
(termFormat de needs "braucht") terms-de.txt 58-58
(termFormat tg needs "kailangan") relations-tg.txt 383-383


    (needs ?AGENT ?OBJECT)
    (wants ?AGENT ?OBJECT))
Merge.kif 2757-2759


    (attribute ?H Anorexia)
    (exists (?E)
            (instance ?E Eating)
            (agent ?E ?H)
            (needs ?H ?E)
                (wants ?H ?E)))))
Medicine.kif 5037-5045
    (holdsDuring ?T
            (attribute ?H SleepApnea)
            (attribute ?H Sleeping)))
    (exists (?T2 ?B ?B2)
            (during ?T2 ?T)
                (exists (?B)
                        (instance ?B Breathing)
                            (WhenFn ?B) ?T2)
                        (experiencer ?B ?H))))
            (holdsDuring ?T2
                    (instance ?B2 Breathing)
                    (needs ?H ?B2))))))
Medicine.kif 4161-4178
    (holdsDuring ?T
        (attribute ?H RectalTenesmus))
    (holdsDuring ?T
            (desires ?H
                (exists (?D)
                        (instance ?D Defecation)
                        (agent ?D ?H))))
                (needs ?H
                    (exists (?D)
                            (instance ?D Defecation)
                            (agent ?D ?H))))))))
Medicine.kif 5110-5125
    (instance ?OT OrganTransplant)
    (exists (?H ?O)
            (instance ?H Animal)
            (instance ?O Organ)
            (needs ?H ?O))))
Medicine.kif 4634-4640

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