leaderPosition |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1438-1440 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1435-1435 | The number 1 argument of leader position is an instance of agent |
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. | Government.kif 1434-1434 | leader position is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1433-1433 | leader position is an instance of binary predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1455-1455 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1454-1454 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1453-1453 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33611-33611 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33610-33610 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33609-33609 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 461-466 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 473-478 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1465-1469 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1471-1475 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1751-1757 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1736-1746 |
|
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 242-246 |
|
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 1465-1469 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1471-1475 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 371-376 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 393-398 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 425-430 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 417-422 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 446-451 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1736-1746 |
|
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 332-334 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 352-354 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1444-1444 | Prime minister is a leader position of canada |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1445-1445 | President is a leader position of iran |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 917-917 | ChairmanJC s is a leader position of joint chiefs of staff |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 899-899 | ChairmanJC s is a leader position of joint staff |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 900-900 | DirectorJS is a leader position of joint staff |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1443-1443 | Prime minister is a leader position of united kingdom |