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 2727-2727 科学合作 是 信息合作 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3242-3242 科学合作 是 欧洲核研究组织 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3397-3397 科学合作 是 政府间发展权威 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3536-3536 科学合作 是 国际水文组织 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3927-3927 科学合作 是 联合国教育科学文化组织 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 4363-4363 科学合作 是 世界气象组织 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51573-51573
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51572-51572
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51571-51571


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