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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PulpPaperAndPaperboardMills

Sigma KEE - PulpPaperAndPaperboardMills
PulpPaperAndPaperboardMills(纸浆纸和纸板厂)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2732-2734
No TPTP formula. May not be expressible in strict first order. naics.kif 2730-2730 纸浆纸和纸板厂造纸业subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2742-2742 造纸厂纸浆纸和纸板厂subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 2761-2761 纸板厂纸浆纸和纸板厂subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 2736-2736 纸浆厂纸浆纸和纸板厂subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48098-48098
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48097-48097
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48096-48096


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