|
|
   MustardGas
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 493-496 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7385-7385 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7386-7386 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6715-6715 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7387-7387 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31548-31548 | roomTempState MustardGas and Gas |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 492-492 | MustardGas e' uma sub-classe de BlisterAgent |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 503-503 | NitrogenMustardGas e' uma sub-classe de MustardGas |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 498-498 | SulphurMustardGas e' uma sub-classe de MustardGas |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39459-39459 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39458-39458 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39457-39457 |
|
|
|
