Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  EngineFlooded
|
|
|
| appearance as argument number 1 |
|
|
| (instance EngineFlooded RelationalAttribute) | Cars.kif 2644-2644 | Engine flooded is an instance of relational attribute |
| (documentation EngineFlooded EnglishLanguage "A state in which an InternalCombustionEngine has too much Fuel in its CombustionChamber to operate as intended.") | Cars.kif 2646-2647 | Engine flooded is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EngineFlooded "engine flooded") | Cars.kif 2645-2645 |
| antecedent |
|
|
| (=> (and (instance ?E InternalCombustionEngine) (instance ?CC CombustionChamber) (part ?CC ?E) (instance ?F Fuel) (instance ?M UnitOfVolume) (holdsDuring ?T (and (contains ?CC ?F) (measure ?F (MeasureFn ?N1 ?M)) (attribute ?E EngineFlooded)))) (hasPurpose ?CC (not (exists (?F2 ?N2) (and (instance ?F2 Fuel) (contains ?CC ?F2) (measure ?F2 (MeasureFn ?N2 ?M)) (greaterThanOrEqualTo ?N2 ?N1)))))) |
Cars.kif 2649-2668 | If All of the following hold: (1) X is an instance of internal combustion engine (2) Y is an instance of combustion chamber (3) Y is a part of X (4) Z is an instance of fuel (5) W is an instance of unit of volume (6) Y contains Z and the measure of Z is V W(s) and engine flooded is an attribute of X holds during U, then Y has the purpose there don't exist T and S such that T is an instance of fuel and Y contains T and the measure of T is S W(s) and S is greater than or equal to V |
|