No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22478-22479 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 638-638 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2273-2273 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2271-2271 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1874-1874 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2272-2272 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2270-2270 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22477-22477 |
Office building is a subclass of building |