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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArabFundForEconomicAndSocialDevelopment

Sigma KEE - ArabFundForEconomicAndSocialDevelopment
ArabFundForEconomicAndSocialDevelopment(阿拉伯經濟和社會發展基金)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2788-2788 16 and May and 1968 是 阿拉伯經濟和社會發展基金 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 2785-2785 阿拉伯經濟和社會發展基金 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2789-2789 經濟發展阿拉伯經濟和社會發展基金organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 2790-2790 社會發展阿拉伯經濟和社會發展基金organizational 目標

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2787-2787 阿拉伯經濟和社會發展基金 是 "AFESD" 的簡稱
No TPTP formula. May not be expressible in strict first order. Government.kif 2786-2786 阿拉伯經濟和社會發展基金 是 "Arab Fund for Economic and Social Development" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8106-8106
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8105-8105
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8104-8104


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