Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - resourceExhausted
resourceExhausted

appearance as argument number 1
-------------------------


(documentation resourceExhausted ChineseLanguage "(resourceExhausted ?PROCESS ?RESOURCE) 的意思是 ?RESOURCE 在 ?PROCESS 开始时存在、?PROCESS 利用了他、结果它完全被 ?PROCESS 消耗掉了。例如: 在以下'那飞机的燃料耗尽了,就丢到大海里了'这命题,燃料是个 resourceExhausted。") chinese_format.kif 1892-1894
(documentation resourceExhausted EnglishLanguage "(resourceExhausted ?PROCESS ?RESOURCE) means that ?RESOURCE is present at the beginning of ?PROCESS, is used by ?PROCESS, and as a consequence is completely used up by the ?PROCESS. For example, fuel is a resourceExhausted in the following proposition: the plane run out of fuel and ditched in the sea.") Merge.kif 2525-2528
(documentation resourceExhausted JapaneseLanguage "(resourceExhausted ?PROCESS ?RESOURCE) とは、?RESOURCE が ?PROCESS の開始時に存在し、?PROCESS によって使用され、その結果、?PROCESS に よって完全に使い古されたことを意味する。 例:燃料は、次の命題で使用される resourceExhausted で ある: 飛行機は燃料を使い果たし、海に不時着した。") japanese_format.kif 517-520
(domain resourceExhausted 1 Process) Merge.kif 2530-2530 Le nombre 1 argument de resourceExhausted est une instance de processus
(domain resourceExhausted 2 Object) Merge.kif 2531-2531 Le nombre 2 argument de resourceExhausted est une instance de objet
(instance resourceExhausted AsymmetricRelation) Merge.kif 2533-2533 resourceExhausted est une instance de relation asym�trique
(instance resourceExhausted BinaryPredicate) Merge.kif 2534-2534 resourceExhausted est une instance de pr�dicat binaire
(instance resourceExhausted CaseRole) Merge.kif 2532-2532 resourceExhausted est une instance de r�le d�pendant du cas
(instance resourceExhausted PartialValuedRelation) Merge.kif 2535-2535 resourceExhausted est une instance de relation partielle

appearance as argument number 2
-------------------------


(format ChineseLanguage resourceExhausted "%1 exhausts %2 ") domainEnglishFormat.kif 4422-4422
(format ChineseTraditionalLanguage resourceExhausted "%1 exhausts %2 ") domainEnglishFormat.kif 4421-4421
(format EnglishLanguage resourceExhausted "%1 exhausts %2") domainEnglishFormat.kif 4420-4420
(termFormat EnglishLanguage resourceExhausted "resource exhausted") domainEnglishFormat.kif 65930-65930

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


(=>
    (and
        (resourceExhausted ?P ?R)
        (instance ?R ?C))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?P))
        (not
            (exists (?OBJ1)
                (and
                    (part ?OBJ1 ?R)
                    (instance ?OBJ1 ?C))))))
Merge.kif 2537-2546


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