Class: TestPizza

•owl:Thing
        •PizzaDomainConcept
                •Pizza
                        •TestPizza

Super Classes

Pizza

Disjoint Classes

VegePizzaWithAccidentalDisjoint

Abstract Syntax

Class(TestPizza partial Pizza)

DisjointClasses(TestPizza VegePizzaWithAccidentalDisjoint)

Usage

Class Description/Definition (Necessary Conditions)

ClosedPizza, EmptyPizza, OneToppingPizza, OpenPizza
Generated with OWLDoc