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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinancialCooperation

 Sigma KEE - FinancialCooperation
FinancialCooperation

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2659-2659 FinancialCooperation est un sous-attribut de EconomicCooperation

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2896-2896 organizationalObjective BankForInternationalSettlements and FinancialCooperation
No TPTP formula. May not be expressible in strict first order. Government.kif 2660-2660 MonetaryUnion est un sous-attribut de FinancialCooperation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23762-23762
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23761-23761
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23760-23760


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