No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20923-20923 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2316-2316 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1925-1925 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2315-2315 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20922-20922 |
Police facility is a subclass of building |