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 | 子類 Formula and Sentence |
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 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2573-2573 | 域 可能性, 1 and Formula |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2127-2127 | 域 attitudeForFormula, 3 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2811-2811 | 域 相信, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3822-3822 | 域 引起提案, 1 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3823-3823 | 域 引起提案, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2583-2583 | 域 條件概率, 1 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2584-2584 | 域 條件概率, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3993-3993 | 域 賦予規範, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17454-17454 | 域 授予義務, 1 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17433-17433 | 域 賦予權利, 1 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2801-2801 | 域 考慮, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1368-1368 | 域 containsFormula, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2616-2616 | 域 降低可能性, 1 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2617-2617 | 域 降低可能性, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4015-4015 | 域 剝奪了規範, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16147-16147 | 域 describes, 1 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2789-2789 | 域 慾望, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7441-7441 | 域 不贊成, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7411-7411 | 域 疑惑, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 770-770 | 域 意味, 1 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 771-771 | 域 意味, 2 and Formula |
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 3946-3946 | 域 有目的, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3962-3962 | 域 有代理人的目的, 2 and Formula |
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 |
|