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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WasteCollection

 Sigma KEE - WasteCollection
WasteCollection(垃圾收集)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10627-10629
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6969-6969
No TPTP formula. May not be expressible in strict first order. naics.kif 10625-10625 垃圾收集 是 废物管理和补救服务 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10638-10638 危险废物收集 是 垃圾收集 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 10645-10645 其他废物收集 是 垃圾收集 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 10631-10631 固体废物收集 是 垃圾收集 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62295-62295
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62294-62294
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62293-62293


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