Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FuelCapLock(fuel cap lock) |
| appearance as argument number 1 |
|
| (subclass FuelCapLock SecurityDevice) | Cars.kif 951-951 | Fuel cap lock is a subclass of security device |
| (documentation FuelCapLock EnglishLanguage "A SecurityDevice that is to be located on the opening of a GasTank to prevent Stealing the Fuel from the GasTank.") | Cars.kif 952-952 | Fuel cap lock is a subclass of security device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FuelCapLock "fuel cap lock") | domainEnglishFormat.kif 64900-64900 |
| antecedent |
|
|
| (=> (instance ?X FuelCapLock) (hasPurpose ?X (exists (?TANK ?HOLE ?T) (and (instance ?TANK GasTank) (hole ?HOLE ?TANK) (decreasesLikelihood (holdsDuring ?T (and (connected ?X ?HOLE) (attribute ?X Locked))) (holdsDuring ?T (exists (?STEAL ?FUEL) (and (instance ?STEAL Stealing) (instance ?FUEL Fuel) (located ?FUEL ?TANK) (patient ?STEAL ?FUEL))))))))) |
Cars.kif 953-971 | If X is an instance of fuel cap lock, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of gas tank (3) Z is a hole in Y (4) X is connected to Z (5) locked is an attribute of X holds during W decreases likelihood of there exist V (6) U such that V is an instance of stealing (7) U is an instance of fuel (8) U is located at Y (9) U is a patient of V holds during W |
|