France![]() | ![]() |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(codeMapping ISO_3166_1_alpha_2 "FR" France) | Media.kif 2701-2701 | codeMapping ISO_3166_1_alpha_2, "FR" and France |
antecedent |
![]() |
(=> (and (instance ?CITY City) (part ?CITY France)) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn ParisFrance)))) |
CountriesAndRegions.kif 59-65 |
|
![]() |
![]() |