No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18303-18303 |
Defrauding is a subclass of criminal action |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18445-18445 |
Murder is a subclass of criminal action |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13871-13871 |
Political crime is a subclass of criminal action |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24100-24100 |
Raping is a subclass of criminal action |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7707-7707 |
Smuggling is a subclass of criminal action |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18580-18580 |
Stealing is a subclass of criminal action |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18286-18286 |
Trespassing is a subclass of criminal action |
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 |
|