|
|
   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 液體 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2639-2639 | 子類 DDT and CompoundSubstance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2641-2641 | DDT 是 "DDT" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2640-2640 | 名 "dichoro-diphenyl-trichloro-ethane" and DDT |
| 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 |
|
|
|
