ProcessedMilk |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2829-2829 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2827-2827 | 子類 ProcessedMilk and Beverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2828-2828 | 子類 ProcessedMilk and CowMilk |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2826-2826 | 子類 ProcessedMilk and 乳製品 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10864-10864 | 相關的內部概念 奶 and ProcessedMilk |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1227-1227 | 子類 MilkFoam and ProcessedMilk |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2964-2964 | 子類 OnePercentMilk and ProcessedMilk |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2988-2988 | 子類 SemiSkimmedMilk and ProcessedMilk |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3013-3013 | 子類 SkimmedMilk and ProcessedMilk |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2940-2940 | 子類 TwoPercentMilk and ProcessedMilk |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2845-2845 | 子類 WholeMilk and ProcessedMilk |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2830-2830 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1190-1205 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1218-1225 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1207-1216 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2832-2839 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1181-1188 |