No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18303-18304 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6904-6904 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8003-8003 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8004-8004 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8005-8005 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8006-8006 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8007-8007 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8008-8008 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8009-8009 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8010-8010 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18302-18302 |
Suicide e' uma sub-classe de Matar |