Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SteeringColumnLock(steering column lock) |
| appearance as argument number 1 |
|
| (subclass SteeringColumnLock SecurityDevice) | Cars.kif 3862-3862 | Steering column lock is a subclass of security device |
| (documentation SteeringColumnLock EnglishLanguage "A SecurityDevice design to protect an Automobile from Stealing and which is a part of the Automobile's SteeringColumn.") | Cars.kif 3863-3863 | Steering column lock is a subclass of security device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SteeringColumnLock "steering column lock") | domainEnglishFormat.kif 65544-65544 |
| antecedent |
|
|
| (=> (instance ?X SteeringColumnLock) (hasPurpose ?X (exists (?SC ?P ?CAR ?T) (and (instance ?SC SteeringColumn) (instance ?CAR Automobile) (component ?SC ?CAR) (part ?X ?SC) (instance ?P Protecting) (instrument ?P ?X) (decreasesLikelihood (holdsDuring ?T (attribute ?X Locked)) (holdsDuring ?T (exists (?STEAL) (and (instance ?STEAL Stealing) (patient ?STEAL ?CAR))))))))) |
Cars.kif 3864-3882 | If X is an instance of steering column lock, 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 steering column (3) W is an instance of automobile (4) Y is a component of W (5) X is a part of Y (6) Z is an instance of protecting (7) X is an instrument for Z (8) locked is an attribute of X holds during V decreases likelihood of there exists U such that U is an instance of stealing (9) W is a patient of U holds during V |
|