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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NewsSyndicates

 Sigma KEE - NewsSyndicates
NewsSyndicates(新闻集团)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9143-9145
No TPTP formula. May not be expressible in strict first order. naics.kif 9141-9141 新闻集团 是 信息服务 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40365-40365
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40364-40364
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40363-40363


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