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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - SocialCooperation
SocialCooperation(social cooperation)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2678-2678 Social cooperation is an instance of transnational issue

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2796-2796 Social cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2832-2832 Social 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 Social cooperation is an organizational objective of council of the entente
No TPTP formula. May not be expressible in strict first order. Government.kif 3219-3219 Social cooperation is an organizational objective of european union
No TPTP formula. May not be expressible in strict first order. Government.kif 3332-3332 Social cooperation is an organizational objective of gulf cooperation council
No TPTP formula. May not be expressible in strict first order. Government.kif 3356-3356 Social cooperation is an organizational objective of inter governmental authority on development
No TPTP formula. May not be expressible in strict first order. Government.kif 3750-3750 Social cooperation is an organizational objective of organization of the islamic conference
No TPTP formula. May not be expressible in strict first order. Government.kif 3758-3758 Social cooperation is an organizational objective of pacific community
No TPTP formula. May not be expressible in strict first order. Government.kif 3797-3797 Social 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 2679-2679 Cultural cooperation is a subattribute of social cooperation
No TPTP formula. May not be expressible in strict first order. Government.kif 2681-2681 Educational cooperation is a subattribute of social cooperation
No TPTP formula. May not be expressible in strict first order. Government.kif 2682-2682 Humanitarian assistance is a subattribute of social cooperation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53622-53622 Humanitarian assistance is a subattribute of social cooperation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53621-53621 Humanitarian assistance is a subattribute of social cooperation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53620-53620 Humanitarian assistance is a subattribute of social cooperation


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