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
(domain resourceExhausted 2 Object) Merge.kif 2531-2531
(instance resourceExhausted AsymmetricRelation) Merge.kif 2533-2533
(instance resourceExhausted BinaryPredicate) Merge.kif 2534-2534
(instance resourceExhausted CaseRole) Merge.kif 2532-2532
(instance resourceExhausted PartialValuedRelation) Merge.kif 2535-2535

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

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