| 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 | The number 1 argument of resource exhausted is an instance of process |
| (domain resourceExhausted 2 Object) | Merge.kif 2531-2531 | The number 2 argument of resource exhausted is an instance of object |
| (instance resourceExhausted AsymmetricRelation) | Merge.kif 2533-2533 | resource exhausted is an instance of asymmetric relation |
| (instance resourceExhausted BinaryPredicate) | Merge.kif 2534-2534 | resource exhausted is an instance of binary predicate |
| (instance resourceExhausted CaseRole) | Merge.kif 2532-2532 | resource exhausted is an instance of case role |
| (instance resourceExhausted PartialValuedRelation) | Merge.kif 2535-2535 | resource exhausted is an instance of partial valued relation |
| 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 65987-65987 |
| 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