No TPTP formula. May not be expressible in strict first order. |
Food.kif 2311-2311 |
initialPart FleshOrPulp and fruit ou v�g�tal |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2596-2596 |
initialPart Juice and fruit ou v�g�tal |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2297-2297 |
initialPart PeelOrRind and fruit ou v�g�tal |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2391-2391 |
Broccoli est une sous-classe de fruit ou v�g�tal |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4470-4470 |
EdibleNut est une sous-classe de fruit ou v�g�tal |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2175-2175 |
Fruit est une sous-classe de fruit ou v�g�tal |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4486-4486 |
Groundnut est une sous-classe de fruit ou v�g�tal |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2154-2154 |
Herb est une sous-classe de fruit ou v�g�tal |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4336-4336 |
Legume est une sous-classe de fruit ou v�g�tal |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2684-2684 |
Mushroom est une sous-classe de fruit ou v�g�tal |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4287-4287 |
RootVegetable est une sous-classe de fruit ou v�g�tal |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3358-3358 |
Scallion est une sous-classe de fruit ou v�g�tal |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4706-4706 |
TeaPlantAerialPart est une sous-classe de fruit ou v�g�tal |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4206-4206 |
Vegetable est une sous-classe de fruit ou v�g�tal |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1014-1014 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1240-1240 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 692-692 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 223-223 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 226-226 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2375-2375 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 644-644 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 261-261 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 713-713 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 227-227 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |