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

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


(termFormat ChineseLanguage MilitaryFoodTruck "军用食品卡车") domainEnglishFormat.kif 37645-37645
(termFormat ChineseTraditionalLanguage MilitaryFoodTruck "軍用食品卡車") domainEnglishFormat.kif 37644-37644
(termFormat EnglishLanguage MilitaryFoodTruck "military food truck") domainEnglishFormat.kif 37643-37643

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


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


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