Position(position) |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1352-1352 | President is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1498-1498 | President of the united states is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1353-1353 | Prime minister is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4476-4476 | Pulmonologist is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1406-1406 | Queen regnant is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3282-3282 | Radio operator is an instance of position |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 454-454 | Secretary of defense is an instance of position |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 338-338 | Service chief is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2255-2255 | Spokesperson is an instance of position |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 334-334 | Subunified commander is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2209-2209 | Supreme court judge is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1357-1357 | Vice chairman is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1354-1354 | Vice president is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1762-1762 | The range of member is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1784-1784 | The range of member role is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18787-18787 | College student position is a subclass of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4394-4394 | Foreign service position is a subclass of position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8273-8273 | Manual labor is a subclass of position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18961-18961 | Modelling position is a subclass of position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20876-20876 | Religious position is a subclass of position |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1240-1240 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1701-1701 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 918-918 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 452-452 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |