No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 35-43 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18420-18441 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12292-12292 | Causar Dano e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 220-220 | Sabotage e' uma sub-classe de Causar Dano |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10449-10449 | Ferir e' uma sub-classe de Causar Dano |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12298-12298 | Destrucao e' uma sub-classe de Causar Dano |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12520-12520 | Breaking e' uma sub-classe de Causar Dano |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2715-2715 | ForestDamage e' uma sub-classe de Causar Dano |