@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix obo_purl: <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_purl:IAO_0000602
obo_purl:IAO_0000111 "has associated axiom(fol)"@en ;
obo_purl:IAO_0000117 "Person:Alan Ruttenberg"@en ;
obo_purl:IAO_0000119 "Person:Alan Ruttenberg"@en ;
obo_purl:IAO_0000600 "An axiom expressed in first order logic using CLIF syntax"@en ;
a owl:AnnotationProperty ;
rdfs:isDefinedBy <http://purl.obolibrary.org/obo/iao.owl> ;
rdfs:label "has associated axiom(fol)"@en .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix obo_purl: <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_purl:IAO_0000602
obo_purl:IAO_0000111 "has associated axiom(fol)"@en ;
obo_purl:IAO_0000117 "Person:Alan Ruttenberg"@en ;
obo_purl:IAO_0000119 "Person:Alan Ruttenberg"@en ;
obo_purl:IAO_0000600 "An axiom expressed in first order logic using CLIF syntax"@en ;
a owl:AnnotationProperty ;
rdfs:isDefinedBy <http://purl.obolibrary.org/obo/iao.owl> ;
rdfs:label "has associated axiom(fol)"@en .