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 2754-2755
(documentation needs JapaneseLanguage "(needs ?AGENT ?OBJECT) とは、?AGENT の継続的な存在 のために ?OBJECT が物理的に必要であることを意味する。") japanese_format.kif 560-561
(domain needs 1 CognitiveAgent) Merge.kif 2751-2751
(domain needs 2 Physical) Merge.kif 2752-2752
(instance needs BinaryPredicate) Merge.kif 2749-2749
(instance needs ObjectAttitude) Merge.kif 2748-2748
(subrelation needs inScopeOfInterest) Merge.kif 2750-2750

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
(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

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


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

consequent
-------------------------


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


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