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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SocialCooperation

 Sigma KEE - SocialCooperation
SocialCooperation(社会合作)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2681-2681 社会合作 是 跨国问题 的 instance

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2799-2799 社会合作 是 阿拉伯联盟 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 2835-2835 社会合作 是 东南亚国家联盟 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3012-3012 社会合作 是 协约理事会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3222-3222 社会合作 是 欧洲联盟 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3335-3335 社会合作 是 海湾合作委员会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3359-3359 社会合作 是 政府间发展权威 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3753-3753 社会合作 是 组织伊斯兰会议 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3761-3761 社会合作 是 太平洋社区 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3800-3800 社会合作 是 南亚区域合作协会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 2682-2682 文化合作 是 社会合作 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Government.kif 2684-2684 教育合作 是 社会合作 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Government.kif 2685-2685 人道主义援助 是 社会合作 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53620-53620
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53619-53619
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53618-53618


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

Show without tree


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