Food |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14872-14872 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14873-14873 | 等於 Food and food for Human |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14874-14874 | 子類 Food and SelfConnectedObject |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14683-14683 | 相關的內部概念 Nutrient and Food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 294-294 | 子類 FoodFromPlant and Food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 291-291 | 子類 Meat and Food |
No TPTP formula. May not be expressible in strict first order. | Food.kif 308-308 | 子類 已準備食物 and Food |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64877-64877 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 690-690 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 221-221 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 224-224 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 642-642 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 226-226 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 259-259 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 711-711 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 225-225 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 464-464 | 域 roastedToTemperature, 1 and Food |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 437-445 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 96-105 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 411-418 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 425-435 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 191-201 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 128-151 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 24-28 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 84-94 |