No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14429-14431 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8225-8225 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6960-6960 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8221-8221 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8222-8222 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8218-8218 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8220-8220 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8219-8219 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8217-8217 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8224-8224 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8223-8223 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14428-14428 |
VideoRecording e' uma sub-classe de Recording |