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 2765-2766
(documentation needs JapaneseLanguage "(needs ?AGENT ?OBJECT) とは、?AGENT の継続的な存在 のために ?OBJECT が物理的に必要であることを意味する。") japanese_format.kif 560-561
(domain needs 1 CognitiveAgent) Merge.kif 2762-2762 needs の数値 1 引数は 認識エージェントinstance では
(domain needs 2 Physical) Merge.kif 2763-2763 needs の数値 2 引数は 物理instance では
(instance needs BinaryPredicate) Merge.kif 2760-2760 needs2進述語instance では
(instance needs ObjectAttitude) Merge.kif 2759-2759 needs対象物姿勢instance では
(subrelation needs inScopeOfInterest) Merge.kif 2761-2761 needsinScopeOfInterestsubrelation では

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 8613-8613 lacksneedssubrelation では
(termFormat ChineseLanguage needs "需求") domainEnglishFormat.kif 40096-40096 lacksneedssubrelation では
(termFormat ChineseLanguage needs "需要") chinese_format.kif 158-158 lacksneedssubrelation では
(termFormat ChineseTraditionalLanguage needs "需求") domainEnglishFormat.kif 40095-40095 lacksneedssubrelation では
(termFormat EnglishLanguage needs "needs") domainEnglishFormat.kif 40094-40094 lacksneedssubrelation では
(termFormat de needs "braucht") terms-de.txt 58-58 lacksneedssubrelation では
(termFormat tg needs "kailangan") relations-tg.txt 383-383 lacksneedssubrelation では

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


(=>
    (needs ?AGENT ?OBJECT)
    (wants ?AGENT ?OBJECT))
Merge.kif 2768-2770

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


(=>
    (attribute ?H Anorexia)
    (exists (?E)
        (and
            (instance ?E Eating)
            (agent ?E ?H)
            (needs ?H ?E)
            (not
                (wants ?H ?E)))))
Medicine.kif 5044-5052
(=>
    (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 4167-4184
(=>
    (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 5117-5132
(=>
    (instance ?OT OrganTransplant)
    (exists (?H ?O)
        (and
            (instance ?H Animal)
            (instance ?O Organ)
            (needs ?H ?O))))
Medicine.kif 4641-4647


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