@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ns0: <http://www.w3.org/2000/10/swap/log#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
ns0:conclusion
a owl:ObjectProperty ;
rdfs:comment """All possible conclusions which can be drawn from a formula.
The object of this function, a formula, is the set of conclusions which can be
drawn from the subject formula, by successively applying any
rules it contains to the data it contains. This is equivalent to
cwm's \"--think\" command line function. It does use built-ins, so
it may for example indirectly invoke other documents, validate
signatures, etc.
""" ;
rdfs:domain ns0:Formula ;
rdfs:label "conclusion" ;
rdfs:range ns0:Formula .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ns0: <http://www.w3.org/2000/10/swap/log#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
ns0:conclusion
a owl:ObjectProperty ;
rdfs:comment """All possible conclusions which can be drawn from a formula.
The object of this function, a formula, is the set of conclusions which can be
drawn from the subject formula, by successively applying any
rules it contains to the data it contains. This is equivalent to
cwm's \"--think\" command line function. It does use built-ins, so
it may for example indirectly invoke other documents, validate
signatures, etc.
""" ;
rdfs:domain ns0:Formula ;
rdfs:label "conclusion" ;
rdfs:range ns0:Formula .