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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TechnologyCooperation

 Sigma KEE - TechnologyCooperation
TechnologyCooperation(技术合作)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2725-2725 技术合作 是 信息合作 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3241-3241 技术合作 是 欧洲核研究组织 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3249-3249 技术合作 是 欧洲航太局 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3911-3911 技术合作 是 联合国发展计划 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 4029-4029 技术合作 是 联合国工业发展组织 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57211-57211
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57210-57210
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57209-57209


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