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 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1613-1613 | leader 的 2 数量 是 人类 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1610-1610 | leader 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1609-1609 | leader 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1611-1611 | leader 是 单值关系 的 instance |
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 |