|
|
   Cycle
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Cycle LandVehicle) | Transportation.kif 2078-2078 | Cycle is a subclass of land vehicle |
| (subclass Cycle AgentPoweredVehicle) | Transportation.kif 2079-2079 | Cycle is a subclass of agent powered vehicle |
| (documentation Cycle EnglishLanguage "Cycle is a class of wheeled, pedal_driven UserPoweredVehicles that are designed to be ridden on roads or trails.") | Transportation.kif 2080-2081 | Cycle is a subclass of agent powered vehicle |
| (externalImage Cycle "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 3f/ Dsb-2.jpg/ 300px_Dsb-2.jpg") | pictureList.kif 1081-1081 | Cycle is a subclass of agent powered vehicle |
| appearance as argument number 2 |
|
|
| (subclass Bicycle Cycle) | Transportation.kif 2084-2084 | Bicycle is a subclass of cycle |
| (termFormat EnglishLanguage Cycle "cycle") | domainEnglishFormat.kif 18264-18264 | Bicycle is a subclass of cycle |
| (termFormat ChineseTraditionalLanguage Cycle "週期") | domainEnglishFormat.kif 18265-18265 | Bicycle is a subclass of cycle |
| (termFormat ChineseLanguage Cycle "周期") | domainEnglishFormat.kif 18266-18266 | Bicycle is a subclass of cycle |
| consequent |
|
|
| (=> (instance ?CYC Cycling) (exists (?CYCLE) (and (instance ?CYCLE Cycle) (instrument ?CYC ?CYCLE)))) |
Transportation.kif 2091-2096 | If X is an instance of cycling, then there exists Y such that Y is an instance of cycle and Y is an instrument for X |
|
