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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternationalFinanceCorporation
InternationalFinanceCorporation(国际金融公司)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3478-3478 25 Day国际金融公司 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3481-3483
No TPTP formula. May not be expressible in strict first order. Government.kif 3475-3475 国际金融公司国际组织instance
No TPTP formula. May not be expressible in strict first order. Government.kif 3486-3486 促进私营企业国际金融公司organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3074-3074 国际金融公司经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 3479-3479 国际金融公司联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order. Government.kif 4285-4285 国际金融公司世界银行集团 Organization 的一部分

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3477-3477 国际金融公司 是 "IFC" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 3476-3476 国际金融公司 是 "International Finance Corporation" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30595-30595
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30594-30594
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30593-30593


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