Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Cavitating(cavitating) |
| appearance as argument number 1 |
|
| (subclass Cavitating LiquidMotion) | Cars.kif 1622-1622 | Cavitating is a subclass of liquid motion |
| (documentation Cavitating EnglishLanguage "A process whereby a PartialVacuum forms in a Liquid, near the blades or impellers of a Pump, reducing its ability to move the liquid.") | Cars.kif 1624-1626 | Cavitating is a subclass of liquid motion |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Cavitating "cavitating") | Cars.kif 1623-1623 |
| antecedent |
|
|
| (=> (and (instance ?C Cavitating) (instance ?P Pump) (attribute ?P DeviceOn) (attribute ?L1 Liquid) (contains ?P ?L1)) (exists (?PP ?L2) (and (part ?PP ?P) (hasPurpose ?PP (and (attribute ?L2 Liquid) (meetsSpatially ?L2 ?PP))) (holdsDuring (WhenFn ?C) (not (exists (?L3) (and (attribute ?L3 Liquid) (meetsSpatially ?PP ?L3)))))))) |
Cars.kif 1628-1648 | If X is an instance of cavitating, Y is an instance of pump, device on is an attribute of Y, liquid is an attribute of Z, and Y contains Z, then there exist W, V such that W is a part of Y, W has the purpose liquid is an attribute of V, V meets W, there doesn't exist U such that liquid is an attribute of U, and W meets U holds during the time of existence of X |
|