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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CouncilOfTheBalticSeaStates
CouncilOfTheBalticSeaStates(council of the baltic sea states)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2997-2997 The day 6 is a date established of council of the baltic sea states
No TPTP formula. May not be expressible in strict first order. Government.kif 2994-2994 Council of the baltic sea states is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3002-3002 Cultural cooperation is an organizational objective of council of the baltic sea states
No TPTP formula. May not be expressible in strict first order. Government.kif 2998-2998 Economic development is an organizational objective of council of the baltic sea states
No TPTP formula. May not be expressible in strict first order. Government.kif 3000-3000 Energy and the environment is an organizational objective of council of the baltic sea states
No TPTP formula. May not be expressible in strict first order. Government.kif 2999-2999 Humanitarian aid is an organizational objective of council of the baltic sea states
No TPTP formula. May not be expressible in strict first order. Government.kif 3001-3001 Political development is an organizational objective of council of the baltic sea states

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2996-2996 "CBSS" is an abbreviation of council of the baltic sea states
No TPTP formula. May not be expressible in strict first order. Government.kif 2995-2995 Council of the baltic sea states is a conventional long name of "Council of the Baltic Sea States"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17549-17549 Council of the baltic sea states is a conventional long name of "Council of the Baltic Sea States"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17548-17548 Council of the baltic sea states is a conventional long name of "Council of the Baltic Sea States"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17547-17547 Council of the baltic sea states is a conventional long name of "Council of the Baltic Sea States"


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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