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
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1925-1926
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1081-1081
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1924-1924 Cycle est une sous-classe de AgentPoweredVehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1923-1923 Cycle est une sous-classe de LandVehicle

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1929-1929 Bicycle est une sous-classe de Cycle
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18264-18264
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18263-18263
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18262-18262

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


No TPTP formula. May not be expressible in strict first order. 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