No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22403-22403 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2202-2202 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2201-2201 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1787-1787 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2200-2200 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2203-2203 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2204-2204 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22402-22402 |
Government building is a subclass of building |