No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 725-725 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6194-6194 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6176-6176 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4560-4560 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6177-6177 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6195-6195 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6178-6178 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6179-6179 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6180-6180 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6181-6181 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6182-6182 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6183-6183 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6184-6184 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6185-6185 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6186-6186 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6191-6191 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6192-6192 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6193-6193 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 723-723 |
例 馬薩諸塞州波士頓 and 美國城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 724-724 |
部分 馬薩諸塞州波士頓 and 馬薩諸塞 |