Matches in LOV for { <http://www.w3.org/2000/10/swap/log#implies> ?p ?o. }
Showing items 1 to 4 of
4
with 100 items per page.
- implies type Property.
- implies comment "Logical implication. \nThis is the relation between the antecedent (subject) and\nconclusion (object) of a rule.\nThe application of a rule to a knowledge-base is as follows.\nFor every substitution which, applied to the antecedent,\ngives a formula which is a subset of the knowledge-base,\nthen the result of applying that same substitution to the\nconclusion may be added to the knowledge-base.\n\nrelated: See log:conclusion. \n(See the CWM manual for command line options to determine how\nrules from different sources are applied to and the results\nadded to various formula.)\n".
- implies isDefinedBy 22-rdf-syntax-ns.
- implies range Formula.