Formula
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1682-1682 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1549-1550 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 274-274 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 323-324 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1547-1547 | 公式 是 句子 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 847-847 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 896-896 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 523-523 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 54-54 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 57-57 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2208-2208 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 475-475 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 90-90 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 544-544 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 58-58 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5583-5583 | 组成类别函数 的 2 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2573-2573 | 表示机率的函数 的 1 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2127-2127 | attitudeForFormula 的 3 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2811-2811 | 相信 的 2 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3822-3822 | 引起主张 的 1 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3823-3823 | 引起主张 的 2 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2583-2583 | 机率 的 1 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2584-2584 | 机率 的 2 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3993-3993 | 赋予规范 的 2 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17454-17454 | 授予执行任务 的 1 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17433-17433 | 赋予权利 的 1 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2801-2801 | 考虑 的 2 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1368-1368 | containsFormula 的 2 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2616-2616 | 降低可能性 的 1 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2617-2617 | 降低可能性 的 2 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4015-4015 | 剥夺了规范 的 2 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16147-16147 | describes 的 1 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2789-2789 | 渴望 的 2 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7441-7441 | 不赞成 的 2 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7411-7411 | 疑惑 的 2 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 770-770 | 蕴涵 的 1 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 771-771 | 蕴涵 的 2 数量 是 公式 的 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 3946-3946 | 意图 的 2 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3962-3962 | 主事的意图 的 2 数量 是 公式 的 instance |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 766-772 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 549-556 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 540-547 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 531-537 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13226-13231 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2647-2654 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13213-13219 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13200-13206 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13142-13148 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15400-15407 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 577-584 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 586-593 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 569-575 |
consequent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3794-3798 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12928-12932 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1134-1138 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2702-2706 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15431-15440 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 653-661 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 663-671 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3800-3810 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4235-4249 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1140-1151 |