Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   CognitiveAgent
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AutomobileShock Damper) | Cars.kif 775-775 | Shock is a subclass of damper |
| (typicalPart AutomobileShock AutoSuspensionSystem) | Cars.kif 777-777 | A shock is typically a part of a auto suspension system |
| (documentation AutomobileShock EnglishLanguage "A Damper that is part of a modern RoadVehicle's AutoSuspensionSystem. It may include various kinds of fluids that have the effect of being a Damper on Motion.") | Cars.kif 778-780 | A shock is typically a part of a auto suspension system |
| (typicalPart AutomobileShock Automobile) | Cars.kif 805-805 | A shock is typically a part of a automobile |
| (typicallyContainsPart AutomobileShock Automobile) | Cars.kif 806-806 | A automobile typically has a part shock |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AutomobileShock "shock") | Cars.kif 776-776 | |
| (subclass MacPhersonStrut AutomobileShock) | Cars.kif 3138-3138 | MacPherson strut is a subclass of shock |
| antecedent |
|
|
| (=> (instance ?A AutomobileShock) (hasPurpose ?A (exists (?C) (and (instance ?C Automobile) (part ?A ?C))))) |
Cars.kif 782-788 | If X is an instance of shock, then X has the purpose there exists Y such that Y is an instance of automobile and X is a part of Y |
| (=> (and (instance ?A1 Automobile) (instance ?A2 Automobile) (instance ?S1 AutomobileShock) (part ?S1 ?A1) (not (exists (?S2) (and (instance ?S2 AutomobileShock) (part ?S2 ?A2)))) (dampingRatio ?A1 ?R1) (dampingRatio ?A2 ?R2)) (greaterThan ?R2 ?R1)) |
Cars.kif 790-803 | If All of the following hold: (1) X is an instance of automobile (2) Y is an instance of automobile (3) Z is an instance of shock (4) Z is a part of X (5) there doesn't exist W such that W is an instance of shock and W is a part of Y (6) the damping ratio of X is V (7) the damping ratio of Y is U, then U is greater than V |
| (=> (and (instance ?AS AutomobileShock) (instance ?C Compressing) (instance ?H HoleRegion) (attribute ?F Fluid) (equal ?AS (HoleHostFn ?H)) (contains ?AS ?F) (patient ?C ?AS)) (exists (?T) (and (instance ?T Transfer) (objectTransferred ?T ?F) (path ?T ?H) (causes ?C ?T)))) |
Cars.kif 808-822 | If All of the following hold: (1) X is an instance of shock (2) Y is an instance of compressing (3) Z is an instance of hole (4) fluid is an attribute of W (5) equal X and the host of the hole Z (6) X contains W (7) X is a patient of Y, then there exists V such that V is an instance of transfer, the object transferred in V is W, Z is path along which V occurs, and Y causes V |
|