leader |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1615-1616 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 294-295 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1612-1612 | The number 1 argument of leader is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1613-1613 | The number 2 argument of leader is an instance of human |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1610-1610 | leader is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1609-1609 | leader is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1611-1611 | 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 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65863-65863 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20734-20743 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14060-14064 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14066-14070 |
|
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. | Merge.kif 1618-1620 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14060-14064 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14066-14070 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1346-1350 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1513-1524 |
|
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 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1503-1505 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20724-20732 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4859-4863 |
|
No TPTP formula. May not be expressible in strict first order. | People.kif 1290-1292 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20891-20895 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1342-1344 |
|