K3
E1090158
UNEXPLORED
K3 is a three-valued logical system introduced by Stephen Kleene that extends classical logic with an additional truth value to handle partial or undefined information.
All labels observed (1)
| Label | Occurrences |
|---|---|
| K3 canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T14256611 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: K3 Context triple: [Kleene strong three-valued logic, alsoKnownAs, K3]
-
A.
K3
K3 is another name for Broad Peak, a major mountain in the Karakoram range and one of the world’s fourteen peaks over 8,000 meters.
-
B.
3KZ
3KZ was an Australian radio station based in Melbourne, known for its popular sports and entertainment broadcasts in the mid-20th century.
-
C.
K4
K4 is an alternative name for Gasherbrum II, one of the world’s fourteen 8,000-meter peaks located in the Karakoram range on the China–Pakistan border.
-
D.
3K
3K is the IATA airline designator used by Jetstar Asia Airways, a Singapore-based low-cost carrier.
-
E.
BK3
BK3 is a jam band led by Grateful Dead drummer Bill Kreutzmann, known for live improvisational rock performances.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: K3 Target entity description: K3 is a three-valued logical system introduced by Stephen Kleene that extends classical logic with an additional truth value to handle partial or undefined information.
-
A.
K3
K3 is another name for Broad Peak, a major mountain in the Karakoram range and one of the world’s fourteen peaks over 8,000 meters.
-
B.
3KZ
3KZ was an Australian radio station based in Melbourne, known for its popular sports and entertainment broadcasts in the mid-20th century.
-
C.
K4
K4 is an alternative name for Gasherbrum II, one of the world’s fourteen 8,000-meter peaks located in the Karakoram range on the China–Pakistan border.
-
D.
3K
3K is the IATA airline designator used by Jetstar Asia Airways, a Singapore-based low-cost carrier.
-
E.
BK3
BK3 is a jam band led by Grateful Dead drummer Bill Kreutzmann, known for live improvisational rock performances.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.