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 208-208
(externalImage MilitaryFoodTruck "http://upload.wikimedia.org/wikipedia/ commons/ d/ d9/ Img_fmtv.jpg") pictureList.kif 4931-4931
(subclass MilitaryFoodTruck MilitarySupportVehicle) Military.kif 209-209 Military food truck is a subclass of military support vehicle

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


(termFormat ChineseLanguage MilitaryFoodTruck "军用食品卡车") domainEnglishFormat.kif 37653-37653
(termFormat ChineseTraditionalLanguage MilitaryFoodTruck "軍用食品卡車") domainEnglishFormat.kif 37652-37652
(termFormat EnglishLanguage MilitaryFoodTruck "military food truck") domainEnglishFormat.kif 37651-37651

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


(=>
    (instance ?T MilitaryFoodTruck)
    (capability
        (KappaFn ?P
            (and
                (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