Class: NonVegetarianPizza

"Any Pizza that is not a VegetarianPizza" [lang: en]

•owl:Thing

•DomainConcept

•Pizza

•NonVegetarianPizza

Equivalent Classes (Necessary and Sufficient Conditions)

NOT(VegetarianPizza)

Pizza

Disjoint Classes

VegetarianPizza

Annotations

rdfs:label

"PizzaNaoVegetariana" [lang: pt]

Abstract Syntax

Class(NonVegetarianPizza complete annotation(rdfs:label "PizzaNaoVegetariana"@pt)
                                 annotation(rdfs:comment "Any Pizza that is not a VegetarianPizza"@en)
                                 complementOf(VegetarianPizza)
                                 Pizza)

DisjointClasses(NonVegetarianPizza VegetarianPizza)

Usage

Class Description/Definition (Necessary Conditions)

NonVegetarianPizza

Generated with OWLDoc