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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WasteTreatmentAndDisposal

Sigma KEE - WasteTreatmentAndDisposal
WasteTreatmentAndDisposal(廢物處理和處置)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10654-10656
No TPTP formula. May not be expressible in strict first order. naics.kif 10652-10652 子屬性 廢物處理和處置 and 廢物管理和補救服務

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10658-10658 子屬性 危險廢物處理和處置 and 廢物處理和處置
No TPTP formula. May not be expressible in strict first order. naics.kif 10678-10678 子屬性 其他無害廢物處理和處置 and 廢物處理和處置
No TPTP formula. May not be expressible in strict first order. naics.kif 10671-10671 子屬性 固體廢物燃燒器和焚燒爐 and 廢物處理和處置
No TPTP formula. May not be expressible in strict first order. naics.kif 10665-10665 子屬性 固體廢物填埋場 and 廢物處理和處置
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62307-62307
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62306-62306
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62305-62305


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