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 WasteCollection est un sous-attribut de WasteManagementAndRemediationServices

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10638-10638 HazardousWasteCollection est un sous-attribut de WasteCollection
No TPTP formula. May not be expressible in strict first order. naics.kif 10645-10645 OtherWasteCollection est un sous-attribut de WasteCollection
No TPTP formula. May not be expressible in strict first order. naics.kif 10631-10631 SolidWasteCollection est un sous-attribut de WasteCollection
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