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 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10590-10590 | 域 預計, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10588-10588 | 例 預計 and BinaryPredicate |
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 | 子關係 恐懼 and 預計 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7398-7398 | 子關係 希望 and 預計 |
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 |
|