| Id | Concept | Page | Figure | Section | Superclass | Status | Comment |
| 1 | semantic formulation | 50 | 9.1 | Semantic Formulations | thing | ||
| 2 | closed semantic formulation | 50 | 9.1 | Semantic Formulations | semantic forumulation | ||
| 3 | logical formulation | 51 | 9.1 | Semantic Formulations | semantic forumulation | ||
| 4 | projection | 79 | 9.12 | Projections | semantic forumulation | ||
| 5 | closed logical formulaiton | 51 | 9.2 | Logical Formulations | closed semantic
formulation, logical formulation |
||
| 6 | atomic formulation | 56 | 9.4 | Atomic Formulations | logical formulation | ||
| 7 | instantiation formulation | 57 | 9.5 | Instantiation Formulations | logical formulation | ||
| 8 | modal formulation | 58 | 9.6 | Modal Formulations | logical formulation | ||
| 9 | logical operation | 60 | 9.7 | Logical Operations | logical formulation | ||
| 10 | quantification | 64 | 9.8 | Quantifications | logical formulation | ||
| 11 | objectification | 69 | 9.9 | Objectifications | logical formulation | ||
| 12 | projecting formulation | 71 | 9.10 | Projecting Formulations | logical formulation | ||
| 13 | proposition nominalization | 75 | 9.11 | Logical Formulations | logical formulation | ||
| 14 | logical formulation kind | 51 | 9.2 | Logical Formulations | object kind | ||
| 15 | variable | 52 | 9.3 | Variables and Bindings | bindable target | ||
| 16 | expression | bindable target, thing | |||||
| 17 | individual concept | bindable target, noun concept | |||||
| 18 | role binding | 56 | 9.4 | Atomic Formulations | thing | ||
| 19 | necessity formulation | 58 | 9.6 | Modal Formulations | modal formulation | ||
| 20 | obligation formulation | 58 | 9.6 | Modal Formulations | modal formulation | ||
| 21 | permissaibility formulation | 59 | 9.6 | Modal Formulations | modal formulation | ||
| 22 | possibility formulation | 59 | 9.6 | Modal Formulations | modal formulation | ||
| 23 | logical negation | 60 | 9.7 | Logical Operations | logical operation | ||
| 24 | binary logical operation | 61 | 9.7 | Logical Operations | logical operation | ||
| 25 | logical operand | 60 | 9.7 | Logical Operations | role | ||
| 26 | conjunction | 61 | 9.7 | Logical Operations | binary logical operation | ||
| 27 | disjunction | 61 | 9.7 | Logical Operations | binary logical operation | ||
| 28 | inclusive disjunction | 61 | 9.7 | Logical Operations | binary logical operation | synonym | |
| 29 | equivalence | 61 | 9.7 | Logical Operations | binary logical operation | ||
| 30 | material equivalence | 61 | 9.7 | Logical Operations | binary logical operation | synonym | |
| 31 | exclusive disjunction | 62 | 9.7 | Logical Operations | binary logical operation | ||
| 32 | implication | 62 | 9.7 | Logical Operations | binary logical operation | ||
| 33 | material implication | 62 | 9.7 | Logical Operations | binary logical operation | synonym | |
| 34 | nand formulation | 62 | 9.7 | Logical Operations | binary logical operation | ||
| 35 | nor formulation | 63 | 9.7 | Logical Operations | binary logical operation | ||
| 36 | whether-or-not formulation | 63 | 9.7 | Logical Operations | binary logical operation | ||
| 37 | antecedent | 62 | 9.7 | Logical Operations | role | ||
| 38 | consequent | 62 | 9.7 | Logical Operations | role | ||
| 39 | inconsequent | 63 | 9.7 | Logical Operations | role | ||
| 40 | universal quantification | 66 | 9.8 | Quantifications | quantification | ||
| 41 | at-least-n quantification | 66 | 9.8 | Quantifications | quantification | ||
| 42 | existential quantification | 66 | 9.8 | Quantifications | quantification | ||
| 43 | numeric range quantification | 68 | 9.8 | Quantifications | quantification | ||
| 44 | at-most-n quantification | 67 | 9.8 | Quantifications | quantification | ||
| 45 | at-most-one quantification | 67 | 9.8 | Quantifications | quantification | ||
| 46 | exactly-n quantification | 67 | 9.8 | Quantifications | quantification | ||
| 47 | exactly-one quantification | 67 | 9.8 | Quantifications | quantification | ||
| 48 | scope formulation | 66 | 9.8 | Quantifications | role | ||
| 49 | maximum cardinality | 66 | 9.8 | Quantifications | role | ||
| 50 | minimum cardinality | 66 | 9.8 | Quantifications | role | ||
| 51 | cardinality | 67 | 9.8 | Quantifications | role | ||
| 52 | aggregation formulation | 72 | 9.10 | Projecting Formulations | projecting formulation | ||
| 53 | noun concept nominalization | 73 | 9.10 | Projecting Formulations | projecting formulation | ||
| 54 | fact type nominalization | 74 | 9.10 | Projecting Formulations | projecting formulation | ||
| 55 | question nomunalization | 77 | 9.10 | Projecting Formulations | projecting formulation | ||
| 56 | answer nominalization | 77 | 9.10 | Projecting Formulations | projecting formulation | ||
| 57 | bag projection | 81 | 9.12 | Projections | projection | ||
| 58 | set projection | 81 | 9.12 | Projections | projection | ||
| 59 | auxiliary variable | 81 | 9.12 | Projections | variable | ||
| 60 | projection position | 81 | 9.12 | Projections | role | ||
| 61 | closed projection | 81 | 9.12 | Projections | projection, closed semantic formulation |