No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1090-1093 |
|
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 1089-1089 |
Turning on device is a subclass of internal change |