No TPTP formula. May not be expressible in strict first order. |
Food.kif 1892-1895 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1898-1898 |
域 MealAttributeFn, 1 and Meal |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1899-1899 |
域 MealAttributeFn, 2 and Region |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1891-1891 |
例 MealAttributeFn and BinaryFunction |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1900-1900 |
範圍 MealAttributeFn and RelationalAttribute |