Prefix(a:=<http://www.co-ode.org/ontologies/pizza/2006/07/18/pizza.owl#>)
Ontology(<http://www.co-ode.org/ontologies/pizza/2006/07/18/pizza.owl>
Imports(<http://protege.stanford.edu/plugins/owl/protege>)
SubClassOf(a:Cajun ObjectSomeValuesFrom(a:hasTopping a:TobascoPepperSauce))
DisjointClasses(a:FruitTopping a:VegetableTopping)
DisjointClasses(a:PrinceCarlo a:American)
DisjointClasses(a:GarlicTopping a:SpinachTopping)
SubClassOf(a:PrinceCarlo ObjectSomeValuesFrom(a:hasTopping a:LeekTopping))
SubClassOf(a:PrinceCarlo ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
SubClassOf(a:HotGreenPepperTopping a:GreenPepperTopping)
DisjointClasses(a:LaReine a:Mushroom)
DisjointClasses(a:TomatoTopping a:PepperTopping)
SubClassOf(a:RocketTopping ObjectSomeValuesFrom(a:hasSpiciness a:Medium))
DisjointClasses(a:Margherita a:Siciliana)
DisjointClasses(a:FourSeasons a:Caprina)
DisjointClasses(a:PrinceCarlo a:Napoletana)
SubClassOf(a:Giardiniera ObjectSomeValuesFrom(a:hasTopping a:SlicedTomatoTopping))
SubClassOf(a:AmericanHot ObjectHasValue(a:hasCountryOfOrigin a:America))
DisjointClasses(a:Veneziana a:Fiorentina)
DisjointClasses(a:OnionTopping a:OliveTopping)
DisjointClasses(a:Siciliana a:Giardiniera)
SubClassOf(a:TobascoPepperSauce a:SauceTopping)
SubClassOf(a:FruttiDiMare ObjectSomeValuesFrom(a:hasTopping a:MixedSeafoodTopping))
DisjointClasses(a:PolloAdAstra a:Caprina)
SubClassOf(a:Margherita ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:TomatoTopping a:MozzarellaTopping)))
ObjectPropertyDomain(a:hasIngredient a:Food)
SubClassOf(a:SloppyGiuseppe ObjectSomeValuesFrom(a:hasTopping a:MozzarellaTopping))
DisjointClasses(a:Giardiniera a:Mushroom)
DisjointClasses(a:Siciliana a:SloppyGiuseppe)
SubClassOf(a:AmericanHot ObjectSomeValuesFrom(a:hasTopping a:MozzarellaTopping))
SubClassOf(a:Capricciosa ObjectSomeValuesFrom(a:hasTopping a:MozzarellaTopping))
SubClassOf(a:FourSeasons ObjectSomeValuesFrom(a:hasTopping a:CaperTopping))
DisjointClasses(a:UnclosedPizza a:Mushroom)
SubClassOf(a:Mushroom ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
DisjointClasses(a:LaReine a:SloppyGiuseppe)
DisjointClasses(a:UnclosedPizza a:Caprina)
SubClassOf(a:SweetPepperTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
DisjointClasses(a:American a:Soho)
SubClassOf(a:AmericanHot ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
DisjointClasses(a:Siciliana a:Soho)
DisjointClasses(a:Veneziana a:Napoletana)
DisjointClasses(a:TomatoTopping a:AsparagusTopping)
DisjointClasses(a:PolloAdAstra a:Margherita)
DisjointClasses(a:Pizza a:IceCream)
DisjointClasses(a:FruttiDiMare a:QuattroFormaggi)
SubClassOf(a:SlicedTomatoTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
DisjointClasses(a:Margherita a:UnclosedPizza)
DisjointClasses(a:Siciliana a:UnclosedPizza)
DisjointClasses(a:Giardiniera a:UnclosedPizza)
DisjointClasses(a:Fiorentina a:Caprina)
DisjointClasses(a:Giardiniera a:AmericanHot)
SubClassOf(a:Margherita ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
SubClassOf(a:PeperonataTopping ObjectSomeValuesFrom(a:hasSpiciness a:Medium))
DisjointClasses(a:SpinachTopping a:MushroomTopping)
DisjointClasses(a:PrinceCarlo a:Cajun)
SubClassOf(a:PetitPoisTopping a:VegetableTopping)
DisjointClasses(a:Parmense a:Cajun)
DisjointClasses(a:RocketTopping a:CaperTopping)
SubClassOf(a:VegetableTopping a:PizzaTopping)
DisjointClasses(a:QuattroFormaggi a:Caprina)
DisjointClasses(a:TomatoTopping a:RocketTopping)
DifferentIndividuals(a:Germany a:Italy a:America a:France a:England)
DisjointClasses(a:AmericanHot a:Mushroom)
SubClassOf(a:Capricciosa ObjectSomeValuesFrom(a:hasTopping a:AnchoviesTopping))
SubClassOf(a:RocketTopping a:VegetableTopping)
DisjointClasses(a:RocketTopping a:LeekTopping)
SubClassOf(a:SpinachTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
DisjointClasses(a:Margherita a:Rosa)
SubClassOf(a:Siciliana ObjectSomeValuesFrom(a:hasTopping a:OliveTopping))
DisjointClasses(a:Cajun a:Napoletana)
SubClassOf(a:Pizza ObjectSomeValuesFrom(a:hasBase a:PizzaBase))
SubClassOf(a:ParmesanTopping a:CheeseTopping)
DisjointClasses(a:Hot a:Medium)
DisjointClasses(a:Caprina a:AmericanHot)
DisjointClasses(a:Parmense a:FruttiDiMare)
SubClassOf(a:QuattroFormaggi ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:TomatoTopping a:FourCheesesTopping)))
TransitiveObjectProperty(a:isIngredientOf)
DisjointClasses(a:HotSpicedBeefTopping a:HamTopping)
DisjointClasses(a:LeekTopping a:CaperTopping)
DisjointClasses(a:PolloAdAstra a:Fiorentina)
DisjointClasses(a:American a:Caprina)
DisjointClasses(a:Margherita a:Giardiniera)
DisjointClasses(a:GreenPepperTopping a:SweetPepperTopping)
ObjectPropertyRange(a:hasSpiciness a:Spiciness)
DisjointClasses(a:Capricciosa a:Caprina)
SubClassOf(a:Capricciosa ObjectSomeValuesFrom(a:hasTopping a:PeperonataTopping))
SubClassOf(a:Giardiniera ObjectSomeValuesFrom(a:hasTopping a:MushroomTopping))
DisjointClasses(a:American a:Napoletana)
EquivalentClasses(a:VegetarianPizzaEquivalent2 ObjectIntersectionOf(ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:HerbSpiceTopping a:NutTopping a:FruitTopping a:VegetableTopping a:SauceTopping a:CheeseTopping)) a:Pizza))
SubClassOf(a:FourCheesesTopping a:CheeseTopping)
DisjointClasses(a:TomatoTopping a:OnionTopping)
FunctionalObjectProperty(a:hasBase)
DisjointClasses(a:Napoletana a:UnclosedPizza)
DisjointClasses(a:FruttiDiMare a:Napoletana)
DisjointClasses(a:Cajun a:AmericanHot)
EquivalentClasses(a:VegetarianPizza ObjectIntersectionOf(ObjectComplementOf(ObjectSomeValuesFrom(a:hasTopping a:FishTopping)) a:Pizza ObjectComplementOf(ObjectSomeValuesFrom(a:hasTopping a:MeatTopping))))
DisjointClasses(a:American a:Capricciosa)
DisjointClasses(a:GarlicTopping a:PetitPoisTopping)
DisjointClasses(a:Cajun a:UnclosedPizza)
SubClassOf(a:Fiorentina ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
ObjectPropertyDomain(a:isToppingOf a:PizzaTopping)
DisjointClasses(a:Napoletana a:Mushroom)
DisjointClasses(a:RocketTopping a:SpinachTopping)
EquivalentClasses(a:CheeseyPizza ObjectIntersectionOf(ObjectSomeValuesFrom(a:hasTopping a:CheeseTopping) a:Pizza))
SubClassOf(a:Soho ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:GarlicTopping a:TomatoTopping a:MozzarellaTopping a:RocketTopping a:ParmesanTopping a:OliveTopping)))
DisjointClasses(a:LaReine a:Capricciosa)
DisjointClasses(a:Cajun a:FourSeasons)
SubClassOf(a:Caprina ObjectSomeValuesFrom(a:hasTopping a:GoatsCheeseTopping))
DisjointClasses(a:Parmense a:Margherita)
SubClassOf(a:PolloAdAstra ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
EquivalentClasses(a:Country ObjectIntersectionOf(a:DomainConcept ObjectOneOf(a:Germany a:Italy a:America a:France a:England)))
SubClassOf(a:SundriedTomatoTopping a:TomatoTopping)
DisjointClasses(a:Soho a:SloppyGiuseppe)
DisjointClasses(a:FruttiDiMare a:SloppyGiuseppe)
SubClassOf(a:PrinceCarlo ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:RosemaryTopping a:TomatoTopping a:MozzarellaTopping a:ParmesanTopping a:LeekTopping)))
SubClassOf(a:LaReine ObjectSomeValuesFrom(a:hasTopping a:OliveTopping))
DisjointClasses(a:CaperTopping a:MushroomTopping)
DisjointClasses(a:PrinceCarlo a:PolloAdAstra)
SubClassOf(a:MozzarellaTopping ObjectHasValue(a:hasCountryOfOrigin a:Italy))
InverseFunctionalObjectProperty(a:hasTopping)
DisjointClasses(a:PrinceCarlo a:Giardiniera)
SubClassOf(a:FourSeasons ObjectSomeValuesFrom(a:hasTopping a:OliveTopping))
SubClassOf(a:OliveTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
SubClassOf(a:HotSpicedBeefTopping a:MeatTopping)
DisjointClasses(a:FishTopping a:VegetableTopping)
DisjointClasses(a:Rosa a:Mushroom)
DisjointClasses(a:Rosa a:SloppyGiuseppe)
ObjectPropertyRange(a:isBaseOf a:Pizza)
DisjointClasses(a:Fiorentina a:FourSeasons)
DisjointClasses(a:Soho a:Mushroom)
DisjointClasses(a:OnionTopping a:LeekTopping)
DisjointClasses(a:MeatTopping a:SauceTopping)
SubClassOf(a:Soho ObjectSomeValuesFrom(a:hasTopping a:MozzarellaTopping))
SubClassOf(a:ParmaHamTopping a:HamTopping)
DisjointClasses(a:Cajun a:Caprina)
DisjointClasses(a:TomatoTopping a:CaperTopping)
SubClassOf(a:FourSeasons ObjectSomeValuesFrom(a:hasTopping a:MushroomTopping))
DisjointClasses(a:Parmense a:American)
SubClassOf(a:Fiorentina ObjectSomeValuesFrom(a:hasTopping a:SpinachTopping))
DisjointClasses(a:FruttiDiMare a:Fiorentina)
SubClassOf(a:Napoletana ObjectSomeValuesFrom(a:hasTopping a:AnchoviesTopping))
SubClassOf(a:OliveTopping a:VegetableTopping)
EquivalentClasses(a:VegetarianPizzaEquivalent1 ObjectIntersectionOf(a:Pizza ObjectAllValuesFrom(a:hasTopping a:VegetarianTopping)))
DisjointClasses(a:UnclosedPizza a:AmericanHot)
DisjointClasses(a:GarlicTopping a:CaperTopping)
SubClassOf(a:American ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
DisjointClasses(a:Margherita a:QuattroFormaggi)
SubClassOf(a:Fiorentina ObjectSomeValuesFrom(a:hasTopping a:MozzarellaTopping))
SubClassOf(a:Capricciosa ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:AnchoviesTopping a:PeperonataTopping a:TomatoTopping a:MozzarellaTopping a:HamTopping a:CaperTopping a:OliveTopping)))
SubClassOf(a:PepperTopping a:VegetableTopping)
DisjointClasses(a:PrinceCarlo a:LaReine)
SubClassOf(a:RosemaryTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
SubClassOf(a:Veneziana ObjectSomeValuesFrom(a:hasTopping a:OnionTopping))
SubClassOf(a:Giardiniera ObjectSomeValuesFrom(a:hasTopping a:OliveTopping))
SubClassOf(a:AnchoviesTopping a:FishTopping)
EquivalentClasses(a:SpicyTopping ObjectIntersectionOf(ObjectSomeValuesFrom(a:hasSpiciness a:Hot) a:PizzaTopping))
DisjointClasses(a:ArtichokeTopping a:PepperTopping)
SubClassOf(a:Rosa ObjectSomeValuesFrom(a:hasTopping a:MozzarellaTopping))
SubClassOf(a:JalapenoPepperTopping ObjectSomeValuesFrom(a:hasSpiciness a:Hot))
DisjointClasses(a:FruttiDiMare a:Giardiniera)
DisjointClasses(a:PizzaBase a:PizzaTopping)
SubClassOf(a:PineKernels a:NutTopping)
SubClassOf(a:LeekTopping a:VegetableTopping)
SubClassOf(a:CheeseTopping a:PizzaTopping)
DisjointClasses(a:NutTopping a:FruitTopping)
ObjectPropertyDomain(a:hasBase a:Pizza)
DisjointClasses(a:NutTopping a:VegetableTopping)
SubClassOf(a:Napoletana ObjectSomeValuesFrom(a:hasTopping a:CaperTopping))
SubClassOf(a:LaReine ObjectSomeValuesFrom(a:hasTopping a:MushroomTopping))
DisjointClasses(a:GoatsCheeseTopping a:ParmesanTopping)
DisjointClasses(a:Fiorentina a:American)
DisjointClasses(a:Parmense a:Napoletana)
DisjointClasses(a:TomatoTopping a:SpinachTopping)
SubClassOf(a:Veneziana ObjectSomeValuesFrom(a:hasTopping a:MozzarellaTopping))
SubClassOf(a:Parmense ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
SubClassOf(a:FishTopping a:PizzaTopping)
DisjointClasses(a:MushroomTopping a:OliveTopping)
SubClassOf(a:Medium a:Spiciness)
DisjointClasses(a:UnclosedPizza a:SloppyGiuseppe)
DisjointClasses(a:Giardiniera a:SloppyGiuseppe)
EquivalentClasses(ObjectIntersectionOf(a:Pizza ObjectHasValue(a:hasCountryOfOrigin a:Italy)) a:RealItalianPizza)
DisjointClasses(a:FruttiDiMare a:Caprina)
SubClassOf(a:Caprina ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:GoatsCheeseTopping a:TomatoTopping a:MozzarellaTopping a:SundriedTomatoTopping)))
DisjointClasses(a:Fiorentina a:LaReine)
DisjointClasses(a:FruttiDiMare a:LaReine)
SubClassOf(a:Soho a:NamedPizza)
DisjointClasses(a:PeperonataTopping a:JalapenoPepperTopping)
DisjointClasses(a:Margherita a:AmericanHot)
FunctionalObjectProperty(a:isBaseOf)
SubClassOf(a:Caprina a:NamedPizza)
DisjointClasses(a:HerbSpiceTopping a:SauceTopping)
DisjointClasses(a:LaReine a:AmericanHot)
DisjointClasses(a:Veneziana a:Cajun)
SubClassOf(a:MushroomTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
DisjointClasses(a:LaReine a:UnclosedPizza)
SubClassOf(a:Rosa ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
SubClassOf(a:Soho ObjectSomeValuesFrom(a:hasTopping a:RocketTopping))
DisjointClasses(a:Veneziana a:Soho)
ObjectPropertyDomain(a:isBaseOf a:PizzaBase)
DisjointClasses(a:RosemaryTopping a:CajunSpiceTopping)
DisjointClasses(a:Margherita a:Capricciosa)
DisjointClasses(a:Margherita a:FourSeasons)
DisjointClasses(a:QuattroFormaggi a:Mushroom)
DisjointClasses(a:NutTopping a:CheeseTopping)
DisjointClasses(a:Cajun a:SloppyGiuseppe)
DisjointClasses(a:FourCheesesTopping a:ParmesanTopping)
SubClassOf(a:SloppyGiuseppe ObjectSomeValuesFrom(a:hasTopping a:GreenPepperTopping))
DisjointClasses(a:Capricciosa a:Mushroom)
DisjointClasses(a:PolloAdAstra a:Cajun)
SubClassOf(a:Rosa a:NamedPizza)
DisjointClasses(a:Napoletana a:Capricciosa)
SubClassOf(a:SloppyGiuseppe ObjectSomeValuesFrom(a:hasTopping a:HotSpicedBeefTopping))
DisjointClasses(a:American a:AmericanHot)
DisjointClasses(a:PetitPoisTopping a:RocketTopping)
SubObjectPropertyOf(a:isBaseOf a:isBaseOf)
DisjointClasses(a:Napoletana a:Giardiniera)
SubClassOf(a:HotSpicedBeefTopping ObjectSomeValuesFrom(a:hasSpiciness a:Hot))
DisjointClasses(a:OnionTopping a:AsparagusTopping)
DisjointClasses(a:Cajun a:Capricciosa)
SubClassOf(a:TobascoPepperSauce ObjectSomeValuesFrom(a:hasSpiciness a:Hot))
DisjointClasses(a:Cajun a:Fiorentina)
SubClassOf(a:Veneziana ObjectSomeValuesFrom(a:hasTopping a:SultanaTopping))
DisjointClasses(a:PrinceCarlo a:Rosa)
ClassAssertion(a:Country a:England)
SubClassOf(a:ArtichokeTopping a:VegetableTopping)
DisjointClasses(a:Giardiniera a:QuattroFormaggi)
DisjointClasses(a:Veneziana a:Caprina)
SubClassOf(a:FishTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
DisjointClasses(a:FruttiDiMare a:Margherita)
DisjointClasses(a:HerbSpiceTopping a:NutTopping)
DisjointClasses(a:Napoletana a:SloppyGiuseppe)
DisjointClasses(a:AsparagusTopping a:SpinachTopping)
DisjointClasses(a:GorgonzolaTopping a:ParmesanTopping)
ClassAssertion(a:Country a:Italy)
ObjectPropertyRange(a:hasIngredient a:Food)
DisjointClasses(a:Margherita a:Napoletana)
SubClassOf(a:Cajun ObjectSomeValuesFrom(a:hasTopping a:OnionTopping))
DisjointClasses(a:FruttiDiMare a:Cajun)
FunctionalObjectProperty(a:hasSpiciness)
SubClassOf(a:OnionTopping a:VegetableTopping)
DisjointClasses(a:Siciliana a:AmericanHot)
DisjointClasses(a:Rosa a:Napoletana)
SubClassOf(a:Capricciosa ObjectSomeValuesFrom(a:hasTopping a:OliveTopping))
SubClassOf(a:Capricciosa ObjectSomeValuesFrom(a:hasTopping a:HamTopping))
SubClassOf(a:Spiciness a:ValuePartition)
DisjointClasses(a:Rosa a:American)
SubClassOf(a:LaReine a:NamedPizza)
SubClassOf(a:Rosa ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:TomatoTopping a:GorgonzolaTopping a:MozzarellaTopping)))
SubClassOf(a:LaReine ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
DisjointClasses(a:OnionTopping a:CaperTopping)
DisjointClasses(a:GarlicTopping a:TomatoTopping)
DisjointClasses(a:Parmense a:Mushroom)
DisjointClasses(a:PolloAdAstra a:Siciliana)
DisjointClasses(a:American a:Giardiniera)
ObjectPropertyDomain(a:hasTopping a:Pizza)
SubClassOf(a:AsparagusTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
DisjointClasses(a:Napoletana a:QuattroFormaggi)
DisjointClasses(a:PolloAdAstra a:AmericanHot)
DisjointClasses(a:Medium a:Mild)
SubClassOf(a:Hot a:Spiciness)
SubClassOf(a:American ObjectHasValue(a:hasCountryOfOrigin a:America))
DisjointClasses(a:JalapenoPepperTopping a:SweetPepperTopping)
SubObjectPropertyOf(a:hasTopping a:hasTopping)
SubClassOf(a:FruttiDiMare a:NamedPizza)
DisjointClasses(a:LeekTopping a:MushroomTopping)
SubClassOf(a:Parmense ObjectSomeValuesFrom(a:hasTopping a:AsparagusTopping))
SubClassOf(a:FourSeasons a:NamedPizza)
SubClassOf(a:FruttiDiMare ObjectSomeValuesFrom(a:hasTopping a:GarlicTopping))
SubClassOf(a:SweetPepperTopping a:PepperTopping)
SubClassOf(a:Mushroom ObjectSomeValuesFrom(a:hasTopping a:MushroomTopping))
SubClassOf(a:Siciliana ObjectSomeValuesFrom(a:hasTopping a:ArtichokeTopping))
DisjointClasses(a:PetitPoisTopping a:ArtichokeTopping)
SubClassOf(a:RedOnionTopping a:OnionTopping)
SubClassOf(a:PrinceCarlo a:NamedPizza)
DisjointClasses(a:TomatoTopping a:PetitPoisTopping)
DisjointClasses(a:VegetarianPizza a:NonVegetarianPizza)
SubClassOf(a:Fiorentina ObjectSomeValuesFrom(a:hasTopping a:GarlicTopping))
DisjointClasses(a:Cajun a:LaReine)
SubClassOf(a:SauceTopping a:PizzaTopping)
DisjointClasses(a:LaReine a:Napoletana)
DisjointClasses(a:PolloAdAstra a:Rosa)
DisjointClasses(a:NutTopping a:SauceTopping)
SubClassOf(a:Siciliana ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
DisjointClasses(a:TomatoTopping a:OliveTopping)
DisjointClasses(a:HerbSpiceTopping a:CheeseTopping)
DisjointClasses(a:LeekTopping a:OliveTopping)
DisjointClasses(a:Fiorentina a:QuattroFormaggi)
DisjointClasses(a:Rosa a:LaReine)
DisjointClasses(a:PrinceCarlo a:SloppyGiuseppe)
SubClassOf(a:HamTopping a:MeatTopping)
SubClassOf(a:IceCream a:Food)
SubClassOf(a:Giardiniera a:NamedPizza)
SubClassOf(a:Siciliana a:NamedPizza)
DisjointClasses(a:HerbSpiceTopping a:VegetableTopping)
SubClassOf(a:PizzaTopping a:Food)
SubClassOf(a:Capricciosa ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
DisjointClasses(a:PepperTopping a:MushroomTopping)
DisjointClasses(a:VegetableTopping a:CheeseTopping)
DisjointClasses(a:GarlicTopping a:OnionTopping)
SubClassOf(a:ParmaHamTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
SubClassOf(a:Capricciosa a:NamedPizza)
SubClassOf(a:QuattroFormaggi a:NamedPizza)
DisjointClasses(a:FourSeasons a:Capricciosa)
DisjointClasses(a:Parmense a:AmericanHot)
DisjointClasses(a:Veneziana a:PolloAdAstra)
DisjointClasses(a:Cajun a:Mushroom)
TransitiveObjectProperty(a:hasIngredient)
SubClassOf(a:NutTopping a:PizzaTopping)
SubClassOf(a:Veneziana a:NamedPizza)
DisjointClasses(a:GarlicTopping a:OliveTopping)
SubClassOf(a:PeperoniSausageTopping ObjectSomeValuesFrom(a:hasSpiciness a:Medium))
SubClassOf(a:FourSeasons ObjectSomeValuesFrom(a:hasTopping a:MozzarellaTopping))
DisjointClasses(a:Veneziana a:American)
DisjointClasses(a:Rosa a:Giardiniera)
SubClassOf(a:Caprina ObjectSomeValuesFrom(a:hasTopping a:MozzarellaTopping))
DisjointClasses(a:CaperTopping a:OliveTopping)
DisjointClasses(a:PolloAdAstra a:Capricciosa)
DisjointClasses(a:IceCream a:PizzaTopping)
DisjointClasses(a:FruttiDiMare a:PrinceCarlo)
DisjointClasses(a:Napoletana a:FourSeasons)
SubClassOf(a:PolloAdAstra ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:GarlicTopping a:TomatoTopping a:ChickenTopping a:MozzarellaTopping a:RedOnionTopping a:SweetPepperTopping a:CajunSpiceTopping)))
DisjointClasses(a:Fiorentina a:Napoletana)
SubClassOf(a:AmericanHot a:NamedPizza)
DisjointClasses(a:GarlicTopping a:RocketTopping)
DisjointClasses(a:HerbSpiceTopping a:MeatTopping)
SubClassOf(a:Veneziana ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:TomatoTopping a:OnionTopping a:MozzarellaTopping a:SultanaTopping a:CaperTopping a:OliveTopping a:PineKernels)))
DisjointClasses(a:ArtichokeTopping a:OliveTopping)
SubClassOf(a:American ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:TomatoTopping a:PeperoniSausageTopping a:MozzarellaTopping)))
DisjointClasses(a:Parmense a:PrinceCarlo)
DisjointClasses(a:Parmense a:Siciliana)
SubClassOf(a:Veneziana ObjectSomeValuesFrom(a:hasTopping a:CaperTopping))
EquivalentClasses(ObjectIntersectionOf(a:Pizza ObjectAllValuesFrom(a:hasBase a:ThinAndCrispyBase)) a:ThinAndCrispyPizza)
DisjointClasses(a:DomainConcept a:ValuePartition)
SubClassOf(a:Napoletana ObjectSomeValuesFrom(a:hasTopping a:OliveTopping))
DisjointClasses(a:PolloAdAstra a:QuattroFormaggi)
SubClassOf(a:GoatsCheeseTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
SubClassOf(a:FourSeasons ObjectSomeValuesFrom(a:hasTopping a:AnchoviesTopping))
DisjointClasses(a:Parmense a:SloppyGiuseppe)
DisjointClasses(a:Fiorentina a:AmericanHot)
DisjointClasses(a:AsparagusTopping a:MushroomTopping)
DisjointClasses(a:Rosa a:QuattroFormaggi)
SubClassOf(a:Veneziana ObjectSomeValuesFrom(a:hasTopping a:PineKernels))
DisjointClasses(a:Fiorentina a:Mushroom)
SubClassOf(a:AmericanHot ObjectSomeValuesFrom(a:hasTopping a:HotGreenPepperTopping))
DisjointClasses(a:TomatoTopping a:LeekTopping)
SubClassOf(a:Siciliana ObjectSomeValuesFrom(a:hasTopping a:AnchoviesTopping))
DisjointClasses(a:ThinAndCrispyBase a:DeepPanBase)
DisjointClasses(a:Siciliana a:Caprina)
SubClassOf(a:Napoletana a:NamedPizza)
SubClassOf(a:AmericanHot ObjectSomeValuesFrom(a:hasTopping a:PeperoniSausageTopping))
SubClassOf(a:DeepPanBase a:PizzaBase)
DisjointClasses(a:Capricciosa a:SloppyGiuseppe)
SubClassOf(a:UnclosedPizza a:NamedPizza)
DisjointClasses(a:FishTopping a:MeatTopping)
DisjointClasses(a:Pizza a:PizzaBase)
DisjointClasses(a:Pizza a:PizzaTopping)
DisjointClasses(a:American a:UnclosedPizza)
DisjointClasses(a:Cajun a:Rosa)
SubClassOf(a:NutTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
DisjointClasses(a:GoatsCheeseTopping a:GorgonzolaTopping)
SubClassOf(a:ThinAndCrispyBase a:PizzaBase)
DisjointClasses(a:FruttiDiMare a:Capricciosa)
SubClassOf(a:Mushroom ObjectSomeValuesFrom(a:hasTopping a:MozzarellaTopping))
SubClassOf(a:LeekTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
DisjointClasses(a:LaReine a:Caprina)
DisjointClasses(a:Veneziana a:UnclosedPizza)
DisjointClasses(a:Soho a:Capricciosa)
DisjointClasses(a:LaReine a:Giardiniera)
DisjointClasses(a:Veneziana a:Siciliana)
DisjointClasses(a:PepperTopping a:SpinachTopping)
SubClassOf(a:GorgonzolaTopping a:CheeseTopping)
DisjointClasses(a:LaReine a:Soho)
DisjointClasses(a:Fiorentina a:Soho)
EquivalentClasses(ObjectIntersectionOf(ObjectSomeValuesFrom(a:hasTopping a:MeatTopping) a:Pizza) a:MeatyPizza)
DisjointClasses(a:Margherita a:SloppyGiuseppe)
DisjointClasses(a:Rosa a:UnclosedPizza)
DisjointClasses(a:ChickenTopping a:HamTopping)
DisjointClasses(a:ArtichokeTopping a:CaperTopping)
EquivalentClasses(ObjectIntersectionOf(a:Pizza ObjectSomeValuesFrom(a:hasTopping a:SpicyTopping)) a:SpicyPizza)
SubClassOf(a:PolloAdAstra ObjectSomeValuesFrom(a:hasTopping a:ChickenTopping))
DisjointClasses(a:Napoletana a:AmericanHot)
SubClassOf(a:LaReine ObjectSomeValuesFrom(a:hasTopping a:HamTopping))
DisjointClasses(a:AsparagusTopping a:CaperTopping)
DisjointClasses(a:RocketTopping a:OliveTopping)
SubClassOf(a:Soho ObjectSomeValuesFrom(a:hasTopping a:OliveTopping))
SubClassOf(a:Mushroom ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:TomatoTopping a:MozzarellaTopping a:MushroomTopping)))
DisjointClasses(a:PolloAdAstra a:Mushroom)
SubClassOf(a:FruttiDiMare ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:GarlicTopping a:MixedSeafoodTopping a:TomatoTopping)))
SubClassOf(a:NamedPizza a:Pizza)
DisjointClasses(a:Siciliana a:Capricciosa)
DisjointClasses(a:Parmense a:Soho)
SubClassOf(a:FruttiDiMare ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
SubClassOf(a:SloppyGiuseppe ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:GreenPepperTopping a:TomatoTopping a:OnionTopping a:HotSpicedBeefTopping a:MozzarellaTopping)))
DisjointClasses(a:PrinceCarlo a:Fiorentina)
SubClassOf(a:Parmense ObjectSomeValuesFrom(a:hasTopping a:MozzarellaTopping))
DisjointClasses(a:GoatsCheeseTopping a:FourCheesesTopping)
SubClassOf(a:SpinachTopping a:VegetableTopping)
DisjointClasses(a:American a:SloppyGiuseppe)
ObjectPropertyRange(a:isIngredientOf a:Food)
DisjointClasses(a:RocketTopping a:MushroomTopping)
SubClassOf(a:Giardiniera ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
DisjointClasses(a:Siciliana a:FourSeasons)
DisjointClasses(a:Margherita a:Caprina)
DisjointClasses(a:Rosa a:FourSeasons)
SubClassOf(a:ChickenTopping a:MeatTopping)
DisjointClasses(a:PrinceCarlo a:UnclosedPizza)
SubClassOf(a:PolloAdAstra ObjectSomeValuesFrom(a:hasTopping a:SweetPepperTopping))
DisjointClasses(a:GorgonzolaTopping a:MozzarellaTopping)
SubClassOf(a:CajunSpiceTopping ObjectSomeValuesFrom(a:hasSpiciness a:Hot))
DisjointClasses(a:FourSeasons a:QuattroFormaggi)
DisjointClasses(a:VegetableTopping a:SauceTopping)
DisjointClasses(a:AnchoviesTopping a:PrawnsTopping)
DisjointClasses(a:QuattroFormaggi a:Capricciosa)
EquivalentClasses(ObjectIntersectionOf(a:Pizza ObjectMinCardinality(3 a:hasTopping)) a:InterestingPizza)
SubClassOf(a:PrinceCarlo ObjectSomeValuesFrom(a:hasTopping a:MozzarellaTopping))
SubClassOf(a:IceCream ObjectSomeValuesFrom(a:hasTopping a:FruitTopping))
ObjectPropertyRange(a:hasBase a:PizzaBase)
SubClassOf(a:Cajun ObjectSomeValuesFrom(a:hasTopping a:MozzarellaTopping))
DisjointClasses(a:PrinceCarlo a:Caprina)
SubClassOf(a:Napoletana ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
SubClassOf(a:Food a:DomainConcept)
DisjointClasses(a:PepperTopping a:CaperTopping)
DisjointClasses(a:Soho a:UnclosedPizza)
DisjointClasses(a:FruttiDiMare a:FourSeasons)
DisjointClasses(a:Veneziana a:PrinceCarlo)
DisjointClasses(a:Veneziana a:QuattroFormaggi)
SubObjectPropertyOf(a:isToppingOf a:isToppingOf)
SubClassOf(a:American ObjectSomeValuesFrom(a:hasTopping a:PeperoniSausageTopping))
DisjointClasses(a:Soho a:Giardiniera)
DisjointClasses(a:Giardiniera a:Caprina)
SubClassOf(a:Napoletana ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:AnchoviesTopping a:TomatoTopping a:MozzarellaTopping a:CaperTopping a:OliveTopping)))
DisjointClasses(a:FruitTopping a:CheeseTopping)
SubClassOf(a:LaReine ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:TomatoTopping a:MozzarellaTopping a:HamTopping a:MushroomTopping a:OliveTopping)))
SubClassOf(a:CajunSpiceTopping a:HerbSpiceTopping)
DisjointClasses(a:SpinachTopping a:CaperTopping)
DisjointClasses(a:Soho a:AmericanHot)
DisjointClasses(a:PolloAdAstra a:American)
SubClassOf(a:ChickenTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
SubClassOf(a:Giardiniera ObjectSomeValuesFrom(a:hasTopping a:MozzarellaTopping))
SubClassOf(a:Veneziana ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
DisjointClasses(a:Cajun a:Giardiniera)
SubClassOf(a:Giardiniera ObjectSomeValuesFrom(a:hasTopping a:LeekTopping))
DisjointClasses(a:LaReine a:QuattroFormaggi)
DisjointClasses(a:Veneziana a:FourSeasons)
DisjointClasses(a:OnionTopping a:MushroomTopping)
DisjointClasses(a:SauceTopping a:CheeseTopping)
SubClassOf(a:Margherita a:NamedPizza)
DisjointClasses(a:PolloAdAstra a:LaReine)
DisjointClasses(a:GarlicTopping a:MushroomTopping)
DisjointClasses(a:FishTopping a:CheeseTopping)
DisjointClasses(a:Cajun a:American)
DisjointClasses(a:Rosa a:Soho)
SubClassOf(a:AsparagusTopping a:VegetableTopping)
SubClassOf(a:ArtichokeTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
DisjointClasses(a:Siciliana a:LaReine)
SubClassOf(a:QuattroFormaggi ObjectSomeValuesFrom(a:hasTopping a:FourCheesesTopping))
DisjointClasses(a:TomatoTopping a:ArtichokeTopping)
SubClassOf(a:Mushroom a:NamedPizza)
DisjointClasses(a:PetitPoisTopping a:CaperTopping)
DisjointClasses(a:PetitPoisTopping a:MushroomTopping)
DisjointClasses(a:OnionTopping a:RocketTopping)
DisjointClasses(a:NutTopping a:MeatTopping)
DisjointClasses(a:MozzarellaTopping a:FourCheesesTopping)
DisjointClasses(a:HerbSpiceTopping a:FruitTopping)
SubClassOf(a:Caprina ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
DisjointClasses(a:PrinceCarlo a:Siciliana)
DisjointClasses(a:Parmense a:Giardiniera)
DisjointClasses(a:MeatTopping a:VegetableTopping)
SubClassOf(a:Soho ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
DisjointClasses(a:Siciliana a:American)
DisjointClasses(a:PrinceCarlo a:QuattroFormaggi)
DisjointClasses(a:Parmense a:UnclosedPizza)
SubClassOf(a:GarlicTopping ObjectSomeValuesFrom(a:hasSpiciness a:Medium))
SubClassOf(a:Giardiniera ObjectSomeValuesFrom(a:hasTopping a:PeperonataTopping))
SubClassOf(a:Siciliana ObjectSomeValuesFrom(a:hasTopping a:HamTopping))
DisjointClasses(a:Soho a:Napoletana)
DisjointClasses(a:PepperTopping a:RocketTopping)
DisjointClasses(a:Parmense a:Rosa)
DisjointClasses(a:FourSeasons a:AmericanHot)
SubClassOf(a:Fiorentina ObjectSomeValuesFrom(a:hasTopping a:OliveTopping))
DisjointClasses(a:FruttiDiMare a:Soho)
SubClassOf(a:Margherita ObjectSomeValuesFrom(a:hasTopping a:MozzarellaTopping))
SubClassOf(a:Veneziana ObjectHasValue(a:hasCountryOfOrigin a:Italy))
DisjointClasses(a:Caprina a:Mushroom)
ClassAssertion(a:Country a:France)
DisjointClasses(a:Siciliana a:QuattroFormaggi)
DisjointClasses(a:FourSeasons a:UnclosedPizza)
DisjointClasses(a:PrinceCarlo a:FourSeasons)
DisjointClasses(a:Veneziana a:Capricciosa)
SubClassOf(a:Caprina ObjectSomeValuesFrom(a:hasTopping a:SundriedTomatoTopping))
DisjointClasses(a:AnchoviesTopping a:MixedSeafoodTopping)
DisjointClasses(a:OnionTopping a:ArtichokeTopping)
DisjointClasses(a:Parmense a:FourSeasons)
DisjointClasses(a:OnionTopping a:PetitPoisTopping)
SubClassOf(a:RosemaryTopping a:HerbSpiceTopping)
DisjointClasses(a:MeatTopping a:FruitTopping)
SubClassOf(a:American ObjectSomeValuesFrom(a:hasTopping a:MozzarellaTopping))
DisjointClasses(a:OnionTopping a:PepperTopping)
InverseFunctionalObjectProperty(a:hasBase)
DisjointClasses(a:SpinachTopping a:LeekTopping)
DisjointClasses(a:Veneziana a:SloppyGiuseppe)
DisjointClasses(a:SloppyGiuseppe a:Mushroom)
DisjointClasses(a:Rosa a:Capricciosa)
DisjointClasses(a:FourSeasons a:Giardiniera)
SubClassOf(a:PrinceCarlo ObjectSomeValuesFrom(a:hasTopping a:RosemaryTopping))
SubClassOf(a:Siciliana ObjectSomeValuesFrom(a:hasTopping a:GarlicTopping))
SubClassOf(a:Siciliana ObjectSomeValuesFrom(a:hasTopping a:MozzarellaTopping))
InverseFunctionalObjectProperty(a:isBaseOf)
DisjointClasses(a:RocketTopping a:AsparagusTopping)
DisjointClasses(a:Siciliana a:Mushroom)
DisjointClasses(a:Margherita a:Fiorentina)
ObjectPropertyRange(a:hasTopping a:PizzaTopping)
DisjointClasses(a:IceCream a:PizzaBase)
SubClassOf(a:SundriedTomatoTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
SubClassOf(a:Cajun a:NamedPizza)
SubClassOf(a:Parmense a:NamedPizza)
DisjointClasses(a:OnionTopping a:SpinachTopping)
SubClassOf(a:GarlicTopping a:VegetableTopping)
DisjointClasses(a:Veneziana a:LaReine)
SubClassOf(a:AmericanHot ObjectSomeValuesFrom(a:hasTopping a:JalapenoPepperTopping))
SubClassOf(a:Giardiniera ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:SlicedTomatoTopping a:TomatoTopping a:PeperonataTopping a:PetitPoisTopping a:MozzarellaTopping a:LeekTopping a:MushroomTopping a:OliveTopping)))
DisjointClasses(a:PepperTopping a:OliveTopping)
SubClassOf(a:CaperTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
SubClassOf(a:Giardiniera ObjectSomeValuesFrom(a:hasTopping a:PetitPoisTopping))
SubClassOf(a:GoatsCheeseTopping a:CheeseTopping)
SubClassOf(a:CheeseyVegetableTopping a:CheeseTopping)
DisjointClasses(a:Margherita a:LaReine)
SubClassOf(a:RealItalianPizza ObjectAllValuesFrom(a:hasBase a:ThinAndCrispyBase))
DisjointClasses(a:PeperoniSausageTopping a:HotSpicedBeefTopping)
SubClassOf(a:CaperTopping a:VegetableTopping)
DisjointClasses(a:Parmense a:LaReine)
SubClassOf(a:GorgonzolaTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
DisjointClasses(a:Veneziana a:Giardiniera)
SubClassOf(a:AmericanHot ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:TomatoTopping a:PeperoniSausageTopping a:MozzarellaTopping a:HotGreenPepperTopping a:JalapenoPepperTopping)))
SubClassOf(a:Capricciosa ObjectSomeValuesFrom(a:hasTopping a:CaperTopping))
DisjointClasses(a:Fiorentina a:Rosa)
EquivalentClasses(ObjectIntersectionOf(a:Pizza ObjectComplementOf(a:VegetarianPizza)) a:NonVegetarianPizza)
ClassAssertion(a:Country a:America)
DisjointClasses(a:AsparagusTopping a:OliveTopping)
DisjointClasses(a:PetitPoisTopping a:AsparagusTopping)
SubClassOf(a:Rosa ObjectSomeValuesFrom(a:hasTopping a:GorgonzolaTopping))
DisjointClasses(a:ArtichokeTopping a:SpinachTopping)
SubClassOf(a:PolloAdAstra ObjectSomeValuesFrom(a:hasTopping a:GarlicTopping))
SubClassOf(a:Fiorentina ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:GarlicTopping a:TomatoTopping a:MozzarellaTopping a:SpinachTopping a:ParmesanTopping a:OliveTopping)))
DisjointClasses(a:GarlicTopping a:LeekTopping)
SubClassOf(a:Siciliana ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:GarlicTopping a:AnchoviesTopping a:TomatoTopping a:ArtichokeTopping a:MozzarellaTopping a:HamTopping a:OliveTopping)))
DisjointClasses(a:FruttiDiMare a:UnclosedPizza)
DisjointClasses(a:Margherita a:Mushroom)
DisjointClasses(a:GreenPepperTopping a:JalapenoPepperTopping)
SubClassOf(a:Fiorentina a:NamedPizza)
DisjointClasses(a:Soho a:QuattroFormaggi)
SubClassOf(a:Parmense ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:TomatoTopping a:HamTopping a:MozzarellaTopping a:AsparagusTopping a:ParmesanTopping)))
DisjointClasses(a:PolloAdAstra a:SloppyGiuseppe)
SubClassOf(a:Cajun ObjectSomeValuesFrom(a:hasTopping a:PrawnsTopping))
DisjointClasses(a:PepperTopping a:AsparagusTopping)
DisjointClasses(a:Hot a:Mild)
SubClassOf(a:Fiorentina ObjectSomeValuesFrom(a:hasTopping a:ParmesanTopping))
DisjointClasses(a:NutTopping a:FishTopping)
DisjointClasses(a:HotSpicedBeefTopping a:ChickenTopping)
SubClassOf(a:Parmense ObjectSomeValuesFrom(a:hasTopping a:ParmesanTopping))
DisjointClasses(a:Parmense a:Caprina)
SubClassOf(a:FourCheesesTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
DisjointClasses(a:American a:QuattroFormaggi)
SubClassOf(a:FourSeasons ObjectSomeValuesFrom(a:hasTopping a:PeperoniSausageTopping))
SubClassOf(a:FourSeasons ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:AnchoviesTopping a:TomatoTopping a:PeperoniSausageTopping a:MozzarellaTopping a:MushroomTopping a:CaperTopping a:OliveTopping)))
DisjointClasses(a:PrinceCarlo a:Soho)
ObjectPropertyDomain(a:isIngredientOf a:Food)
DisjointClasses(a:GreenPepperTopping a:PeperonataTopping)
DisjointClasses(a:PepperTopping a:LeekTopping)
DisjointClasses(a:GorgonzolaTopping a:FourCheesesTopping)
SubClassOf(a:PolloAdAstra ObjectSomeValuesFrom(a:hasTopping a:RedOnionTopping))
DisjointClasses(a:American a:FourSeasons)
SubClassOf(a:UnclosedPizza ObjectSomeValuesFrom(a:hasTopping a:MozzarellaTopping))
EquivalentClasses(ObjectIntersectionOf(ObjectUnionOf(a:HerbSpiceTopping a:NutTopping a:FruitTopping a:VegetableTopping a:SauceTopping a:CheeseTopping) a:PizzaTopping) a:VegetarianTopping)
SubClassOf(a:PolloAdAstra ObjectSomeValuesFrom(a:hasTopping a:CajunSpiceTopping))
SubClassOf(a:HerbSpiceTopping a:PizzaTopping)
DisjointClasses(a:SloppyGiuseppe a:Caprina)
DisjointClasses(a:FruttiDiMare a:Siciliana)
DisjointClasses(a:PrinceCarlo a:AmericanHot)
DisjointClasses(a:GarlicTopping a:ArtichokeTopping)
DisjointClasses(a:MeatTopping a:CheeseTopping)
DisjointClasses(a:Veneziana a:Rosa)
DisjointClasses(a:Soho a:FourSeasons)
FunctionalObjectProperty(a:isToppingOf)
DisjointClasses(a:QuattroFormaggi a:AmericanHot)
DisjointClasses(a:GarlicTopping a:PepperTopping)
SubClassOf(a:Soho ObjectSomeValuesFrom(a:hasTopping a:GarlicTopping))
DisjointClasses(a:Cajun a:Siciliana)
DisjointClasses(a:AsparagusTopping a:LeekTopping)
DisjointClasses(a:Rosa a:AmericanHot)
DisjointClasses(a:PetitPoisTopping a:SpinachTopping)
SubClassOf(a:HotGreenPepperTopping ObjectSomeValuesFrom(a:hasSpiciness a:Hot))
SubClassOf(a:MixedSeafoodTopping a:FishTopping)
SubClassOf(a:SultanaTopping ObjectSomeValuesFrom(a:hasSpiciness a:Medium))
DisjointClasses(a:SlicedTomatoTopping a:SundriedTomatoTopping)
SubClassOf(a:PrinceCarlo ObjectSomeValuesFrom(a:hasTopping a:ParmesanTopping))
ObjectPropertyRange(a:isToppingOf a:Pizza)
DisjointClasses(a:SpinachTopping a:OliveTopping)
DisjointClasses(a:PolloAdAstra a:Giardiniera)
SubClassOf(a:Napoletana ObjectSomeValuesFrom(a:hasTopping a:MozzarellaTopping))
SubClassOf(a:Veneziana ObjectSomeValuesFrom(a:hasTopping a:OliveTopping))
DisjointClasses(a:ArtichokeTopping a:RocketTopping)
DisjointClasses(a:TomatoTopping a:MushroomTopping)
DisjointClasses(a:PeperoniSausageTopping a:ChickenTopping)
DisjointClasses(a:MozzarellaTopping a:ParmesanTopping)
DisjointClasses(a:PeperoniSausageTopping a:HamTopping)
DisjointClasses(a:Cajun a:Soho)
SubClassOf(a:American a:NamedPizza)
DisjointClasses(a:Veneziana a:FruttiDiMare)
DisjointClasses(a:UnclosedPizza a:QuattroFormaggi)
DisjointClasses(a:FruitTopping a:SauceTopping)
DisjointClasses(a:Veneziana a:Mushroom)
DisjointClasses(a:Fiorentina a:Giardiniera)
SubClassOf(a:Cajun ObjectAllValuesFrom(a:hasTopping ObjectUnionOf(a:TomatoTopping a:PeperonataTopping a:PrawnsTopping a:OnionTopping a:MozzarellaTopping a:TobascoPepperSauce)))
SubClassOf(a:SultanaTopping a:FruitTopping)
DisjointClasses(a:FourSeasons a:Mushroom)
DisjointClasses(a:ArtichokeTopping a:LeekTopping)
DisjointClasses(a:Fiorentina a:Capricciosa)
SubObjectPropertyOf(a:hasBase a:hasBase)
SubClassOf(a:SloppyGiuseppe ObjectSomeValuesFrom(a:hasTopping a:OnionTopping))
ClassAssertion(a:Country a:Germany)
DisjointClasses(a:American a:Mushroom)
DisjointClasses(a:Giardiniera a:Capricciosa)
DisjointClasses(a:Fiorentina a:Siciliana)
SubClassOf(a:PetitPoisTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
DisjointClasses(a:GarlicTopping a:AsparagusTopping)
DisjointClasses(a:PolloAdAstra a:FourSeasons)
SubClassOf(a:MozzarellaTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
DisjointClasses(a:Margherita a:Cajun)
DisjointClasses(a:PeperonataTopping a:SweetPepperTopping)
DisjointClasses(a:MixedSeafoodTopping a:PrawnsTopping)
DisjointClasses(a:Fiorentina a:SloppyGiuseppe)
SubClassOf(a:CheeseyVegetableTopping a:VegetableTopping)
DisjointClasses(a:PolloAdAstra a:Soho)
DisjointClasses(a:Fiorentina a:UnclosedPizza)
SubClassOf(a:SlicedTomatoTopping a:TomatoTopping)
DisjointClasses(a:SloppyGiuseppe a:AmericanHot)
EquivalentClasses(ObjectUnionOf(a:Hot a:Medium a:Mild) a:Spiciness)
DisjointClasses(a:Siciliana a:Rosa)
DisjointClasses(a:PetitPoisTopping a:OliveTopping)
DisjointClasses(a:Margherita a:American)
SubClassOf(a:QuattroFormaggi ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
DisjointClasses(a:Veneziana a:AmericanHot)
DisjointClasses(a:Rosa a:Caprina)
DisjointClasses(a:PolloAdAstra a:UnclosedPizza)
DisjointClasses(a:FruttiDiMare a:Mushroom)
DisjointClasses(a:PrinceCarlo a:Mushroom)
DisjointClasses(a:ArtichokeTopping a:MushroomTopping)
SubClassOf(a:SloppyGiuseppe a:NamedPizza)
SubClassOf(a:Cajun ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
DisjointClasses(a:FruttiDiMare a:PolloAdAstra)
DisjointClasses(a:PrinceCarlo a:Capricciosa)
EquivalentClasses(ObjectIntersectionOf(a:Pizza ObjectSomeValuesFrom(a:hasTopping ObjectIntersectionOf(ObjectSomeValuesFrom(a:hasSpiciness a:Hot) a:PizzaTopping))) a:SpicyPizzaEquivalent)
DisjointClasses(a:FruttiDiMare a:American)
SubClassOf(a:TomatoTopping a:VegetableTopping)
SubClassOf(a:TomatoTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
DisjointClasses(a:FishTopping a:SauceTopping)
DisjointClasses(a:American a:LaReine)
SubClassOf(a:MeatTopping a:PizzaTopping)
DisjointClasses(a:Capricciosa a:AmericanHot)
DisjointClasses(a:Veneziana a:Margherita)
SubClassOf(a:Cajun ObjectSomeValuesFrom(a:hasTopping a:PeperonataTopping))
SubClassOf(a:PolloAdAstra ObjectSomeValuesFrom(a:hasTopping a:MozzarellaTopping))
DisjointClasses(a:GoatsCheeseTopping a:MozzarellaTopping)
SubClassOf(a:Mild a:Spiciness)
SubClassOf(a:PeperonataTopping a:PepperTopping)
SubClassOf(a:Pizza a:Food)
DisjointClasses(a:QuattroFormaggi a:SloppyGiuseppe)
SubClassOf(a:PolloAdAstra a:NamedPizza)
DisjointClasses(a:PetitPoisTopping a:PepperTopping)
DisjointClasses(a:HerbSpiceTopping a:FishTopping)
DisjointClasses(a:Parmense a:Fiorentina)
SubClassOf(a:JalapenoPepperTopping a:PepperTopping)
DisjointClasses(a:Siciliana a:Napoletana)
DisjointClasses(a:FishTopping a:FruitTopping)
DisjointClasses(a:FruttiDiMare a:AmericanHot)
DisjointClasses(a:PetitPoisTopping a:LeekTopping)
DisjointClasses(a:ArtichokeTopping a:AsparagusTopping)
SubClassOf(a:GreenPepperTopping a:PepperTopping)
SubClassOf(a:FruitTopping a:PizzaTopping)
SubClassOf(a:Soho ObjectSomeValuesFrom(a:hasTopping a:ParmesanTopping))
DisjointClasses(a:Napoletana a:Caprina)
DisjointClasses(a:Parmense a:Capricciosa)
SubClassOf(a:Parmense ObjectSomeValuesFrom(a:hasTopping a:HamTopping))
SubClassOf(a:Napoletana ObjectHasValue(a:hasCountryOfOrigin a:Italy))
DisjointClasses(a:Soho a:Caprina)
DisjointClasses(a:PolloAdAstra a:Napoletana)
DisjointClasses(a:Parmense a:QuattroFormaggi)
DisjointClasses(a:LaReine a:FourSeasons)
SubClassOf(a:LaReine ObjectSomeValuesFrom(a:hasTopping a:MozzarellaTopping))
DisjointClasses(a:Parmense a:PolloAdAstra)
SubClassOf(a:SloppyGiuseppe ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
DisjointClasses(a:FourSeasons a:SloppyGiuseppe)
SubClassOf(a:PizzaBase a:Food)
SubClassOf(a:FourSeasons ObjectSomeValuesFrom(a:hasTopping a:TomatoTopping))
DisjointClasses(a:Cajun a:QuattroFormaggi)
DisjointClasses(a:UnclosedPizza a:Capricciosa)
SubClassOf(a:OnionTopping ObjectSomeValuesFrom(a:hasSpiciness a:Medium))
DisjointClasses(a:Margherita a:Soho)
SubClassOf(a:PeperoniSausageTopping a:MeatTopping)
SubClassOf(a:MushroomTopping a:VegetableTopping)
DisjointClasses(a:PrinceCarlo a:Margherita)
SubClassOf(a:MozzarellaTopping a:CheeseTopping)
SubClassOf(a:ParmesanTopping ObjectSomeValuesFrom(a:hasSpiciness a:Mild))
DisjointClasses(a:Veneziana a:Parmense)
SubClassOf(a:PrawnsTopping a:FishTopping)
DisjointClasses(a:FruttiDiMare a:Rosa)
)