Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Consuming(consuming) |
| appearance as argument number 1 |
|
| (subclass Consuming Decreasing) | Merge.kif 10481-10481 | Consuming is a subclass of decreasing |
| (documentation Consuming EnglishLanguage "Consuming is a process that uses up of a resource. The relation resource specifies the decrease in quantity of the Object consumed but it doesn't say that the Consuming Process causes the decrease.") | Merge.kif 10482-10484 | Consuming is a subclass of decreasing |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Consuming "consuming") | Merge.kif 10485-10485 | |
| (subclass Ingesting Consuming) | Merge.kif 10500-10500 | Ingesting is a subclass of consuming |
| antecedent |
|
|
| (=> (instance ?C Consuming) (exists (?O ?D) (and (patient ?C ?O) (instance ?O Object) (resource ?C ?O) (subProcess ?D ?C) (instance ?D Decreasing) (patient ?D ?O) (causes ?C ?D)))) |
Merge.kif 10487-10497 | If X is an instance of consuming, then All of the following hold: (1) there exist Y (2) Z such that Y is a patient of X (3) Y is an instance of object (4) Y is a resource for X (5) Z is a subprocess of X (6) Z is an instance of decreasing (7) Y is a patient of Z (8) X causes Z |
|