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 | O argumento numero 1 de leader e' uma instancia de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1613-1613 | O argumento numero 2 de leader e' uma instancia de Humano |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1610-1610 | leader e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1609-1609 | leader e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1611-1611 | leader e' uma instancia de Relacao com Valor Unico |
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 20733-20742 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14082-14086 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14088-14092 |
|
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 14082-14086 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14088-14092 |
|
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 20723-20731 |
|
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 20890-20894 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1342-1344 |
|