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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Truck

 Sigma KEE - Truck
Truck(卡車)
more pictures...

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 子類 卡車 and 貨車
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2009-2009 子類 卡車 and 自供電公路車輛

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1871-1871 子類 輕型卡車 and 卡車
No TPTP formula. May not be expressible in strict first order. Military.kif 206-206 子類 軍用卡車 and 卡車
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2026-2026 子類 卡車拖拉機 and 卡車
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