| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12023-12023 | Selectionner est une sous-classe de processus psycholoqique intentionnel |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 318-318 | Designating est une sous-classe de selectionner |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12028-12028 | Deciding est une sous-classe de selectionner |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12096-12096 | Voting est une sous-classe de selectionner |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12109-12109 | Judging est une sous-classe de selectionner |
|
|