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 The number 1 argument of needs is an instance of cognitive agent
(domain needs 2 Physical) Merge.kif 2752-2752 The number 2 argument of needs is an instance of physical
(instance needs BinaryPredicate) Merge.kif 2749-2749 needs is an instance of binary predicate
(instance needs ObjectAttitude) Merge.kif 2748-2748 needs is an instance of object attitude
(subrelation needs inScopeOfInterest) Merge.kif 2750-2750 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 7666-7666 lacks is a subrelation of needs
(termFormat ChineseLanguage needs "需求") domainEnglishFormat.kif 40121-40121 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 40120-40120 lacks is a subrelation of needs
(termFormat EnglishLanguage needs "needs") domainEnglishFormat.kif 40119-40119 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 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