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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MilitarySupplyTruck

 Sigma KEE - MilitarySupplyTruck
MilitarySupplyTruck(军用卡车)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Military.kif 204-204
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4932-4932
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5062-5062
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5063-5063
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5061-5061
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5064-5064
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5060-5060
No TPTP formula. May not be expressible in strict first order. Military.kif 205-205 军用卡车 是 军事支援车辆 的 subclass
No TPTP formula. May not be expressible in strict first order. Military.kif 206-206 军用卡车 是 卡车 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37739-37739
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37738-37738
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37737-37737


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