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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoapCleaningCompoundAndToiletPreparationManufacturing

Sigma KEE - SoapCleaningCompoundAndToiletPreparationManufacturing
SoapCleaningCompoundAndToiletPreparationManufacturing(肥皂清洁化合物和厕所制备制造)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3395-3398
No TPTP formula. May not be expressible in strict first order. naics.kif 3393-3393 肥皂清洁化合物和厕所制备制造化学制造业subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3400-3400 肥皂和清洁化合物制造肥皂清洁化合物和厕所制备制造subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 3427-3427 厕所准备制造肥皂清洁化合物和厕所制备制造subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53588-53588
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53587-53587
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53586-53586


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