|
|
   DDT
|
|
|
| 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 e' uma sub-classe de Substancia Composta |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2641-2641 | abbreviation "DDT" and DDT |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2640-2640 | DDT se chama nome "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 |
|
|
|
