{logic}
type: lexical concept
comment: The @graph contains labels for the properties and values of the core RDF resource defined @id.
morfosyntaktisk egenskab: wn:noun
part of speech: wn:noun
lexicalized sense: enl:logic#logic-oewn-06173467-n
broader: en:oewn-06168062-n
has broader transitive: en:oewn-06168062-n
in scheme: <https://en-word.net/>
is in mapping relation with: ili:i68951
narrower: en:oewn-92446323-n
narrower: en:oewn-06176360-n
has narrower transitive: en:oewn-92446323-n
has narrower transitive: en:oewn-06176360-n
is in semantic relation with: ili:i68951
is in semantic relation with: en:oewn-06168062-n
is in semantic relation with: en:oewn-92446323-n
is in semantic relation with: en:oewn-06176360-n
definition:
  value: the branch of philosophy that analyzes inference
has domain topic: en:oewn-06763518-n
has domain topic: en:oewn-13805250-n
has domain topic: en:oewn-06660359-n
has domain topic: en:oewn-07221547-n
has domain topic: en:oewn-06766013-n
has domain topic: en:oewn-13530245-n
has domain topic: en:oewn-13820703-n
has domain topic: en:oewn-13821026-n
has domain topic: en:oewn-06766264-n
has domain topic: en:oewn-06313532-n
has domain topic: en:oewn-06751762-n
has domain topic: en:oewn-06737308-n
has domain topic: en:oewn-06751572-n
has domain topic: en:oewn-00493031-v
has domain topic: en:oewn-05789660-n
has domain topic: en:oewn-04792423-n
has domain topic: en:oewn-06745976-n
has domain topic: en:oewn-05788560-n
has domain topic: en:oewn-04792642-n
has domain topic: en:oewn-00718250-v
has domain topic: en:oewn-06764286-n
has domain topic: en:oewn-06327806-n
has domain topic: en:oewn-05866558-n
has domain topic: en:oewn-06321115-n
has domain topic: en:oewn-06763856-n
has domain topic: en:oewn-06764081-n
has domain topic: en:oewn-07105577-n
has domain topic: en:oewn-00111664-a
has domain topic: en:oewn-00111940-a
has domain topic: en:oewn-02382549-s
has domain topic: en:oewn-01299391-a
has domain topic: en:oewn-02603205-a
has domain topic: en:oewn-00726151-s
has domain topic: en:oewn-02470523-s
has domain topic: en:oewn-01300273-s
has domain topic: en:oewn-02603584-a
has domain topic: en:oewn-02381265-s
has domain topic: en:oewn-00727354-s
has domain topic: en:oewn-03003578-a
has domain topic: en:oewn-01551888-a
hypernym: en:oewn-06168062-n
hyponym: en:oewn-92446323-n
hyponym: en:oewn-06176360-n
interlingual index: ili:i68951
lexicographer file: noun.cognition

{categorematic}

type

{transitivity}

is in mapping relation with

{quantify}

{reflexiveness; reflexivity}

{extensional}

{posit; postulate}

{non sequitur}

{apodeictic; apodictic}

{inferential}

{consistency}

{postulation; predication}
label: {predication}

{syncategorematic}

has narrower transitive

lexical concept
label: leksikalsk begreb @da

{explanans}

{interchangeable}

{corollary}

has domain topic
label: er domæne for @da

has broader

{completeness}

hypernym
label: har overbegreb @da

{presuppose}
label: {presuppose; suppose}

part of speech

logic

{logic operation; logical operation}

Open English WordNet

{analytic; analytical}

has close match

{intensional}

{logical relation}

{negation}

{proposition}

{predicate}

has exact match

is in semantic relation with

has broader transitive

{philosophy}

{arity}

has narrower

noun

{syllogistic}

{subject}

label
label: etiket @da

{paradox}

part of speech
label: ordklasse @da

{noninterchangeable}

{explanandum; explicandum}

{particular proposition}
label: {particular; particular proposition}

morfosyntaktisk egenskab

in scheme
label: is in scheme

{universal; universal proposition}
label: {universal proposition}

hyponym
label: har underbegreb @da

{axiom}

{synthetic; synthetical}

lexicalized sense

{modal logic}

{logical quantifier}
label: {logical quantifier; quantifier}

definition

interlingual index

{scopal}

value
label: værdi @da

{nonmonotonic}

{contradiction in terms}
label: {contradiction; contradiction in terms}

lexicographer file

{proof}

{tautology}

{inductive}