| NoxiousSubstance(noxious substance)
| | baneful, deadly, innocuous, noxious, pernicious, pestilent, vesicant, vesicatory |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2764-2765 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9477-9477 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2762-2762 | Noxious substance is a subclass of substance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41313-41313 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41312-41312 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41311-41311 |
|
|
|