No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18302-18302 |
Defrauding est une sous-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18444-18444 |
Murder est une sous-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13870-13870 |
PoliticalCrime est une sous-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24099-24099 |
Raping est une sous-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7706-7706 |
Smuggling est une sous-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18579-18579 |
Stealing est une sous-classe de CriminalAction |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18285-18285 |
Trespassing est une sous-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 |
|