1. Home
  2. Entities
  3. Properties
  4. bedeo:has_clause

bedeo:has_clause leaf node

URI

https://csse.utoronto.ca/has_clause

Label

Has clause

Usage

DOMAINPROPERTYRANGE
bedeo:LogicalFormula bedeo:has_clause bedeo:LogicalFormula

Implementation

@prefix bedeo: <https://csse.utoronto.ca/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

bedeo:has_clause a owl:ObjectProperty ;
    rdfs:label "Has clause"@en ;
    rdfs:domain bedeo:LogicalFormula ;
    rdfs:range bedeo:LogicalFormula .