Matches in LOV for { <http://www.w3.org/2000/10/swap/log#includes> ?p ?o. }
Showing items 1 to 4 of
4
with 100 items per page.
- includes type Property.
- includes comment "The subject formula includes the object formula.\nFormula A includes formula B if there exists some substitution\nwhich when applied to B creates a formula B' such that for\nevery statement in B' is also in A, every variable\nuniversally (or existentially) quantified in B' is quantified in\nthe same way in A. \n\nVariable substitution is applied recursively to nested compound terms such as\nformulae, lists and sets.\n\n(Understood natively by cwm when in in the antecedent of a rule.\nYou can use this to peer inside nested formulae.)".
- includes isDefinedBy 22-rdf-syntax-ns.
- includes range Formula.