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 数量 是 CodeMap 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2265-2265 | codeMapping 的 2 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2266-2266 | codeMapping 的 3 数量 是 实体 的 instance |
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 是 三元谓语 的 instance |
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 |