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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Creation

 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 e' um sub-atributo de WasteManagementAndRemediationServices

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10638-10638 HazardousWasteCollection e' um sub-atributo de WasteCollection
No TPTP formula. May not be expressible in strict first order. naics.kif 10645-10645 OtherWasteCollection e' um sub-atributo de WasteCollection
No TPTP formula. May not be expressible in strict first order. naics.kif 10631-10631 SolidWasteCollection e' um sub-atributo 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