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 |
BostonMassachusetts est une instance de AmericanCity |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 724-724 |
BostonMassachusetts est une partie de Massachusetts |