appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3850-3851 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17265-17267 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17264-17264 | Position is a subclass of social role |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2054-2054 | Broker is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1356-1356 | Chairman is an instance of position |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 912-912 | ChairmanJC s is an instance of position |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 332-332 | Combatant commander is an instance of position |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2769-2769 | Database administrator is an instance of position |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 893-893 | DirectorJS is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18716-18716 | Full time position is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1355-1355 | Government deputy is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1619-1619 | Governor is an instance of position |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 356-356 | Joint forces air commander is an instance of position |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 344-344 | Joint forces commander is an instance of position |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 378-378 | Joint forces land commander is an instance of position |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 400-400 | Joint forces maritime commander is an instance of position |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 432-432 | Joint forces special operations commander is an instance of position |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 336-336 | Joint task force commander is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1392-1392 | King is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2256-2256 | Leader is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1633-1633 | Lieutenant governor is an instance of position |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3644-3644 | Manager is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1637-1637 | Mayor is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1358-1358 | Military commander is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1360-1360 | Monarch is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2258-2258 | National committee chairman is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18720-18720 | Part time position is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2257-2257 | Permanent representative is an instance of position |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1783-1783 | The number 2 argument of member role is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 151-151 | The number 3 argument of appointedPosition is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4446-4446 | The number 3 argument of chief of diplomatic mission is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1553-1553 | The number 2 argument of chief of state is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1578-1578 | The number 2 argument of chief of state type is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4523-4523 | The number 2 argument of diplomatic representation type is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4458-4458 | The number 3 argument of diplomatic representative in role is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1599-1599 | The number 2 argument of head of government is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1436-1436 | The number 2 argument of leader position is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17271-17271 | The number 2 argument of occupies position is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22745-22745 | The number 2 argument of subordinate position is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22746-22746 | The number 3 argument of subordinate position is an instance of position |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1789-1795 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1797-1803 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1456-1462 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1447-1453 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1806-1812 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1487-1494 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1478-1485 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4573-4580 |
|