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 1161-1161 | Gun e' uma sub-classe de ProjectileLauncher |