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 2715-2715 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 2836-2836 Cultural cooperation is an organizational objective of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2864-2864 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 3020-3020 Cultural cooperation is an organizational objective of council of europe
No TPTP formula. May not be expressible in strict first order. Government.kif 3032-3032 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 3141-3141 Cultural cooperation is an organizational objective of economic cooperation organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3661-3661 Cultural cooperation is an organizational objective of nordic council
No TPTP formula. May not be expressible in strict first order. Government.kif 3737-3737 Cultural cooperation is an organizational objective of organization of african unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3780-3780 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 3829-3829 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 3869-3869 Cultural cooperation is an organizational objective of united nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3920-3920 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 2716-2716 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