| Cycle(cycle)
|
| appearance as argument number 1 |
|
| (documentation Cycle EnglishLanguage "Cycle is a class of wheeled, pedal_driven UserPoweredVehicles that are designed to be ridden on roads or trails.") | Transportation.kif 2065-2066 | |
| (externalImage Cycle "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 3f/ Dsb-2.jpg/ 300px_Dsb-2.jpg") | pictureList.kif 1081-1081 | |
| (subclass Cycle AgentPoweredVehicle) | Transportation.kif 2064-2064 | Cycle is a subclass of agent powered vehicle |
| (subclass Cycle LandVehicle) | Transportation.kif 2063-2063 | Cycle is a subclass of land vehicle |
| appearance as argument number 2 |
|
|
| (subclass Bicycle Cycle) | Transportation.kif 2069-2069 | Bicycle is a subclass of cycle |
| (termFormat ChineseLanguage Cycle "周期") | domainEnglishFormat.kif 18279-18279 | Bicycle is a subclass of cycle |
| (termFormat ChineseTraditionalLanguage Cycle "週期") | domainEnglishFormat.kif 18278-18278 | Bicycle is a subclass of cycle |
| (termFormat EnglishLanguage Cycle "cycle") | domainEnglishFormat.kif 18277-18277 | Bicycle is a subclass of cycle |
| consequent |
|
|
| (=> (instance ?CYC Cycling) (exists (?CYCLE) (and (instance ?CYCLE Cycle) (instrument ?CYC ?CYCLE)))) |
Transportation.kif 2076-2081 |
|
|
|
|