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 2658-2658 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 2766-2766 Social cooperation is an organizational objective of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2802-2802 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 2979-2979 Social cooperation is an organizational objective of council of the entente
No TPTP formula. May not be expressible in strict first order. Government.kif 3189-3189 Social cooperation is an organizational objective of european union
No TPTP formula. May not be expressible in strict first order. Government.kif 3302-3302 Social cooperation is an organizational objective of gulf cooperation council
No TPTP formula. May not be expressible in strict first order. Government.kif 3326-3326 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 3720-3720 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 3728-3728 Social cooperation is an organizational objective of pacific community
No TPTP formula. May not be expressible in strict first order. Government.kif 3767-3767 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 2659-2659 Cultural cooperation is a subattribute of social cooperation
No TPTP formula. May not be expressible in strict first order. Government.kif 2661-2661 Educational cooperation is a subattribute of social cooperation
No TPTP formula. May not be expressible in strict first order. Government.kif 2662-2662 Humanitarian assistance is a subattribute of social cooperation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53612-53612
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53611-53611
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53610-53610


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