Resolve
RDF Terms

    Data based on @zazuko/vocabularies
    Defined by log:
    Click to Copy
    log:includes
    Click to Copy
    http://www.w3.org/2000/10/swap/log#includes

    Recommended prefix

    Copy 'PREFIX log: <http://www.w3.org/2000/10/swap/log#>'

    log:

    rdf: type
    rdf:Property
    rdfs: comment
    lang:""
    The subject formula includes the object formula. Formula A includes formula B if there exists some substitution which when applied to B creates a formula B' such that for every statement in B' is also in A, every variable universally (or existentially) quantified in B' is quantified in the same way in A. Variable substitution is applied recursively to nested compound terms such as formulae, lists and sets. (Understood natively by cwm when in in the antecedent of a rule. You can use this to peer inside nested formulae.)
    rdfs: range
    log:Formula
    rdfs: isDefinedBy