codeMapping |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2267-2270 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2264-2264 | 域 codeMapping, 1 and CodeMap |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2265-2265 | 域 codeMapping, 2 and SymbolicString |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2266-2266 | 域 codeMapping, 3 and Entity |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10649-10649 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10650-10650 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10648-10648 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10658-10658 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10652-10652 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10654-10654 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10655-10655 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10653-10653 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10656-10656 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2263-2263 | 例 codeMapping and TernaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3018-3018 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3017-3017 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3016-3016 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65792-65792 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2889-2895 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3135-3141 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 2272-2274 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3165-3167 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3161-3163 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3152-3154 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3148-3150 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2636-2641 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2316-2318 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2286-2291 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14715-14717 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14705-14709 |
|
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14711-14713 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 801-812 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 2320-2322 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2643-2643 | "AD" 在 ISO-3166-1-alpha-2 denotes 安道爾 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2834-2834 | "AE" 在 ISO-3166-1-alpha-2 denotes 阿拉伯聯合酋長國 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2644-2644 | "AF" 在 ISO-3166-1-alpha-2 denotes 阿富汗 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2645-2645 | "AG" 在 ISO-3166-1-alpha-2 denotes 安提瓜和巴布達 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2842-2842 | "AI" 在 ISO-3166-1-alpha-2 denotes 安圭拉 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2646-2646 | "AL" 在 ISO-3166-1-alpha-2 denotes 阿爾巴尼亞 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2647-2647 | "AM" 在 ISO-3166-1-alpha-2 denotes 亞美尼亞 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2867-2867 | "AN" 在 ISO-3166-1-alpha-2 denotes 荷屬安的列斯 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2648-2648 | "AO" 在 ISO-3166-1-alpha-2 denotes 安哥拉 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2843-2843 | "AQ" 在 ISO-3166-1-alpha-2 denotes 南極洲 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2649-2649 | "AR" 在 ISO-3166-1-alpha-2 denotes 阿根廷 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2841-2841 | "AS" 在 ISO-3166-1-alpha-2 denotes 美國薩摩亞 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2650-2650 | "AT" 在 ISO-3166-1-alpha-2 denotes 奧地利 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2651-2651 | "AU" 在 ISO-3166-1-alpha-2 denotes 澳大利亞 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2844-2844 | "AW" 在 ISO-3166-1-alpha-2 denotes 阿魯巴 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2652-2652 | "AX" 在 ISO-3166-1-alpha-2 denotes AalandIslands |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2653-2653 | "AZ" 在 ISO-3166-1-alpha-2 denotes 阿塞拜疆 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2654-2654 | "BA" 在 ISO-3166-1-alpha-2 denotes 波斯尼亞和黑塞哥維那 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2655-2655 | "BB" 在 ISO-3166-1-alpha-2 denotes 巴巴多斯 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2656-2656 | "BD" 在 ISO-3166-1-alpha-2 denotes 孟加拉國 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2657-2657 | "BE" 在 ISO-3166-1-alpha-2 denotes 比利時 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2658-2658 | "BF" 在 ISO-3166-1-alpha-2 denotes 布基納法索 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2659-2659 | "BG" 在 ISO-3166-1-alpha-2 denotes 保加利亞 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2660-2660 | "BH" 在 ISO-3166-1-alpha-2 denotes 巴林 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2661-2661 | "BI" 在 ISO-3166-1-alpha-2 denotes 布隆迪 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |