start search
change language
level of detail
    DanNet

    enl:predicate calculusen

    https://en-word.net/lemma/predicate_calculus#predicate_calculus-oewn-06175080-n
    rdf:type
    ontolex:lexical sense

    Ontolex units

    ∴ontolex:is sense of
    enl:"predicate calculus"
    ontolex:is lexicalized sense of
    en:
    functional calculus β€’ predicate calculus

    Other

    rdfs:labelpredicate calculus

    ∴ fully or partially logically inferred

    ↓ download data as: .ttl


    Privacy Β· Accessibility Β· Releases Β· Metadata

    Β© 2023, Centre for Language Technology (KU) & Det Danske Sprog- og Litteraturselskab.