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