See if and only if in All languages combined, or Wiktionary
Download JSON data for if and only if meaning in English (7.4kB)
{
"head_templates": [
{
"args": {},
"expansion": "if and only if",
"name": "en-con"
}
],
"lang": "English",
"lang_code": "en",
"pos": "conj",
"senses": [
{
"categories": [
{
"kind": "topical",
"langcode": "en",
"name": "Logic",
"orig": "en:Logic",
"parents": [
"Formal sciences",
"Philosophy",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Mathematics",
"orig": "en:Mathematics",
"parents": [
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"_dis": "60 40",
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w+disamb"
}
],
"examples": [
{
"text": "A rectangle is a square if and only if all four of its sides have the same length.",
"type": "example"
},
{
"text": "An integer is even if and only if its square is also even.",
"type": "example"
}
],
"glosses": [
"Is equivalent to; implies and is implied by; is true and false in the same cases as."
],
"hypernyms": [
{
"_dis1": "64 36",
"word": "logical connective"
}
],
"id": "en-if_and_only_if-en-conj-DY3Xw2Qc",
"links": [
[
"logic",
"logic"
],
[
"mathematics",
"mathematics"
],
[
"equivalent",
"equivalent"
],
[
"implies",
"imply"
],
[
"true",
"true"
],
[
"false",
"false"
]
],
"raw_glosses": [
"(logic, mathematics) Is equivalent to; implies and is implied by; is true and false in the same cases as."
],
"related": [
{
"_dis1": "64 36",
"word": "if"
},
{
"_dis1": "64 36",
"word": "if and when"
},
{
"_dis1": "64 36",
"word": "iff"
},
{
"_dis1": "64 36",
"word": "only if"
},
{
"_dis1": "64 36",
"word": "↔"
},
{
"_dis1": "64 36",
"word": "⇔"
}
],
"topics": [
"human-sciences",
"logic",
"mathematics",
"philosophy",
"sciences"
],
"translations": [
{
"_dis1": "97 3",
"code": "ar",
"lang": "Arabic",
"roman": "šarṭa ʔann",
"sense": "implies and is implied by",
"word": "شَرْطَ أَنّ"
},
{
"_dis1": "97 3",
"code": "ar",
"lang": "Arabic",
"roman": "faqaṭ ʔiḏā",
"sense": "implies and is implied by",
"word": "فَقَط إِذَا"
},
{
"_dis1": "97 3",
"code": "ar",
"lang": "Arabic",
"roman": "šarīṭatan ʔanna",
"sense": "implies and is implied by",
"word": "شَرِيطَةً أَنَّ"
},
{
"_dis1": "97 3",
"code": "ar",
"lang": "Arabic",
"roman": "faqaṭ fī ḥāla",
"sense": "implies and is implied by",
"word": "فَقَط فِي حَالَة"
},
{
"_dis1": "97 3",
"code": "arz",
"lang": "Arabic",
"roman": "bešarṭ ʔenn",
"sense": "implies and is implied by",
"tags": [
"Egyptian-Arabic"
],
"word": "بشرط إن"
},
{
"_dis1": "97 3",
"code": "arz",
"english": "bass law",
"lang": "Arabic",
"sense": "implies and is implied by",
"tags": [
"Egyptian-Arabic"
],
"word": "بس لو"
},
{
"_dis1": "97 3",
"code": "eu",
"lang": "Basque",
"sense": "implies and is implied by",
"word": "baldin eta soilik baldin"
},
{
"_dis1": "97 3",
"code": "ca",
"lang": "Catalan",
"sense": "implies and is implied by",
"word": "si i només si"
},
{
"_dis1": "97 3",
"code": "cmn",
"lang": "Chinese Mandarin",
"sense": "implies and is implied by",
"word": "當且僅當"
},
{
"_dis1": "97 3",
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "dāngqiějǐndāng",
"sense": "implies and is implied by",
"tags": [
"Mainland-China"
],
"word": "当且仅当"
},
{
"_dis1": "97 3",
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "ruòqiěwéiruò",
"sense": "implies and is implied by",
"tags": [
"Taiwan"
],
"word": "若且唯若"
},
{
"_dis1": "97 3",
"code": "cs",
"lang": "Czech",
"sense": "implies and is implied by",
"word": "právě tehdy, když"
},
{
"_dis1": "97 3",
"code": "da",
"lang": "Danish",
"sense": "implies and is implied by",
"word": "hvis og kun hvis"
},
{
"_dis1": "97 3",
"code": "nl",
"lang": "Dutch",
"sense": "implies and is implied by",
"tags": [
"Netherlands"
],
"word": "dan en slechts dan als"
},
{
"_dis1": "97 3",
"code": "nl",
"lang": "Dutch",
"sense": "implies and is implied by",
"tags": [
"Belgium"
],
"word": "als en slechts als"
},
{
"_dis1": "97 3",
"code": "eo",
"lang": "Esperanto",
"sense": "implies and is implied by",
"word": "se kaj nur se"
},
{
"_dis1": "97 3",
"code": "fi",
"lang": "Finnish",
"sense": "implies and is implied by",
"word": "jos ja vain jos"
},
{
"_dis1": "97 3",
"code": "fr",
"lang": "French",
"sense": "implies and is implied by",
"word": "si et seulement si"
},
{
"_dis1": "97 3",
"code": "ka",
"lang": "Georgian",
"roman": "mxolod im šemtxvevaši, tu",
"sense": "implies and is implied by",
"word": "მხოლოდ იმ შემთხვევაში, თუ"
},
{
"_dis1": "97 3",
"code": "de",
"lang": "German",
"sense": "implies and is implied by",
"word": "genau dann, wenn"
},
{
"_dis1": "97 3",
"code": "de",
"lang": "German",
"sense": "implies and is implied by",
"word": "dann und nur dann, wenn"
},
{
"_dis1": "97 3",
"code": "el",
"lang": "Greek",
"roman": "an kai móno an",
"sense": "implies and is implied by",
"word": "αν και μόνο αν"
},
{
"_dis1": "97 3",
"code": "he",
"lang": "Hebrew",
"roman": "im ve-rak im",
"sense": "implies and is implied by",
"word": "אם ורק אם"
},
{
"_dis1": "97 3",
"code": "hu",
"lang": "Hungarian",
"sense": "implies and is implied by",
"word": "akkor és csakis akkor, ha"
},
{
"_dis1": "97 3",
"code": "is",
"lang": "Icelandic",
"sense": "implies and is implied by",
"word": "ef og aðeins ef"
},
{
"_dis1": "97 3",
"code": "is",
"lang": "Icelandic",
"sense": "implies and is implied by",
"word": "þá og því aðeins að"
},
{
"_dis1": "97 3",
"code": "ga",
"lang": "Irish",
"sense": "implies and is implied by",
"word": "is gá agus is leor"
},
{
"_dis1": "97 3",
"code": "it",
"lang": "Italian",
"sense": "implies and is implied by",
"word": "se e solo se"
},
{
"_dis1": "97 3",
"code": "lt",
"lang": "Lithuanian",
"sense": "implies and is implied by",
"word": "tada ir tik tada"
},
{
"_dis1": "97 3",
"code": "fa",
"lang": "Persian",
"roman": "agar va faqat agar",
"sense": "implies and is implied by",
"word": "اگر و فقط اگر"
},
{
"_dis1": "97 3",
"code": "pl",
"lang": "Polish",
"sense": "implies and is implied by",
"word": "wtedy i tylko wtedy"
},
{
"_dis1": "97 3",
"code": "pt",
"lang": "Portuguese",
"sense": "implies and is implied by",
"word": "se e somente se"
},
{
"_dis1": "97 3",
"code": "ro",
"lang": "Romanian",
"sense": "implies and is implied by",
"word": "dacă și numai dacă"
},
{
"_dis1": "97 3",
"alt": ", когда́ ...",
"code": "ru",
"lang": "Russian",
"sense": "implies and is implied by",
"word": "тогда́ и то́лько тогда́"
},
{
"_dis1": "97 3",
"code": "sl",
"lang": "Slovene",
"sense": "implies and is implied by",
"word": "če in samo če"
},
{
"_dis1": "97 3",
"code": "es",
"lang": "Spanish",
"sense": "implies and is implied by",
"word": "si y sólo si"
},
{
"_dis1": "97 3",
"code": "sv",
"lang": "Swedish",
"sense": "implies and is implied by",
"word": "om och endast om"
},
{
"_dis1": "97 3",
"code": "th",
"lang": "Thai",
"sense": "implies and is implied by",
"word": "ก็ต่อเมื่อ"
},
{
"_dis1": "97 3",
"code": "tr",
"lang": "Turkish",
"sense": "implies and is implied by",
"word": "ancak ve ancak"
},
{
"_dis1": "97 3",
"code": "vi",
"lang": "Vietnamese",
"sense": "implies and is implied by",
"word": "khi và chỉ khi"
},
{
"_dis1": "97 3",
"code": "vi",
"lang": "Vietnamese",
"sense": "implies and is implied by",
"word": "nếu và chỉ nếu"
}
]
},
{
"categories": [],
"glosses": [
"If, with added intensity"
],
"id": "en-if_and_only_if-en-conj-hkmHDrtQ",
"links": [
[
"If",
"if#English"
]
],
"raw_glosses": [
"(by extension, informal) If, with added intensity"
],
"tags": [
"broadly",
"informal"
]
}
],
"wikipedia": [
"if and only if"
],
"word": "if and only if"
}
{
"categories": [
"English conjunctions",
"English entries with incorrect language header",
"English lemmas",
"English multiword terms"
],
"head_templates": [
{
"args": {},
"expansion": "if and only if",
"name": "en-con"
}
],
"hypernyms": [
{
"word": "logical connective"
}
],
"lang": "English",
"lang_code": "en",
"pos": "conj",
"related": [
{
"word": "if"
},
{
"word": "if and when"
},
{
"word": "iff"
},
{
"word": "only if"
},
{
"word": "↔"
},
{
"word": "⇔"
}
],
"senses": [
{
"categories": [
"English terms with usage examples",
"en:Logic",
"en:Mathematics"
],
"examples": [
{
"text": "A rectangle is a square if and only if all four of its sides have the same length.",
"type": "example"
},
{
"text": "An integer is even if and only if its square is also even.",
"type": "example"
}
],
"glosses": [
"Is equivalent to; implies and is implied by; is true and false in the same cases as."
],
"links": [
[
"logic",
"logic"
],
[
"mathematics",
"mathematics"
],
[
"equivalent",
"equivalent"
],
[
"implies",
"imply"
],
[
"true",
"true"
],
[
"false",
"false"
]
],
"raw_glosses": [
"(logic, mathematics) Is equivalent to; implies and is implied by; is true and false in the same cases as."
],
"topics": [
"human-sciences",
"logic",
"mathematics",
"philosophy",
"sciences"
]
},
{
"categories": [
"English informal terms"
],
"glosses": [
"If, with added intensity"
],
"links": [
[
"If",
"if#English"
]
],
"raw_glosses": [
"(by extension, informal) If, with added intensity"
],
"tags": [
"broadly",
"informal"
]
}
],
"translations": [
{
"code": "ar",
"lang": "Arabic",
"roman": "šarṭa ʔann",
"sense": "implies and is implied by",
"word": "شَرْطَ أَنّ"
},
{
"code": "ar",
"lang": "Arabic",
"roman": "faqaṭ ʔiḏā",
"sense": "implies and is implied by",
"word": "فَقَط إِذَا"
},
{
"code": "ar",
"lang": "Arabic",
"roman": "šarīṭatan ʔanna",
"sense": "implies and is implied by",
"word": "شَرِيطَةً أَنَّ"
},
{
"code": "ar",
"lang": "Arabic",
"roman": "faqaṭ fī ḥāla",
"sense": "implies and is implied by",
"word": "فَقَط فِي حَالَة"
},
{
"code": "arz",
"lang": "Arabic",
"roman": "bešarṭ ʔenn",
"sense": "implies and is implied by",
"tags": [
"Egyptian-Arabic"
],
"word": "بشرط إن"
},
{
"code": "arz",
"english": "bass law",
"lang": "Arabic",
"sense": "implies and is implied by",
"tags": [
"Egyptian-Arabic"
],
"word": "بس لو"
},
{
"code": "eu",
"lang": "Basque",
"sense": "implies and is implied by",
"word": "baldin eta soilik baldin"
},
{
"code": "ca",
"lang": "Catalan",
"sense": "implies and is implied by",
"word": "si i només si"
},
{
"code": "cmn",
"lang": "Chinese Mandarin",
"sense": "implies and is implied by",
"word": "當且僅當"
},
{
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "dāngqiějǐndāng",
"sense": "implies and is implied by",
"tags": [
"Mainland-China"
],
"word": "当且仅当"
},
{
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "ruòqiěwéiruò",
"sense": "implies and is implied by",
"tags": [
"Taiwan"
],
"word": "若且唯若"
},
{
"code": "cs",
"lang": "Czech",
"sense": "implies and is implied by",
"word": "právě tehdy, když"
},
{
"code": "da",
"lang": "Danish",
"sense": "implies and is implied by",
"word": "hvis og kun hvis"
},
{
"code": "nl",
"lang": "Dutch",
"sense": "implies and is implied by",
"tags": [
"Netherlands"
],
"word": "dan en slechts dan als"
},
{
"code": "nl",
"lang": "Dutch",
"sense": "implies and is implied by",
"tags": [
"Belgium"
],
"word": "als en slechts als"
},
{
"code": "eo",
"lang": "Esperanto",
"sense": "implies and is implied by",
"word": "se kaj nur se"
},
{
"code": "fi",
"lang": "Finnish",
"sense": "implies and is implied by",
"word": "jos ja vain jos"
},
{
"code": "fr",
"lang": "French",
"sense": "implies and is implied by",
"word": "si et seulement si"
},
{
"code": "ka",
"lang": "Georgian",
"roman": "mxolod im šemtxvevaši, tu",
"sense": "implies and is implied by",
"word": "მხოლოდ იმ შემთხვევაში, თუ"
},
{
"code": "de",
"lang": "German",
"sense": "implies and is implied by",
"word": "genau dann, wenn"
},
{
"code": "de",
"lang": "German",
"sense": "implies and is implied by",
"word": "dann und nur dann, wenn"
},
{
"code": "el",
"lang": "Greek",
"roman": "an kai móno an",
"sense": "implies and is implied by",
"word": "αν και μόνο αν"
},
{
"code": "he",
"lang": "Hebrew",
"roman": "im ve-rak im",
"sense": "implies and is implied by",
"word": "אם ורק אם"
},
{
"code": "hu",
"lang": "Hungarian",
"sense": "implies and is implied by",
"word": "akkor és csakis akkor, ha"
},
{
"code": "is",
"lang": "Icelandic",
"sense": "implies and is implied by",
"word": "ef og aðeins ef"
},
{
"code": "is",
"lang": "Icelandic",
"sense": "implies and is implied by",
"word": "þá og því aðeins að"
},
{
"code": "ga",
"lang": "Irish",
"sense": "implies and is implied by",
"word": "is gá agus is leor"
},
{
"code": "it",
"lang": "Italian",
"sense": "implies and is implied by",
"word": "se e solo se"
},
{
"code": "lt",
"lang": "Lithuanian",
"sense": "implies and is implied by",
"word": "tada ir tik tada"
},
{
"code": "fa",
"lang": "Persian",
"roman": "agar va faqat agar",
"sense": "implies and is implied by",
"word": "اگر و فقط اگر"
},
{
"code": "pl",
"lang": "Polish",
"sense": "implies and is implied by",
"word": "wtedy i tylko wtedy"
},
{
"code": "pt",
"lang": "Portuguese",
"sense": "implies and is implied by",
"word": "se e somente se"
},
{
"code": "ro",
"lang": "Romanian",
"sense": "implies and is implied by",
"word": "dacă și numai dacă"
},
{
"alt": ", когда́ ...",
"code": "ru",
"lang": "Russian",
"sense": "implies and is implied by",
"word": "тогда́ и то́лько тогда́"
},
{
"code": "sl",
"lang": "Slovene",
"sense": "implies and is implied by",
"word": "če in samo če"
},
{
"code": "es",
"lang": "Spanish",
"sense": "implies and is implied by",
"word": "si y sólo si"
},
{
"code": "sv",
"lang": "Swedish",
"sense": "implies and is implied by",
"word": "om och endast om"
},
{
"code": "th",
"lang": "Thai",
"sense": "implies and is implied by",
"word": "ก็ต่อเมื่อ"
},
{
"code": "tr",
"lang": "Turkish",
"sense": "implies and is implied by",
"word": "ancak ve ancak"
},
{
"code": "vi",
"lang": "Vietnamese",
"sense": "implies and is implied by",
"word": "khi và chỉ khi"
},
{
"code": "vi",
"lang": "Vietnamese",
"sense": "implies and is implied by",
"word": "nếu và chỉ nếu"
}
],
"wikipedia": [
"if and only if"
],
"word": "if and only if"
}
{
"called_from": "form_descriptions/2028",
"msg": "more than one value in \"alt\": togdá i tólʹko togdá(, kogdá ...) vs. , когда́ ...",
"path": [
"if and only if"
],
"section": "English",
"subsection": "conjunction",
"title": "if and only if",
"trace": ""
}
This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2024-05-01 from the enwiktionary dump dated 2024-04-21 using wiktextract (f4fd8c9 and c9440ce). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.
If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.