consistent002
type: Ontology
comment: Derived from the DAML Wine ontology at http://ontolingua.stanford.edu/doc/chimaera/ontologies/wines.daml Substantially modified.
imports: consistent001

Juice
type: Class
subclass of: PotableLiquid
subclass of: Restriction
  on property: madeFromFruit
  min cardinality: 1

MealCourse
type: Class
subclass of: ConsumableThing
subclass of: Restriction
  on property: hasFood
  min cardinality: 1
subclass of: Restriction
  on property: hasDrink
  min cardinality: 1
subclass of: Restriction
  on property: hasDrink
  all values from: Wine
disjoint with: PotableLiquid
disjoint with: EdibleThing

Meal
type: Class
subclass of: ConsumableThing
subclass of: Restriction
  on property: course
  min cardinality: 1
subclass of: Restriction
  on property: course
  all values from: MealCourse
disjoint with: MealCourse
disjoint with: PotableLiquid
disjoint with: EdibleThing