No TPTP formula. May not be expressible in strict first order. |
Food.kif 1941-1941 |
meatOfAnimal FishMeat and poisson |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2535-2535 |
Cod est une sous-classe de poisson |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4926-4926 |
OrnamentalFish est une sous-classe de poisson |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2536-2536 |
Salmon est une sous-classe de poisson |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3403-3403 |
Skate est une sous-classe de poisson |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3518-3518 |
Tuna est une sous-classe de poisson |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 989-989 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1185-1185 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 666-666 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 197-197 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 200-200 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2350-2350 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 618-618 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 202-202 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 234-234 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 687-687 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 201-201 |
|