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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GroupOf77

Sigma KEE - GroupOf77
GroupOf77

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3325-3325 dateEstablished GroupOf77 and le jour 15
No TPTP formula. May not be expressible in strict first order. Government.kif 3322-3322 GroupOf77 est une instance de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 3326-3326 organizationalObjective GroupOf77 and EconomicCooperation

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3324-3324 abbreviation "G-77" and GroupOf77
No TPTP formula. May not be expressible in strict first order. Government.kif 3323-3323 conventionalLongName "Group of 77" and GroupOf77
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26790-26790
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26789-26789
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26788-26788


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