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 equal food for 人类 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14874-14874 | Food 是 自身连接物体 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14683-14683 | 营养 和 Food 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 294-294 | FoodFromPlant 是 Food 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 291-291 | Meat 是 Food 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 308-308 | 已准备食物 是 Food 的 subclass |
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 数量 是 Food 的 instance |
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 |