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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WorldFoodProgram

Sigma KEE - WorldFoodProgram
WorldFoodProgram

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4344-4344 dateEstablished WorldFoodProgram and le jour 24
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5694-5694
No TPTP formula. May not be expressible in strict first order. Government.kif 4341-4341 WorldFoodProgram est une instance de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 4345-4345 organizationalObjective WorldFoodProgram and FoodAid
No TPTP formula. May not be expressible in strict first order. Government.kif 3128-3128 WorldFoodProgram est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 3958-3958 WorldFoodProgram est une partie de l'organization UnitedNationsGeneralAssembly

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4343-4343 abbreviation "WFP" and WorldFoodProgram
No TPTP formula. May not be expressible in strict first order. Government.kif 4342-4342 conventionalLongName "World Food Program" and WorldFoodProgram
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63507-63507
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63506-63506
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63505-63505


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