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
-------------------------


No TPTP formula. May not be expressible in strict first order. Military.kif 208-208
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4931-4931
No TPTP formula. May not be expressible in strict first order. Military.kif 209-209 Military food truck is a subclass of military support vehicle

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37619-37619
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37618-37618
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37617-37617

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


No TPTP formula. May not be expressible in strict first order. 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