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 |
|