|
|
   Position
|
|
|
| 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 est une sous-classe de r�le social |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2054-2054 | Broker est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1356-1356 | Chairman est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 912-912 | ChairmanJCS est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 332-332 | CombatantCommander est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2769-2769 | DatabaseAdministrator est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 893-893 | DirectorJS est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18716-18716 | FullTimePosition est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1355-1355 | GovernmentDeputy est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1619-1619 | Governor est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 356-356 | JointForcesAirCommander est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 344-344 | JointForcesCommander est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 378-378 | JointForcesLandCommander est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 400-400 | JointForcesMaritimeCommander est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 432-432 | JointForcesSpecialOperationsCommander est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 336-336 | JointTaskForceCommander est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1392-1392 | King est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2256-2256 | Leader est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1633-1633 | LieutenantGovernor est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3644-3644 | Manager est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1637-1637 | Mayor est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1358-1358 | MilitaryCommander est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1360-1360 | Monarch est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2258-2258 | NationalCommitteeChairman est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18720-18720 | PartTimePosition est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2257-2257 | PermanentRepresentative est une instance de 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 | Le nombre 2 argument de MemberRoleFn est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 151-151 | Le nombre 3 argument de appointedPosition est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4446-4446 | Le nombre 3 argument de chiefOfDiplomaticMission est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1553-1553 | Le nombre 2 argument de chiefOfState est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1578-1578 | Le nombre 2 argument de chiefOfStateType est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4523-4523 | Le nombre 2 argument de diplomaticRepresentationType est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4458-4458 | Le nombre 3 argument de diplomaticRepresentativeInRole est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1599-1599 | Le nombre 2 argument de headOfGovernment est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1436-1436 | Le nombre 2 argument de leaderPosition est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17271-17271 | Le nombre 2 argument de occupiesPosition est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22745-22745 | Le nombre 2 argument de subordinatePosition est une instance de position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22746-22746 | Le nombre 3 argument de subordinatePosition est une instance de position |
| antecedent |
|
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4573-4580 |
|
|
|
|