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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilitarySupplyTruck
MilitarySupplyTruck(military supply truck)
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 Military supply truck is a subclass of military support vehicle
No TPTP formula. May not be expressible in strict first order. Military.kif 206-206 Military supply truck is a subclass of truck

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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