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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommonwealthOfIndependentStates

Sigma KEE - CommonwealthOfIndependentStates
CommonwealthOfIndependentStates

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2951-2951 dateEstablished CommonwealthOfIndependentStates and le jour 8
No TPTP formula. May not be expressible in strict first order. Government.kif 2948-2948 CommonwealthOfIndependentStates est une instance de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 2952-2952 organizationalObjective CommonwealthOfIndependentStates and PoliticalCooperation

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2950-2950 abbreviation "CIS" and CommonwealthOfIndependentStates
No TPTP formula. May not be expressible in strict first order. Government.kif 2949-2949 conventionalLongName "Commonwealth of Independent States" and CommonwealthOfIndependentStates
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15990-15990
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15989-15989
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15988-15988


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