No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 167-167 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3137-3137 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3138-3138 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2968-2968 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3135-3135 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3139-3139 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3136-3136 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3134-3134 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 166-166 |
HumanSlave e' uma instancia de Role Social |