See if and only if on Wiktionary
{
"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": "69 31",
"kind": "other",
"name": "English coordinated pairs",
"parents": [
"Coordinated pairs",
"Terms by etymology"
],
"source": "w+disamb"
},
{
"_dis": "64 36",
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w+disamb"
},
{
"_dis": "74 26",
"kind": "other",
"name": "Entries with translation boxes",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "66 34",
"kind": "other",
"name": "Pages with 1 entry",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "67 33",
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "69 31",
"kind": "other",
"name": "Terms with Arabic translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "68 32",
"kind": "other",
"name": "Terms with Basque translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "68 32",
"kind": "other",
"name": "Terms with Catalan translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "65 35",
"kind": "other",
"name": "Terms with Czech translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "73 27",
"kind": "other",
"name": "Terms with Danish translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "66 34",
"kind": "other",
"name": "Terms with Dutch translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "69 31",
"kind": "other",
"name": "Terms with Egyptian Arabic translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "67 33",
"kind": "other",
"name": "Terms with Esperanto translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "69 31",
"kind": "other",
"name": "Terms with Finnish translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "66 34",
"kind": "other",
"name": "Terms with French translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "68 32",
"kind": "other",
"name": "Terms with Georgian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "68 32",
"kind": "other",
"name": "Terms with German translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "60 40",
"kind": "other",
"name": "Terms with Greek translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "68 32",
"kind": "other",
"name": "Terms with Hebrew translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "61 39",
"kind": "other",
"name": "Terms with Hungarian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "70 30",
"kind": "other",
"name": "Terms with Icelandic translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "68 32",
"kind": "other",
"name": "Terms with Irish translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "67 33",
"kind": "other",
"name": "Terms with Italian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "68 32",
"kind": "other",
"name": "Terms with Lithuanian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "63 37",
"kind": "other",
"name": "Terms with Mandarin translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "68 32",
"kind": "other",
"name": "Terms with Persian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "68 32",
"kind": "other",
"name": "Terms with Polish translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "68 32",
"kind": "other",
"name": "Terms with Portuguese translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "68 32",
"kind": "other",
"name": "Terms with Romanian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "67 33",
"kind": "other",
"name": "Terms with Russian translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "68 32",
"kind": "other",
"name": "Terms with Slovene translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "71 29",
"kind": "other",
"name": "Terms with Spanish translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "68 32",
"kind": "other",
"name": "Terms with Swedish translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "68 32",
"kind": "other",
"name": "Terms with Thai translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "68 32",
"kind": "other",
"name": "Terms with Turkish translations",
"parents": [],
"source": "w+disamb"
},
{
"_dis": "68 32",
"kind": "other",
"name": "Terms with Vietnamese translations",
"parents": [],
"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": "69 31",
"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": "70 30",
"word": "if"
},
{
"_dis1": "70 30",
"word": "if and when"
},
{
"_dis1": "70 30",
"word": "iff"
},
{
"_dis1": "70 30",
"word": "only if"
},
{
"_dis1": "70 30",
"word": "↔"
},
{
"_dis1": "70 30",
"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": [
"Synonym of if (with added intensity)"
],
"id": "en-if_and_only_if-en-conj-ycJjxb6B",
"links": [
[
"if",
"if#English"
]
],
"raw_glosses": [
"(by extension, informal) Synonym of if (with added intensity)"
],
"synonyms": [
{
"extra": "with added intensity",
"tags": [
"synonym",
"synonym-of"
],
"word": "if"
}
],
"tags": [
"broadly",
"informal"
]
}
],
"wikipedia": [
"if and only if"
],
"word": "if and only if"
}
{
"categories": [
"English conjunctions",
"English coordinated pairs",
"English entries with incorrect language header",
"English lemmas",
"English multiword terms",
"Entries with translation boxes",
"Pages with 1 entry",
"Pages with entries",
"Terms with Arabic translations",
"Terms with Basque translations",
"Terms with Catalan translations",
"Terms with Czech translations",
"Terms with Danish translations",
"Terms with Dutch translations",
"Terms with Egyptian Arabic translations",
"Terms with Esperanto translations",
"Terms with Finnish translations",
"Terms with French translations",
"Terms with Georgian translations",
"Terms with German translations",
"Terms with Greek translations",
"Terms with Hebrew translations",
"Terms with Hungarian translations",
"Terms with Icelandic translations",
"Terms with Irish translations",
"Terms with Italian translations",
"Terms with Lithuanian translations",
"Terms with Mandarin translations",
"Terms with Persian translations",
"Terms with Polish translations",
"Terms with Portuguese translations",
"Terms with Romanian translations",
"Terms with Russian translations",
"Terms with Slovene translations",
"Terms with Spanish translations",
"Terms with Swedish translations",
"Terms with Thai translations",
"Terms with Turkish translations",
"Terms with Vietnamese translations"
],
"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": [
"Synonym of if (with added intensity)"
],
"links": [
[
"if",
"if#English"
]
],
"raw_glosses": [
"(by extension, informal) Synonym of if (with added intensity)"
],
"synonyms": [
{
"extra": "with added intensity",
"tags": [
"synonym",
"synonym-of"
],
"word": "if"
}
],
"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"
}
Download raw JSONL data for if and only if meaning in All languages combined (7.5kB)
{
"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 All languages combined dictionary. This dictionary is based on structured data extracted on 2024-11-06 from the enwiktionary dump dated 2024-10-02 using wiktextract (fbeafe8 and 7f03c9b). 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.