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 2748-2749
(documentation needs JapaneseLanguage "(needs ?AGENT ?OBJECT) とは、?AGENT の継続的な存在 のために ?OBJECT が物理的に必要であることを意味する。") japanese_format.kif 560-561
(domain needs 1 CognitiveAgent) Merge.kif 2745-2745 The number 1 argument of needs is an instance of cognitive agent
(domain needs 2 Physical) Merge.kif 2746-2746 The number 2 argument of needs is an instance of physical
(instance needs BinaryPredicate) Merge.kif 2743-2743 needs is an instance of binary predicate
(instance needs ObjectAttitude) Merge.kif 2742-2742 needs is an instance of object attitude
(subrelation needs inScopeOfInterest) Merge.kif 2744-2744 needs is a subrelation of in scope of interest

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 8221-8221 lacks is a subrelation of needs
(termFormat ChineseLanguage needs "需求") domainEnglishFormat.kif 40113-40113 lacks is a subrelation of needs
(termFormat ChineseLanguage needs "需要") chinese_format.kif 158-158 lacks is a subrelation of needs
(termFormat ChineseTraditionalLanguage needs "需求") domainEnglishFormat.kif 40112-40112 lacks is a subrelation of needs
(termFormat EnglishLanguage needs "needs") domainEnglishFormat.kif 40111-40111 lacks is a subrelation of needs
(termFormat de needs "braucht") terms-de.txt 58-58 lacks is a subrelation of needs
(termFormat tg needs "kailangan") relations-tg.txt 383-383 lacks is a subrelation of needs

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


(=>
    (needs ?AGENT ?OBJECT)
    (wants ?AGENT ?OBJECT))		 Merge.kif 2751-2753

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


(=>
    (attribute ?H Anorexia)
    (exists (?E)
        (and
            (instance ?E Eating)
            (agent ?E ?H)
            (needs ?H ?E)
            (not
                (wants ?H ?E)))))		 Medicine.kif 5025-5033
(=>
    (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 4149-4166
(=>
    (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 5098-5113
(=>
    (instance ?OT OrganTransplant)
    (exists (?H ?O)
        (and
            (instance ?H Animal)
            (instance ?O Organ)
            (needs ?H ?O))))		 Medicine.kif 4622-4628


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