1. Home
  2. Entities
  3. Properties
  4. has associated axiom(fol)

has associated axiom(fol) leaf node

URI

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

Label

has associated axiom(fol)

Usage

DOMAINPROPERTYRANGE
owl:Thing (inferred) has associated axiom(fol) 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_0000602 a owl:AnnotationProperty ;
    rdfs:label "has associated axiom(fol)"@en ;
    obo:IAO_0000111 "has associated axiom(fol)"@en ;
    obo:IAO_0000117 "Person:Alan Ruttenberg"@en ;
    obo:IAO_0000119 "Person:Alan Ruttenberg"@en ;
    obo:IAO_0000600 "An axiom expressed in first order logic using CLIF syntax"@en ;
    rdfs:isDefinedBy <http://purl.bioontology.org/ontology/emro/imports/omo_import.owl> .