| (=> (subclass ?BF ButterFat) (initialPart ?BF Milk)) |
Food.kif 2936-2938 | |
| (subclass Milk LiquidBodySubstance) | Mid-level-ontology.kif 10863-10863 | Milk は LiquidBodySubstance の subclass では %n |
| (subclass CowMilk Milk) | Food.kif 2841-2841 | CowMilk は Milk の subclass では %n |
| (subclass GoatMilk Milk) | Food.kif 3038-3038 | GoatMilk は Milk の subclass では %n |
| (subclass SheepMilk Milk) | Food.kif 3048-3048 | SheepMilk は Milk の subclass では %n |
| (subclass WaterBuffaloMilk Milk) | Food.kif 3052-3052 | WaterBuffaloMilk は Milk の subclass では %n |
| (subclass YakMilk Milk) | Food.kif 3056-3056 | YakMilk は Milk の subclass では %n |
|
|