Bullet |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1176-1176 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 301-301 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1175-1175 | Bullet e' uma sub-classe de Projectile |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12323-12323 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12322-12322 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12321-12321 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1177-1185 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1117-1122 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1192-1200 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1205-1215 |
|