No TPTP formula. May not be expressible in strict first order. | Merge.kif 12001-12001 | Selecting is a subclass of intentional psychological process |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 318-318 | Designating is a subclass of selecting |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12006-12006 | Deciding is a subclass of selecting |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12074-12074 | Voting is a subclass of selecting |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12087-12087 | Judging is a subclass of selecting |