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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CulturalCooperation
CulturalCooperation(cultural cooperation)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2704-2704 Cultural cooperation is a subattribute of social cooperation

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2825-2825 Cultural cooperation is an organizational objective of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2853-2853 Cultural cooperation is an organizational objective of association of southeast asian nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3009-3009 Cultural cooperation is an organizational objective of council of europe
No TPTP formula. May not be expressible in strict first order. Government.kif 3021-3021 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 3130-3130 Cultural cooperation is an organizational objective of economic cooperation organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3650-3650 Cultural cooperation is an organizational objective of nordic council
No TPTP formula. May not be expressible in strict first order. Government.kif 3726-3726 Cultural cooperation is an organizational objective of organization of african unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3769-3769 Cultural cooperation is an organizational objective of organization of the islamic conference
No TPTP formula. May not be expressible in strict first order. Government.kif 3818-3818 Cultural cooperation is an organizational objective of south asian association for regional cooperation
No TPTP formula. May not be expressible in strict first order. Government.kif 3858-3858 Cultural cooperation is an organizational objective of united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3909-3909 Cultural cooperation is an organizational objective of united nations educational scientific and cultural organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2705-2705 Organize olympic games is a subattribute of cultural cooperation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18003-18003
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18002-18002
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18001-18001


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