No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3989-3989 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12102-12102 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10317-10317 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12098-12098 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12101-12101 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12104-12104 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12099-12099 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12100-12100 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3988-3988 |
Underground area is a subclass of geographic area |