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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - MilitarySupportVehicle

appearance as argument number 1

(documentation MilitarySupportVehicle EnglishLanguage "Vehicles meant to be used for support, rather than combat in a military context.") Military.kif 193-194
(subclass MilitarySupportVehicle MilitaryVehicle) Military.kif 195-195

appearance as argument number 2

(subclass MilitaryFoodTruck MilitarySupportVehicle) Military.kif 209-209
(subclass MilitarySupplyTruck MilitarySupportVehicle) Military.kif 205-205
(termFormat ChineseLanguage MilitarySupportVehicle "军事支援车辆") domainEnglishFormat.kif 37745-37745
(termFormat ChineseTraditionalLanguage MilitarySupportVehicle "軍事支援車輛") domainEnglishFormat.kif 37744-37744
(termFormat EnglishLanguage MilitarySupportVehicle "military support vehicle") domainEnglishFormat.kif 37743-37743

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