| SecretaryOfTheInterior | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8311-8313 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8309-8309 | SecretaryOfTheInterior est une instance de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8310-8310 | SecretaryOfTheInterior est un sous-attribut de GovernmentSecretary |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51825-51825 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51824-51824 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51823-51823 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4859-4863 |
|
|
|