Axle![]() | ![]() |
appearance as argument number 1 |
![]() |
(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 3492-3493 | |
(externalImage Axle "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 76/ Rollingstock_axle.jpg/ 250px-Rollingstock_axle.jpg") | pictureList.kif 1042-1042 | |
(subclass Axle Device) | Mid-level-ontology.kif 3491-3491 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Axle "轴") | domainEnglishFormat.kif 9429-9429 | |
(termFormat ChineseTraditionalLanguage Axle "軸") | domainEnglishFormat.kif 9428-9428 | |
(termFormat EnglishLanguage Axle "axle") | domainEnglishFormat.kif 9427-9427 |
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 3494-3503 | |
(=> (instance ?A Automobile) (equipmentCount ?A Axle 2)) |
Transportation.kif 1966-1968 |
![]() |
![]() |