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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Truck

Sigma KEE - Truck
Truck(truck)
more pictures...
camion, car_transporter, carrier, lorry, motortruck, pickup, pickup_truck, sound_truck, technical, tow_car, tow_truck, tractor, transporter, truck, wrecker

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2011-2017
No TPTP formula. May not be expressible in strict first order. pictureList.kif 800-800
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 576-576
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 583-583
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 578-578
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 582-582
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 586-586
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 581-581
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 579-579
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 588-588
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 584-584
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 577-577
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 587-587
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 585-585
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 580-580
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2010-2010 Truck is a subclass of cargo vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2009-2009 Truck is a subclass of self powered road vehicle

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1871-1871 Light truck is a subclass of truck
No TPTP formula. May not be expressible in strict first order. Military.kif 206-206 Military supply truck is a subclass of truck
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2026-2026 Truck tractor is a subclass of truck
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59288-59288
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59287-59287
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59286-59286

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2019-2024


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