leader |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1561-1562 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1558-1558 | The number 1 argument of leader is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1559-1559 | The number 2 argument of leader is an instance of human |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1556-1556 | leader is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1555-1555 | leader is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1557-1557 | leader is an instance of single valued relation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1451-1451 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1450-1450 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1449-1449 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20075-20084 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13813-13817 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13819-13823 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1453-1459 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1444-1450 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1564-1566 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13813-13817 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13819-13823 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1343-1347 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1510-1521 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1484-1491 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1475-1482 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1500-1502 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20065-20073 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4851-4855 |
|
No TPTP formula. May not be expressible in strict first order. | People.kif 1300-1302 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20232-20236 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1339-1341 |
|
![]() |
![]() |