No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2262-2263 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 362-362 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1515-1515 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2261-2261 |
Compass is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2260-2260 |
Compass is a subclass of device |