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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilitarySupportVehicle
MilitarySupportVehicle(military support vehicle)

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 Military support vehicle is a subclass of military vehicle

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


(subclass MilitaryFoodTruck MilitarySupportVehicle) Military.kif 209-209 Military food truck is a subclass of military support vehicle
(subclass MilitarySupplyTruck MilitarySupportVehicle) Military.kif 205-205 Military supply truck is a subclass of military support vehicle
(termFormat ChineseLanguage MilitarySupportVehicle "军事支援车辆") domainEnglishFormat.kif 37779-37779 Military supply truck is a subclass of military support vehicle
(termFormat ChineseTraditionalLanguage MilitarySupportVehicle "軍事支援車輛") domainEnglishFormat.kif 37778-37778 Military supply truck is a subclass of military support vehicle
(termFormat EnglishLanguage MilitarySupportVehicle "military support vehicle") domainEnglishFormat.kif 37777-37777 Military supply truck is a subclass of military support vehicle


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