No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22184-22185 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6652-6652 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7149-7149 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7150-7150 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7151-7151 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7152-7152 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7153-7153 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22183-22183 |
Knight is an instance of social role |