No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3713-3713 |
Furniture e' disjunto 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 21823-21823 |
Bomb 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 1160-1160 |
Gun 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. |
Mid-level-ontology.kif 22055-22055 |
Mortar e' uma sub-classe de Arma |
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. |
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 1449-1449 |
WeaponOfMassDestruction 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. |
chinese_format.kif 1059-1059 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1329-1329 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 737-737 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 268-268 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 271-271 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2421-2421 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 689-689 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 273-273 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 307-307 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 758-758 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |