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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryFoodTruck

appearance as argument number 1

(documentation MilitaryFoodTruck EnglishLanguage "Trucks used by a military to transport food.") Military.kif 208-208
(externalImage MilitaryFoodTruck " commons/ d/ d9/ Img_fmtv.jpg") pictureList.kif 4931-4931
(subclass MilitaryFoodTruck MilitarySupportVehicle) Military.kif 209-209

appearance as argument number 2

(termFormat ChineseLanguage MilitaryFoodTruck "军用食品卡车") domainEnglishFormat.kif 37619-37619
(termFormat ChineseTraditionalLanguage MilitaryFoodTruck "軍用食品卡車") domainEnglishFormat.kif 37618-37618
(termFormat EnglishLanguage MilitaryFoodTruck "military food truck") domainEnglishFormat.kif 37617-37617


    (instance ?T MilitaryFoodTruck)
        (KappaFn ?P
                (instance ?P Transportation)
                (instance ?F
                    (FoodForFn Animal))
                (patient ?P ?F))) instrument ?T))
Military.kif 210-218

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