No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13949-13950 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11636-11636 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11637-11637 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11640-11640 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11639-11639 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11641-11641 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11638-11638 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10195-10195 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11635-11635 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13948-13948 |
Polling is a subclass of investigating |