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 数量 是 Meal 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1899-1899 |
MealAttributeFn 的 2 数量 是 地区 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1891-1891 |
MealAttributeFn 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1900-1900 |
MealAttributeFn 的 range 是 关联属性 的实例 |