Appointing
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1030-1033 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2938-2938 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3041-3041 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1029-1029 | Appointing est une sous-classe de d�clarer |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1336-1336 | Coronation est une sous-classe de Appointing |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8034-8034 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8033-8033 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8032-8032 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 149-149 | Le nombre 1 argument de appointedPosition est une instance de Appointing |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1035-1048 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1050-1056 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 156-169 |
|