@prefix ns1: <http://w3id.org/opino/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

ns1:concludesThat a owl:ObjectProperty ;
    rdfs:label "concludes that"@en ;
    rdfs:comment "A relation from a premise Predication to the Predication that is concluded from it. A Predication with an incoming concludesThat is classified as a Conclusion, and chains of concludesThat give the inferential path."@en ;
    rdfs:domain ns1:Predication ;
    rdfs:isDefinedBy "http://w3id.org/opino/"^^xsd:anyURI ;
    rdfs:range ns1:Predication ;
    rdfs:subPropertyOf ns1:relatesToPredication ;
    owl:inverseOf ns1:isConcludedBy .