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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NewsprintMills

 Sigma KEE - NewsprintMills
NewsprintMills(newsprint mills)

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 Newsprint mills is a subattribute of paper mills

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