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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ScientificCooperation

 Sigma KEE - ScientificCooperation
ScientificCooperation(科學合作)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2691-2691 子屬性 科學合作 and 信息合作

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3206-3206 科學合作 是 歐洲核研究組織 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3361-3361 科學合作 是 政府間發展權威 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3500-3500 科學合作 是 國際水文組織 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3891-3891 科學合作 是 聯合國教育科學文化組織 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 4327-4327 科學合作 是 世界氣象組織 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51575-51575
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51574-51574
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51573-51573


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