1. Home
  2. Entities
  3. Properties
  4. pizza.owl:isToppingOf

pizza.owl:isToppingOf leaf node

URI

http://www.co-ode.org/ontologies/pizza/pizza.owl#isToppingOf

Types

owl:FunctionalProperty, owl:ObjectProperty

Label

isToppingOf

Description

Any given instance of topping should only be added to a single pizza (no cheap half-measures on our pizzas)

Inherits from

Usage

DOMAINPROPERTYRANGE
owl:Thing (inferred) pizza.owl:isToppingOf owl:Thing (inferred)

Implementation

@prefix : <http://www.co-ode.org/ontologies/pizza/pizza.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:isToppingOf a owl:FunctionalProperty,
        owl:ObjectProperty ;
    rdfs:comment "Any given instance of topping should only be added to a single pizza (no cheap half-measures on our pizzas)"@en ;
    rdfs:subPropertyOf :isIngredientOf .