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 12075-12078 | |
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 12074-12074 | Voting est une sous-classe de selectionner |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1730-1730 | Les valeurs retourn�es par VotingFn sont des sous-classes de Voting |
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 12080-12085 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14499-14505 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6801-6806 |
|