expects |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10591-10593 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10589-10589 | 预计 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10590-10590 | 预计 的 2 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10588-10588 | 预计 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3354-3354 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3353-3353 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3352-3352 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7386-7386 | 恐惧 是 预计 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7398-7398 | 希望 是 预计 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22792-22792 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22791-22791 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22790-22790 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10595-10603 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 684-695 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10631-10643 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19348-19354 |
|