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


KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryFoodTruck
MilitaryFoodTruck(military food truck)

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


(documentation MilitaryFoodTruck EnglishLanguage "Trucks used by a military to transport food.") Military.kif 286-286
(externalImage MilitaryFoodTruck "http://upload.wikimedia.org/wikipedia/ commons/ d/ d9/ Img_fmtv.jpg") pictureList.kif 4930-4930
(subclass MilitaryFoodTruck MilitarySupportVehicle) Military.kif 287-287 Military food truck is a subclass of military support vehicle

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


(termFormat ChineseLanguage MilitaryFoodTruck "军用食品卡车") domainEnglishFormat.kif 37627-37627
(termFormat ChineseTraditionalLanguage MilitaryFoodTruck "軍用食品卡車") domainEnglishFormat.kif 37626-37626
(termFormat EnglishLanguage MilitaryFoodTruck "military food truck") domainEnglishFormat.kif 37625-37625

antecedent
-------------------------


(=>
    (instance ?T MilitaryFoodTruck)
    (capability
        (KappaFn ?P
            (and
                (instance ?P Transportation)
                (instance ?F
                    (FoodForFn Animal))
                (patient ?P ?F))) instrument ?T))
Military.kif 288-296


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