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 18421-18442 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12270-12270 | 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 10427-10427 | Ferir e' uma sub-classe de Causar Dano |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12276-12276 | Destrucao e' uma sub-classe de Causar Dano |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12498-12498 | 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 |