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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 子屬性 垃圾收集 and 廢物管理和補救服務

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10638-10638 子屬性 危險廢物收集 and 垃圾收集
No TPTP formula. May not be expressible in strict first order. naics.kif 10645-10645 子屬性 其他廢物收集 and 垃圾收集
No TPTP formula. May not be expressible in strict first order. naics.kif 10631-10631 子屬性 固體廢物收集 and 垃圾收集
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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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