No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19216-19217 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6952-6952 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8189-8189 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8191-8191 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8192-8192 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8193-8193 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8194-8194 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8195-8195 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8196-8196 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8197-8197 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8198-8198 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8199-8199 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8200-8200 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19215-19215 |
Upstairs is an instance of positional attribute |