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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GroupOf77

 Sigma KEE - GroupOf77
GroupOf77(77人小组)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3361-3361 15 Day 是 77人小组 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3358-3358 77人小组 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 3362-3362 经济合作 是 77人小组 的 organizational 目标

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3360-3360 77人小组 是 "G-77" 的简称
No TPTP formula. May not be expressible in strict first order. Government.kif 3359-3359 77人小组 是 "Group of 77" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26790-26790
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26789-26789
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26788-26788


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