No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1083-1086 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10314-10314 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12085-12085 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12089-12089 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12088-12088 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12087-12087 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12086-12086 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1082-1082 |
TurningOnDevice est une sous-classe de changement interne |