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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CouncilOfTheBalticSeaStates

Sigma KEE - CouncilOfTheBalticSeaStates
CouncilOfTheBalticSeaStates

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3035-3035 dateEstablished CouncilOfTheBalticSeaStates and o dia 6
No TPTP formula. May not be expressible in strict first order. Government.kif 3032-3032 CouncilOfTheBalticSeaStates e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 3040-3040 organizationalObjective CouncilOfTheBalticSeaStates and CulturalCooperation
No TPTP formula. May not be expressible in strict first order. Government.kif 3036-3036 organizationalObjective CouncilOfTheBalticSeaStates and EconomicDevelopment
No TPTP formula. May not be expressible in strict first order. Government.kif 3038-3038 organizationalObjective CouncilOfTheBalticSeaStates and EnergyAndTheEnvironment
No TPTP formula. May not be expressible in strict first order. Government.kif 3037-3037 organizationalObjective CouncilOfTheBalticSeaStates and HumanitarianAid
No TPTP formula. May not be expressible in strict first order. Government.kif 3039-3039 organizationalObjective CouncilOfTheBalticSeaStates and PoliticalDevelopment

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3034-3034 abbreviation "CBSS" and CouncilOfTheBalticSeaStates
No TPTP formula. May not be expressible in strict first order. Government.kif 3033-3033 conventionalLongName "Council of the Baltic Sea States" and CouncilOfTheBalticSeaStates
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17538-17538
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17537-17537
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17536-17536


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