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 | Processed milk is a subclass of beverage |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2828-2828 | Processed milk is a subclass of sheep milk |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2826-2826 | Processed milk is a subclass of dairy product |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10863-10863 | Milk is internally related to processed milk |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1227-1227 | Milk foam is a subclass of processed milk |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2964-2964 | One percent milk is a subclass of processed milk |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2988-2988 | Semi skimmed milk is a subclass of processed milk |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3013-3013 | Skimmed milk is a subclass of processed milk |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2940-2940 | Two percent milk is a subclass of processed milk |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2845-2845 | Whole milk is a subclass of processed milk |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2830-2830 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1181-1188 |
|