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