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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DDT

 Sigma KEE - DDT
DDT(DDT)
DDT, dichlorodiphenyltrichloroethane

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2643-2645
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1089-1089
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31591-31591 roomTempState DDT and liquid
No TPTP formula. May not be expressible in strict first order. Geography.kif 2639-2639 DDT is a subclass of compound substance

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2641-2641 "DDT" is an abbreviation of DDT
No TPTP formula. May not be expressible in strict first order. Geography.kif 2640-2640 DDT has name "dichoro-diphenyl-trichloro-ethane"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18720-18720
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18719-18719
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18718-18718


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