Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Spraying(spraying) |  | atomise, atomize, mist, shower, spray |
| appearance as argument number 1 |
|
|
| (subclass Spraying LiquidMotion) | Mid-level-ontology.kif 19522-19522 | Spraying is a subclass of liquid motion |
| (subclass Spraying Transfer) | Mid-level-ontology.kif 19523-19523 | Spraying is a subclass of transfer |
| (documentation Spraying EnglishLanguage "Any instance of Transfer of a Liquid which is accomplished by converting the Liquid into a mist.") | Mid-level-ontology.kif 19524-19525 | Spraying is a subclass of transfer |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?S Spraying) (exists (?G ?L ?M) (and (attribute ?G Gas) (attribute ?L Liquid) (instance ?M GasMixture) (part ?M ?G) (part ?M ?L) (patient ?S ?G) (patient ?S ?L) (result ?S ?M)))) |
Cars.kif 1029-1040 | If X is an instance of spraying, then All of the following hold: (1) there exist Y, Z (2) W such that gas is an attribute of Y (3) liquid is an attribute of Z (4) W is an instance of gas mixture (5) W is a part of Y (6) W is a part of Z (7) Y is a patient of X (8) Z is a patient of X (9) W is a result of X |
| consequent |
|
|
| (=> (instance ?FA FuelAtomizer) (hasPurpose ?FA (exists (?F ?S ?A ?C) (and (instance ?F Fuel) (instance ?S Spraying) (instance ?A Air) (instance ?C Combustion) (patient ?S ?A) (patient ?S ?F) (resource ?C ?F) (resource ?C ?A))))) |
Cars.kif 1049-1061 | If X is an instance of fuel atomizer, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of fuel (3) Z is an instance of spraying (4) W is an instance of air (5) V is an instance of burning (6) W is a patient of Z (7) Y is a patient of Z (8) Y is a resource for V (9) W is a resource for V |
|