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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternationalFundForAgriculturalDevelopment
InternationalFundForAgriculturalDevelopment(international fund for agricultural development)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3527-3527 The month November is a date established of international fund for agricultural development
No TPTP formula. May not be expressible in strict first order. Government.kif 3524-3524 International fund for agricultural development is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3528-3528 Agricultural development is an organizational objective of international fund for agricultural development
No TPTP formula. May not be expressible in strict first order. Government.kif 3111-3111 International fund for agricultural development is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order. Government.kif 3529-3529 International fund for agricultural development is a part of the organization united nations

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3526-3526 "IFAD" is an abbreviation of international fund for agricultural development
No TPTP formula. May not be expressible in strict first order. Government.kif 3525-3525 International fund for agricultural development is a conventional long name of "International Fund for Agricultural Development"
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 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