Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Solenoid(solenoid) |  | solenoid |
| appearance as argument number 1 |
|
|
| (subclass Solenoid ElectricDevice) | Cars.kif 3793-3793 | Solenoid is a subclass of electric device |
| (documentation Solenoid EnglishLanguage "A Device that uses an Electromagnet to actuate an arm or shaft to perform some function.") | Cars.kif 3795-3796 | Solenoid is a subclass of electric device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Solenoid "solenoid") | Cars.kif 3794-3794 |
| antecedent |
|
|
| (=> (instance ?S Solenoid) (hasPurpose ?S (exists (?P ?T1 ?T2 ?L1 ?L2) (and (part ?P ?S) (holdsDuring ?T1 (and (attribute ?S DeviceOn) (located ?P ?L1))) (holdsDuring ?T2 (and (attribute ?S DeviceOn) (located ?P ?L2))) (not (equal ?L1 ?L2)))))) |
Cars.kif 3798-3813 | If X is an instance of solenoid, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is a part of X (3) device on is an attribute of X (4) Y is located at V holds during Z (5) device on is an attribute of X (6) Y is located at U holds during W (7) equal V (8) U |
|