Pages that link to "CYC"
← CYC
Jump to navigation
Jump to search
The following pages link to CYC:
Displayed 34 items.
- Conjunctive Normal Form (← links)
- CYC System (← links)
- Linguistic Quantification (← links)
- Conditional (← links)
- Monotonic (← links)
- Deduction (← links)
- Logic Literal (← links)
- Antecedent (← links)
- Argument (← links)
- Relation (← links)
- CYC Project (← links)
- First-Order Logic System (← links)
- Natural Language (← links)
- Well-Formed Formula (← links)
- Rational Argument (← links)
- Deductive Argument (← links)
- Logic Sentence (← links)
- Modus Tollens (← links)
- Inference (← links)
- Variable (← links)
- Relation Function (← links)
- Atomic Formula (← links)
- Predicate Logic Sentence (← links)
- Rule Consequent (← links)
- Modus Ponens Inference Rule (← links)
- Formal Function (← links)
- Term Word (← links)
- 2007 SIMPLEOWLaGenerativeLexiconOnto (← links)
- Cyc Ontology (← links)
- Deductive Reasoning Algorithm (← links)
- Formal Declarative Proposition (← links)
- Knowledge Base (KB) (← links)
- Body of Knowledge (BOK) (← links)
- Rule Antecedent Statement (← links)