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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bicycle

 Sigma KEE - Bicycle
Bicycle(bicycle)
more pictures...		bicycle, bicycle-built-for-two, bike, cycle, tandem, tandem_bicycle, velocipede, wheel

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1927-1928
No TPTP formula. May not be expressible in strict first order. pictureList.kif 277-277
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 377-377
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 380-380
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 360-360
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 361-361
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 363-363
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 362-362
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 359-359
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 367-367
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 373-373
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 374-374
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 364-364
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 368-368
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 375-375
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 379-379
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 372-372
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 376-376
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 365-365
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 370-370
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 371-371
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 369-369
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 378-378
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 366-366
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1929-1929 Bicycle is a subclass of cycle

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10967-10967
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10966-10966
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10965-10965


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