Food(Comida) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14918-14918 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14919-14919 | Comida e' igual a FoodForFn Humano |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14920-14920 | Comida e' uma sub-classe de Objeto auto-conectado |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14729-14729 | Nutriente e' relacionado internamente por SUMO a Comida |
No TPTP formula. May not be expressible in strict first order. | Food.kif 294-294 | FoodFromPlant e' uma sub-classe de Comida |
No TPTP formula. May not be expressible in strict first order. | Food.kif 291-291 | Carne e' uma sub-classe de Comida |
No TPTP formula. May not be expressible in strict first order. | Food.kif 308-308 | PreparedFood e' uma sub-classe de Comida |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64879-64879 | |
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 | O argumento numero 1 de roastedToTemperature e' uma instancia de Comida |
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 |
|