| 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 e' uma sub-classe de Declarar |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1336-1336 | Coronation e' uma sub-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 | O argumento numero 1 de appointedPosition e' uma instancia 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 |
|
|
|
|