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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TranslationAndInterpretationServices

Sigma KEE - GroupOf77
GroupOf77

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


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

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3360-3360 abbreviation "G-77" and GroupOf77
No TPTP formula. May not be expressible in strict first order. Government.kif 3359-3359 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