| GovernmentPosition | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18939-18941 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18938-18938 | GovernmentPosition e' uma sub-classe de Profession |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19020-19020 | Admiral e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20977-20977 | AttorneyGeneral e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19034-19034 | BrigadierGeneral e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19043-19043 | CaptainOfficer e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19048-19048 | Colonel e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18969-18969 | ConfederateSoldier e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20949-20949 | Coroner e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19057-19057 | Corporal e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8307-8307 | GovernmentSecretary e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21005-21005 | JudgeAtLaw e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19039-19039 | Lieutenant e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19024-19024 | Major e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19029-19029 | MajorGeneral e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18998-18998 | MilitaryOfficer e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18991-18991 | MilitaryPrivate e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20925-20925 | PoliceOfficer e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20984-20984 | PublicDefender e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20989-20989 | PublicProsecutor e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8309-8309 | SecretaryOfTheInterior e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8315-8315 | SecretaryOfTheTreasury e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19053-19053 | Sergeant e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18964-18964 | Soldier e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26304-26304 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26303-26303 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26302-26302 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18943-18947 |
|
|
|
|