No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18595-18595 | Robbing e' uma sub-classe de Stealing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21885-21885 | Hijacking e' uma sub-classe de Robbing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21943-21943 | Kidnapping e' uma sub-classe de Robbing |