Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   RotationalAttribute
|
|
|
| appearance as argument number 1 |
|
|
| (subclass RotationalAttribute PositionalAttribute) | Cars.kif 4836-4836 | Rotational attribute is a subclass of positional attribute |
| (documentation RotationalAttribute EnglishLanguage "A PositionalAttribute characterizing the direction of Rotating.") | Cars.kif 4837-4837 | Rotational attribute is a subclass of positional attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?R Ratchet) (instance ?A AttachingDevice) (instance ?RO1 Rotating) (attribute ?RO1 ?DIR1) (instance ?RO2 Rotating) (attribute ?RO2 ?DIR2) (instance ?DIR1 RotationalAttribute) (instance ?DIR2 RotationalAttribute) (not (equal ?RO1 ?RO2)) (causes ?RO1 ?RO2) (patient ?RO1 Ratchet) (patient ?RO2 ?A)) (equal ?DIR1 ?DIR2)) |
Cars.kif 4819-4834 | If All of the following hold: (1) X is an instance of ratchet (2) Y is an instance of attaching device (3) Z is an instance of rotating (4) W is an attribute of Z (5) V is an instance of rotating (6) U is an attribute of V (7) W is an instance of rotational attribute (8) U is an instance of rotational attribute (9) equal Z and V (10) Z causes V (11) ratchet is a patient of Z (12) Y is a patient of V, then equal W and U |
| (=> (manner ?PROC RotationalAttribute) (instance ?PROC Rotating)) |
Cars.kif 4838-4840 | If X is performed in the manner rotational attribute, then X is an instance of rotating |
|