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 | Le nombre 1 argument de codeMapping est une instance de CodeMap |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2265-2265 | Le nombre 2 argument de codeMapping est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2266-2266 | Le nombre 3 argument de codeMapping est une instance de entit� |
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 est une instance de pr�dicat ternaire |
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 | codeMapping ISO-3166-1-alpha-2, "AD" and Andorra |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2834-2834 | codeMapping ISO-3166-1-alpha-2, "AE" and UnitedArabEmirates |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2644-2644 | codeMapping ISO-3166-1-alpha-2, "AF" and Afghanistan |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2645-2645 | codeMapping ISO-3166-1-alpha-2, "AG" and AntiguaAndBarbuda |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2842-2842 | codeMapping ISO-3166-1-alpha-2, "AI" and Anguilla |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2646-2646 | codeMapping ISO-3166-1-alpha-2, "AL" and Albania |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2647-2647 | codeMapping ISO-3166-1-alpha-2, "AM" and Armenia |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2867-2867 | codeMapping ISO-3166-1-alpha-2, "AN" and NetherlandsAntilles |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2648-2648 | codeMapping ISO-3166-1-alpha-2, "AO" and Angola |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2843-2843 | codeMapping ISO-3166-1-alpha-2, "AQ" and Antarctica |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2649-2649 | codeMapping ISO-3166-1-alpha-2, "AR" and Argentina |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2841-2841 | codeMapping ISO-3166-1-alpha-2, "AS" and AmericanSamoa |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2650-2650 | codeMapping ISO-3166-1-alpha-2, "AT" and Austria |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2651-2651 | codeMapping ISO-3166-1-alpha-2, "AU" and Australia |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2844-2844 | codeMapping ISO-3166-1-alpha-2, "AW" and Aruba |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2652-2652 | codeMapping ISO-3166-1-alpha-2, "AX" and AalandIslands |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2653-2653 | codeMapping ISO-3166-1-alpha-2, "AZ" and Azerbaijan |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2654-2654 | codeMapping ISO-3166-1-alpha-2, "BA" and BosniaAndHerzegovina |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2655-2655 | codeMapping ISO-3166-1-alpha-2, "BB" and Barbados |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2656-2656 | codeMapping ISO-3166-1-alpha-2, "BD" and Bangladesh |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2657-2657 | codeMapping ISO-3166-1-alpha-2, "BE" and Belgium |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2658-2658 | codeMapping ISO-3166-1-alpha-2, "BF" and BurkinaFaso |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2659-2659 | codeMapping ISO-3166-1-alpha-2, "BG" and Bulgaria |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2660-2660 | codeMapping ISO-3166-1-alpha-2, "BH" and Bahrain |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2661-2661 | codeMapping ISO-3166-1-alpha-2, "BI" and Burundi |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |