CADE Inc.
E46381
CADE Inc. is the organizing body behind the Conference on Automated Deduction, responsible for promoting research in automated reasoning and related fields.
All labels observed (1)
| Label | Occurrences |
|---|---|
| CADE Inc. canonical | 3 |
How this entity was disambiguated
This entity first appeared as the object of triple T364379 — 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: CADE Inc. Context triple: [Herbrand Award, presentedBy, CADE Inc.]
-
A.
Obvious Corporation
Obvious Corporation was the early holding company and development vehicle created by Twitter’s founders that incubated and spun out Twitter as an independent company.
-
B.
Carrier Corporation
Carrier Corporation is a leading global manufacturer of heating, ventilation, air conditioning (HVAC), and refrigeration systems.
-
C.
Adobe Inc.
Adobe Inc. is a multinational software company best known for its creative and multimedia products such as Photoshop, Illustrator, and Acrobat, widely used in digital media and design industries.
-
D.
Cadabra, Inc.
Cadabra, Inc. was the original name of the company that later became Amazon, the multinational e-commerce and technology giant founded by Jeff Bezos.
-
E.
NeXT Inc.
NeXT Inc. was a computer company founded by Steve Jobs that developed advanced workstations and the NeXTSTEP operating system, which later formed the technological foundation for macOS and iOS.
- 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: CADE Inc. Target entity description: CADE Inc. is the organizing body behind the Conference on Automated Deduction, responsible for promoting research in automated reasoning and related fields.
-
A.
Obvious Corporation
Obvious Corporation was the early holding company and development vehicle created by Twitter’s founders that incubated and spun out Twitter as an independent company.
-
B.
Carrier Corporation
Carrier Corporation is a leading global manufacturer of heating, ventilation, air conditioning (HVAC), and refrigeration systems.
-
C.
Adobe Inc.
Adobe Inc. is a multinational software company best known for its creative and multimedia products such as Photoshop, Illustrator, and Acrobat, widely used in digital media and design industries.
-
D.
Cadabra, Inc.
Cadabra, Inc. was the original name of the company that later became Amazon, the multinational e-commerce and technology giant founded by Jeff Bezos.
-
E.
NeXT Inc.
NeXT Inc. was a computer company founded by Steve Jobs that developed advanced workstations and the NeXTSTEP operating system, which later formed the technological foundation for macOS and iOS.
- F. None of above. chosen
Statements (25)
| Predicate | Object |
|---|---|
| instanceOf |
conference organizing body
ⓘ
non-profit organization ⓘ |
| abbreviation | CADE ⓘ |
| activity |
organization of scientific conferences
ⓘ
promotion of research in automated reasoning ⓘ support of an international research community ⓘ |
| communityServed |
researchers in automated deduction
ⓘ
researchers in automated reasoning ⓘ researchers in theorem proving ⓘ |
| field |
automated deduction
ⓘ
automated reasoning ⓘ logic in computer science ⓘ theorem proving ⓘ |
| focus |
formal methods in computer science
ⓘ
logical foundations of artificial intelligence ⓘ |
| fullName | CADE Inc. ⓘ |
| organizes | Conference on Automated Deduction ⓘ |
| purpose |
to promote research in automated deduction
ⓘ
to promote research in automated reasoning ⓘ to support the automated deduction community ⓘ |
| relatedConferenceSeries |
CADE
ⓘ
IJCAR ⓘ |
| role | organizing body of the Conference on Automated Deduction ⓘ |
| supports |
dissemination of research results in automated reasoning
ⓘ
international collaboration in automated deduction ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: CADE Inc. Description of subject: CADE Inc. is the organizing body behind the Conference on Automated Deduction, responsible for promoting research in automated reasoning and related fields.
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.