No TPTP formula. May not be expressible in strict first order. | Food.kif 2936-2938 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10863-10863 | Milk is a subclass of liquid body substance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2841-2841 | Sheep milk is a subclass of milk |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3038-3038 | Goat milk is a subclass of milk |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3048-3048 | SheepMilk is a subclass of milk |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3052-3052 | Water buffalo milk is a subclass of milk |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3056-3056 | Yak milk is a subclass of milk |