No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20950-20950 |
|
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 20949-20949 |
Police facility is a subclass of building |