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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MilitaryFoodTruck

Sigma KEE - MilitaryFoodTruck
MilitaryFoodTruck

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 4932-4932
(subclass MilitaryFoodTruck MilitarySupportVehicle) Military.kif 209-209

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


(termFormat ChineseLanguage MilitaryFoodTruck "军用食品卡车") domainEnglishFormat.kif 37608-37608
(termFormat ChineseTraditionalLanguage MilitaryFoodTruck "軍用食品卡車") domainEnglishFormat.kif 37607-37607
(termFormat EnglishLanguage MilitaryFoodTruck "military food truck") domainEnglishFormat.kif 37606-37606

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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