logic DL

Class: DomainConcept

SubclassOf: Thing %(name_2)%

DisjointWith: ValuePartition

Class: Food

SubclassOf: DomainConcept

Paraphrase: "Yummy..."

Class: Food

SubclassOf: Thing

Paraphrase: "eeeeewwwwww..."

Class: PizzaTopping

SubclassOf: Food

DisjointWith: IceCream, PizzaBase, Pizza

Class: Spiciness

SubclassOf: Thing

Class: HerbSpiceTopping

SubclassOf: PizzaTopping, hasTopping onlysome [CajunSpiceTopping]

DisjointWith: SauceTopping, FishTopping, FruitTopping, MeatTopping, NutTopping, VegetableTopping, CheeseTopping

Class: Pizza

SubclassOf: Food, hasBase some PizzaBase

DisjointWith: IceCream, PizzaTopping, PizzaBase

Class: Margherita

SubclassOf: hasTopping some TomatoTopping,

hasTopping some MozzarellaTopping,

hasTopping only (MozzarellaTopping or TomatoTopping),

NamedPizza

Class: TomatoTopping

SubclassOf: VegetableTopping, hasSpiciness some Mild

DisjointWith: RocketTopping, PetitPoisTopping, OnionTopping, SpinachTopping, PepperTopping, MushroomTopping, GarlicTopping, ArtichokeTopping, OliveTopping, CaperTopping, AsparagusTopping, LeekTopping

Class: VegetableTopping

SubclassOf: PizzaTopping

DisjointWith: CheeseTopping, NutTopping, FruitTopping, HerbSpiceTopping, SauceTopping, MeatTopping, FishTopping

ObjectProperty: hasSpiciness

Domain: Thing

Range: Spiciness

Characteristics: Functional

Class: American

SubclassOf: hasTopping some TomatoTopping,

hasTopping some PeperoniSausageTopping,

hasCountryOfOrigin has America,

hasTopping some MozzarellaTopping,

NamedPizza,

hasTopping only (MozzarellaTopping or PeperoniSausageTopping or TomatoTopping)

DisjointWith: UnclosedPizza, Soho, Caprina, Fiorentina, Napoletana, Margherita, Parmense, QuattroFormaggi, Rosa, Cajun

Class: AmericanHot

SubclassOf: hasTopping some HotGreenPepperTopping,

hasTopping some JalapenoPepperTopping,

hasTopping some TomatoTopping,

hasCountryOfOrigin has America,

hasTopping some PeperoniSausageTopping,

hasTopping some MozzarellaTopping,

NamedPizza,

hasTopping only (MozzarellaTopping or PeperoniSausageTopping or JalapenoPepperTopping or TomatoTopping or HotGreenPepperTopping)

DisjointWith: UnclosedPizza, FruttiDiMare, QuattroFormaggi, Margherita, LaReine, Giardiniera, Veneziana, Cajun, SloppyGiuseppe, FourSeasons, PolloAdAstra, Parmense, Soho, Capricciosa, PrinceCarlo, Siciliana, Rosa, Fiorentina, Napoletana, American, Caprina, Mushroom

Class: AnchoviesTopping

SubclassOf: FishTopping

DisjointWith: MixedSeafoodTopping, PrawnsTopping

Class: ArtichokeTopping

SubclassOf: VegetableTopping,

hasSpiciness some Mild

DisjointWith: GarlicTopping, MushroomTopping, OnionTopping, CaperTopping, OliveTopping, AsparagusTopping, PepperTopping, SpinachTopping, PetitPoisTopping, LeekTopping, TomatoTopping, RocketTopping

Class: AsparagusTopping

SubclassOf: VegetableTopping,

hasSpiciness some Mild

DisjointWith: LeekTopping, PepperTopping, ArtichokeTopping, GarlicTopping, PetitPoisTopping, CaperTopping, OliveTopping, SpinachTopping, MushroomTopping, OnionTopping, RocketTopping, TomatoTopping

Class: Cajun

SubclassOf: hasTopping some TomatoTopping,

hasTopping some TobascoPepperSauce,

hasTopping only (PrawnsTopping or TobascoPepperSauce or MozzarellaTopping or TomatoTopping or OnionTopping or PeperonataTopping),

hasTopping some MozzarellaTopping,

hasTopping some OnionTopping,

hasTopping some PeperonataTopping,

NamedPizza,

hasTopping some PrawnsTopping

DisjointWith: Mushroom, LaReine, Fiorentina, Napoletana, QuattroFormaggi, Caprina, AmericanHot, FruttiDiMare, Siciliana, American, FourSeasons, Veneziana, PrinceCarlo, Parmense, SloppyGiuseppe, Soho, UnclosedPizza, Giardiniera, Capricciosa, Rosa, Margherita, PolloAdAstra

Class: CajunSpiceTopping

SubclassOf: hasSpiciness some Hot,

HerbSpiceTopping

DisjointWith: RosemaryTopping

Class: CheeseyPizza

EquivalentTo:

Pizza

and hasTopping some (hasBottom some Cheese)

Class: VegetarianPizza

EquivalentTo:

Pizza and not hasPart some Meat and not hasPart some Fish

Class: MeatyMargheritaPizza

EquivalentTo:

Pizza

and hasTopping some Tomato

and hasTopping some Mozzarella

and hasTopping some SpicyBeef

Class: MargheritaPizza

EquivalentTo:

Pizza

and hasTopping some Tomato

and hasTopping some Mozzarella

and hasTopping only (Tomato or Mozzarella)

ObjectProperty: hasTopping

Domain: Pizza

Characteristics: Functional, InverseFunctional

ObjectProperty: hasTopping

Domain: Food

Characteristics: Functional

Class: Chocicecream

SubclassOf: hasTopping some Chocolate

Class: EmptyPizza

SubclassOf: Pizza and not (hasToppings some Thing)

Class: ProteinLoversPizza

EquivalentTo:

Pizza

and hasTopping only (Meat and Fish)

Class: MeatyPizza

EquivalentTo:

Pizza and hasTopping only Meat

Class: SpicyTopping

EquivalentTo:

PizzaTopping

and hasSpiciness some Spicy

SubclassOf: not isSuitable some SmallChild

Class: SpicyTopping

EquivalentTo: PizzaTopping and hasSpiciness has Pepper,

hasData some DATA