No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14456-14458 |
|
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 14455-14455 |
VideoRecording est une sous-classe de Recording |