No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7735-7736 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6868-6868 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7903-7903 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7906-7906 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7905-7905 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7904-7904 |
|
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 7733-7733 |
Smuggling e' uma sub-classe de Transporte |