No TPTP formula. May not be expressible in strict first order. | Merge.kif 10282-10282 | Manger est une sous-classe de ing�rer |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2767-2767 | Overgrazing est une sous-classe de manger |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 35-35 | Suhur est une sous-classe de manger |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 89-89 | Iftar est une sous-classe de manger |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 325-325 | Aqiqah est une sous-classe de manger |
![]() |