en axiom

An English term in ConceptNet 5.8

Sources: Open Mind Common Sense contributors, DBPedia 2015, JMDict 1.07, OpenCyc 2012, Verbosity players, English Wiktionary, French Wiktionary, and Open Multilingual WordNet
View this term in the API
  • Documentation
  • FAQ
  • Chat
  • Blog
  • Documentation
  • FAQ
  • Chat
  • Blog

Synonyms

  • ca axioma (n, logic) ➜
  • sh aksiom ➜
  • en maxim (n, communication) ➜
  • eu axioma (n, logic) ➜
  • fa اصل عمومی (n, logic) ➜
  • fa اندرز (n, logic) ➜
  • fa حقیقت اشکار (n, logic) ➜
  • fa پند (n, logic) ➜
  • fi aksiooma (n, logic) ➜
  • fi perusoletus (n, logic) ➜
  • fr axiome (n, logic) ➜
  • gl axioma (n, logic) ➜
  • id aksiom (n, logic) ➜
  • it assioma (n, logic) ➜
  • ja 公理 (a) ➜
  • ja 公理 (n, logic) ➜
  • ja 自明の理 (n) ➜
  • ja 自明の理 (n, logic) ➜
  • ja 要請 (n) ➜
  • ms aksiom (n, logic) ➜
  • More »

Related terms

  • sh aksiom (n) ➜
  • sh aksioma (n) ➜
  • en theory ➜
  • ar قانون (n) ➜
  • bg аксиома (n) ➜
  • ca axioma (n) ➜
  • cs axiom (n) ➜
  • de axiom (n) ➜
  • el αξίωμα (a) ➜
  • en algebraic structure (n) ➜
  • en artistic ➜
  • en assumption ➜
  • en conjecture ➜
  • en corollary ➜
  • en deduction ➜
  • en demonstration ➜
  • en disprove ➜
  • en established ➜
  • en fundamental ➜
  • en hypothesis ➜
  • More »

axiom is a type of…

  • en proposition (n, logic) ➜
  • en a common saying or a truism ➜
  • en proposition that is not proved but considered to be self-evident ➜
  • en well formed formula (n) ➜
  • en propositional information (n) ➜
  • en well formed formula ➜
  • en software (n) ➜

Derived terms

  • en axiomatic ➜
  • en axiomatical ➜
  • en axiomatically ➜
  • en axiomatisation ➜
  • en axiomatise ➜
  • en axiomless ➜
  • en axiomlike ➜

Types of axiom

  • en Euclid's postulate (n, mathematics) ➜
  • en axiom of choice ➜
  • en completeness axiom ➜
  • en completeness axiom (n) ➜
  • en parallel axiom ➜

Context of this term

  • en logic (n, cognition) ➜
  • en logic ➜
  • en mathematics ➜
  • en philosophy ➜
  • en proof theory ➜

Etymological roots of "axiom"

  • frm axiome ➜
  • grc αξιωμα ➜
  • la axioma ➜

axiom is part of…

  • en formal system (n) ➜
  • en theory (n) ➜
  • en formal system ➜

Things located at axiom

  • en truth ➜

Word forms

  • en axioms (n) ➜

Terms with this context

  • en ibm pollyanna principle (n) ➜

Etymologically related

  • grc αγω ➜
  • grc αξιοσ ➜
  • grc αξιοω ➜
  • en axioma ➜

Links to other resources

  • sw.opencyc.org /2012/05/10/concept/en/Axiom
  • wordnet-rdf.princeton.edu 106766264-n
  • dbpedia.org Axiom (computer algebra system)
  • wikidata.dbpedia.org /resource/Q509474
  • en.wiktionary.org axiom
  • fr.wiktionary.org axiom
Creative Commons License
ConceptNet 5 is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. If you use it in research, please cite this AAAI paper.
See Copying and Sharing ConceptNet for more details.