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 | 域 leader, 1 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1613-1613 | 域 leader, 2 and Human |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1610-1610 | 例 leader and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1609-1609 | 例 leader and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1611-1611 | 例 leader and SingleValuedRelation |
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 |
|