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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SolidWasteDisposal

 Sigma KEE - SolidWasteDisposal
SolidWasteDisposal(solid waste disposal)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 6872-6872
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7920-7920
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7921-7921
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7922-7922
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7923-7923
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7924-7924
No TPTP formula. May not be expressible in strict first order. Geography.kif 2921-2921 Solid waste disposal is a subclass of sanitation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53882-53882
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53881-53881
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53880-53880


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