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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NewsprintMills

 Sigma KEE - NewsprintMills
NewsprintMills(新闻纸厂)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2757-2759
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8614-8614
No TPTP formula. May not be expressible in strict first order. naics.kif 2755-2755 新闻纸厂 是 造纸厂 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40347-40347
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40346-40346
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40345-40345


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