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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1933-1934
(externalImage Cycle "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 3f/ Dsb-2.jpg/ 300px-Dsb-2.jpg") pictureList.kif 1082-1082
(subclass Cycle AgentPoweredVehicle) Transportation.kif 1932-1932
(subclass Cycle LandVehicle) Transportation.kif 1931-1931

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


(subclass Bicycle Cycle) Transportation.kif 1937-1937
(termFormat ChineseLanguage Cycle "周期") domainEnglishFormat.kif 18255-18255
(termFormat ChineseTraditionalLanguage Cycle "週期") domainEnglishFormat.kif 18254-18254
(termFormat EnglishLanguage Cycle "cycle") domainEnglishFormat.kif 18253-18253

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


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


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



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