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 |