|
|
   GovernmentPosition
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18940-18942 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18939-18939 | 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 19021-19021 | Admiral e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20978-20978 | AttorneyGeneral e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19035-19035 | BrigadierGeneral e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19044-19044 | CaptainOfficer e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19049-19049 | Colonel e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18970-18970 | ConfederateSoldier e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20950-20950 | Coroner e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19058-19058 | Corporal e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8308-8308 | GovernmentSecretary e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21006-21006 | JudgeAtLaw e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19040-19040 | Lieutenant e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19025-19025 | Major e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19030-19030 | MajorGeneral e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18999-18999 | MilitaryOfficer e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18992-18992 | MilitaryPrivate e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20926-20926 | PoliceOfficer e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20985-20985 | PublicDefender e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20990-20990 | PublicProsecutor e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8310-8310 | SecretaryOfTheInterior e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8316-8316 | SecretaryOfTheTreasury e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19054-19054 | Sergeant e' uma instancia de GovernmentPosition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18965-18965 | 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 18944-18948 |
|
|
|
|