No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18330-18330 |
Defrauding e' uma sub-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18472-18472 |
Murder e' uma sub-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13898-13898 |
PoliticalCrime e' uma sub-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24157-24157 |
Raping e' uma sub-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7734-7734 |
Smuggling e' uma sub-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18607-18607 |
Stealing e' uma sub-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18313-18313 |
Trespassing e' uma sub-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17838-17838 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17837-17837 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17836-17836 |
|