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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternationalFundForAgriculturalDevelopment

Sigma KEE - InternationalFundForAgriculturalDevelopment
InternationalFundForAgriculturalDevelopment

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3527-3527 dateEstablished InternationalFundForAgriculturalDevelopment and le moi Novembre
No TPTP formula. May not be expressible in strict first order. Government.kif 3524-3524 InternationalFundForAgriculturalDevelopment est une instance de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 3528-3528 organizationalObjective InternationalFundForAgriculturalDevelopment and AgriculturalDevelopment
No TPTP formula. May not be expressible in strict first order. Government.kif 3111-3111 InternationalFundForAgriculturalDevelopment est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order. Government.kif 3529-3529 InternationalFundForAgriculturalDevelopment est une partie de l'organization UnitedNations

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3526-3526 abbreviation "IFAD" and InternationalFundForAgriculturalDevelopment
No TPTP formula. May not be expressible in strict first order. Government.kif 3525-3525 conventionalLongName "International Fund for Agricultural Development" and InternationalFundForAgriculturalDevelopment
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30601-30601
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30600-30600
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30599-30599


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