|
|
   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 |
|
|
|
|
