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 子屬性 技術合作 and 信息合作

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