![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2643-2643 | "AD" in ISO-3166-1-alpha-2 denotes andorra |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2834-2834 | "AE" in ISO-3166-1-alpha-2 denotes united arab emirates |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2644-2644 | "AF" in ISO-3166-1-alpha-2 denotes afghanistan |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2645-2645 | "AG" in ISO-3166-1-alpha-2 denotes antigua and barbuda |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2842-2842 | "AI" in ISO-3166-1-alpha-2 denotes anguilla |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2646-2646 | "AL" in ISO-3166-1-alpha-2 denotes albania |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2647-2647 | "AM" in ISO-3166-1-alpha-2 denotes armenia |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2867-2867 | "AN" in ISO-3166-1-alpha-2 denotes netherlands antilles |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2648-2648 | "AO" in ISO-3166-1-alpha-2 denotes angola |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2843-2843 | "AQ" in ISO-3166-1-alpha-2 denotes antarctica |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2649-2649 | "AR" in ISO-3166-1-alpha-2 denotes argentina |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2841-2841 | "AS" in ISO-3166-1-alpha-2 denotes american samoa |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2650-2650 | "AT" in ISO-3166-1-alpha-2 denotes austria |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2651-2651 | "AU" in ISO-3166-1-alpha-2 denotes australia |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2844-2844 | "AW" in ISO-3166-1-alpha-2 denotes aruba |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2652-2652 | "AX" in ISO-3166-1-alpha-2 denotes Aaland islands |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2653-2653 | "AZ" in ISO-3166-1-alpha-2 denotes azerbaijan |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2654-2654 | "BA" in ISO-3166-1-alpha-2 denotes bosnia and herzegovina |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2655-2655 | "BB" in ISO-3166-1-alpha-2 denotes barbados |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2656-2656 | "BD" in ISO-3166-1-alpha-2 denotes bangladesh |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2657-2657 | "BE" in ISO-3166-1-alpha-2 denotes belgium |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2658-2658 | "BF" in ISO-3166-1-alpha-2 denotes burkina faso |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2659-2659 | "BG" in ISO-3166-1-alpha-2 denotes bulgaria |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2660-2660 | "BH" in ISO-3166-1-alpha-2 denotes bahrain |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2661-2661 | "BI" in ISO-3166-1-alpha-2 denotes burundi |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65031-65031 |
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. | Media.kif 2636-2641 |
|
![]() |
![]() |