Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Axle(axle)
|  | axle, dead_axle, driving_axle, live_axle |
| appearance as argument number 1 |
|
|
| (subclass Axle Device) | Mid-level-ontology.kif 4162-4162 | Axle is a subclass of device |
| (documentation Axle EnglishLanguage "Axle is a class of Devices each of which can be paired with two VehicleWheels to rotate and move a RoadVehicle.") | Mid-level-ontology.kif 4163-4164 | Axle is a subclass of device |
| (externalImage Axle "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 76/ Rollingstock_axle.jpg/ 250px_Rollingstock_axle.jpg") | pictureList.kif 1041-1041 | Axle is a subclass of device |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?W VehicleWheel) (instance ?V RoadVehicle) (part ?W ?V)) (exists (?A) (and (instance ?A Axle) (component ?A ?V) (connected ?W ?A)))) |
Mid-level-ontology.kif 4165-4174 | If X is an instance of vehicle wheel, Y is an instance of road vehicle, and X is a part of Y, then there exists Z such that Z is an instance of axle, Z is a component of Y, and X is connected to Z |
| (=> (instance ?A Automobile) (equipmentCount ?A Axle 2)) |
Transportation.kif 2118-2120 | If X is an instance of automobile, then X equipment count axle for 2 |
|