en axiom (n)

An English term in ConceptNet 5.8

Sources: DBPedia 2015, OpenCyc 2012, English 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 公理 (n, logic) ➜
  • ja 自明の理 (n, logic) ➜
  • ms aksiom (n, logic) ➜
  • pl aksjomat (n, logic) ➜
  • pl pewnik (n, logic) ➜
  • pl postulat (n, logic) ➜
  • More »

Related terms

  • en artistic ➜
  • en assumption ➜
  • en conjecture ➜
  • en corollary ➜
  • en deduction ➜
  • en demonstration ➜
  • en disprove ➜
  • en established ➜
  • en fundamental ➜
  • en hypothesis ➜
  • en law ➜
  • en lemma ➜
  • en necessary ➜
  • en porism ➜
  • en postulate ➜
  • en practice ➜
  • en premise ➜
  • en principle ➜
  • en proof ➜
  • en proposition ➜
  • More »

Context of this term

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

Derived terms

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

Types of axiom

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

axiom is a type of…

  • en proposition (n, logic) ➜
  • en propositional information (n) ➜
  • en well formed formula ➜
  • en software (n) ➜

axiom is part of…

  • en formal system ➜

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
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.