1. Home
  2. Entities
  3. Properties
  4. first order logic expression

first order logic expression leaf node

URI

http://purl.obolibrary.org/obo/IAO_0000426

Label

first order logic expression

Usage

DOMAINPROPERTYRANGE
owl:Thing (inferred) first order logic expression owl:Thing (inferred)

Implementation

@prefix obo: <http://purl.obolibrary.org/obo/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

obo:IAO_0000426 a owl:AnnotationProperty ;
    rdfs:label "first order logic expression"@en ;
    obo:IAO_0000111 "first order logic expression"@en ;
    obo:IAO_0000117 "PERSON:Alan Ruttenberg"@en ;
    rdfs:isDefinedBy <http://purl.bioontology.org/ontology/emro/imports/omo_import.owl> .