Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cycle

Sigma KEE - 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 1925-1926
(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 1924-1924 子類 週期 and 代理動力車輛
(subclass Cycle LandVehicle) Transportation.kif 1923-1923 子類 週期 and 陸地車輛

appearance as argument number 2
-------------------------


(subclass Bicycle Cycle) Transportation.kif 1929-1929 子類 自行車 and 週期
(termFormat ChineseLanguage Cycle "周期") domainEnglishFormat.kif 18264-18264
(termFormat ChineseTraditionalLanguage Cycle "週期") domainEnglishFormat.kif 18263-18263
(termFormat EnglishLanguage Cycle "cycle") domainEnglishFormat.kif 18262-18262

consequent
-------------------------


(=>
    (instance ?CYC Cycling)
    (exists (?CYCLE)
        (and
            (instance ?CYCLE Cycle)
            (instrument ?CYC ?CYCLE))))
Transportation.kif 1936-1941


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners