No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15191-15192 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11869-11869 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10261-10261 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11870-11870 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11868-11868 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15190-15190 |
Skylight is a subclass of window |