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 17287-17289 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17286-17286 | Posicao e' uma sub-classe de Role Social |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2054-2054 | Broker e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1356-1356 | Chairman e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 912-912 | ChairmanJCS e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 332-332 | CombatantCommander e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2769-2769 | DatabaseAdministrator e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 893-893 | DirectorJS e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18715-18715 | FullTimePosition e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1355-1355 | GovernmentDeputy e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1619-1619 | Governor e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 356-356 | JointForcesAirCommander e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 344-344 | JointForcesCommander e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 378-378 | JointForcesLandCommander e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 400-400 | JointForcesMaritimeCommander e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 432-432 | JointForcesSpecialOperationsCommander e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 336-336 | JointTaskForceCommander e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1392-1392 | King e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2256-2256 | Leader e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1633-1633 | LieutenantGovernor e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3644-3644 | Manager e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1637-1637 | Mayor e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1358-1358 | MilitaryCommander e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1360-1360 | Monarch e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2258-2258 | NationalCommitteeChairman e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18719-18719 | PartTimePosition e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2257-2257 | PermanentRepresentative e' uma instancia de Posicao |
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 | O argumento numero 2 de MemberRoleFn e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 151-151 | O argumento numero 3 de appointedPosition e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4446-4446 | O argumento numero 3 de chiefOfDiplomaticMission e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1553-1553 | O argumento numero 2 de chiefOfState e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1578-1578 | O argumento numero 2 de chiefOfStateType e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4523-4523 | O argumento numero 2 de diplomaticRepresentationType e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4458-4458 | O argumento numero 3 de diplomaticRepresentativeInRole e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1599-1599 | O argumento numero 2 de headOfGovernment e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1436-1436 | O argumento numero 2 de leaderPosition e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17293-17293 | O argumento numero 2 de occupiesPosition e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22744-22744 | O argumento numero 2 de subordinatePosition e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22745-22745 | O argumento numero 3 de subordinatePosition e' uma instancia de Posicao |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4573-4580 |