No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 48-56 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16023-16023 | Arma e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 131-131 | NuclearWeapon e' uma sub-classe de Arma |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 632-632 | HighPrecisionWeapon e' uma sub-classe de Arma |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 653-653 | AntiArmorWeapon e' uma sub-classe de Arma |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1113-1113 | Projectile e' uma sub-classe de Arma |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1131-1131 | ProjectileLauncher e' uma sub-classe de Arma |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1147-1147 | Spear e' uma sub-classe de Arma |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1151-1151 | Sword e' uma sub-classe de Arma |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1155-1155 | Whip e' uma sub-classe de Arma |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1160-1160 | Gun e' uma sub-classe de Arma |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1449-1449 | WeaponOfMassDestruction e' uma sub-classe de Arma |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17857-17857 | ExplosiveMine e' uma sub-classe de Arma |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21823-21823 | Bomb e' uma sub-classe de Arma |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22055-22055 | Mortar e' uma sub-classe de Arma |