independenceDate - Sigma Knowledge base Browser

appearance as argument number 1

(documentation independenceDate EnglishLanguage "(independenceDate ?AREA ?DATE) means that the GeopoliticalArea ?AREA achieved its sovereignty on the date ?DATE. For example, (independenceDate Afghanistan (DayFn 19 (MonthFn August (YearFn 1919)))).")	Government.kif 505-508
(domain independenceDate 1 GeopoliticalArea)	Government.kif 502-502	independenceDate の数値 1 引数は地政学的地域の instance では %n
(domainSubclass independenceDate 2 TimeInterval)	Government.kif 503-503	independenceDate の数値 2 引数は時間間隔のsubclass では %n
(instance independenceDate BinaryPredicate)	Government.kif 501-501	independenceDate は 2進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage independenceDate "%2 %n 是 %1 的 independence 日期")	domainEnglishFormat.kif 1305-1305
(format ChineseTraditionalLanguage independenceDate "%2 %n 是 %1 的 independence 日期")	domainEnglishFormat.kif 1304-1304
(format EnglishLanguage independenceDate "%2 is %n an independence date of %1")	domainEnglishFormat.kif 1303-1303
(termFormat ChineseLanguage independenceDate "独立日期")	domainEnglishFormat.kif 29579-29579
(termFormat ChineseTraditionalLanguage independenceDate "獨立日期")	domainEnglishFormat.kif 29578-29578
(termFormat EnglishLanguage independenceDate "independence date")	domainEnglishFormat.kif 29577-29577

antecedent

(=>
    (and
        (independenceDate ?COUNTRY1 ?DATE)
        (instance ?INST ?DATE))
    (holdsDuring
        (FutureFn ?INST)
        (not
            (exists (?COUNTRY2)
                (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2)))))

Government.kif 510-517