| Voting(表決)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3124-3126 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12097-12100 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1286-1286 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12096-12096 | 子類 表決 and Selecting |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1730-1730 | 範圍子類 表決 and 表決 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61983-61983 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61982-61982 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61981-61981 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12102-12107 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14498-14504 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6800-6805 |
|
|
|