independenceDate - Sigma Knowledge base Browser

appearance as argument number 1

(instance independenceDate BinaryPredicate)	Government.kif 501-501	independence date is an instance of binary predicate
(domain independenceDate 1 GeopoliticalArea)	Government.kif 502-502	The number 1 argument of independence date is an instance of geopolitical area
(domainSubclass independenceDate 2 TimeInterval)	Government.kif 503-503	The number 2 argument of independence date is a subclass of timeframe
(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	The number 2 argument of independence date is a subclass of timeframe

appearance as argument number 2

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

antecedent

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

If X is an independence date of Y and Z is an instance of X, then there doesn't exist W such that Y is a dependent of W holds during after Z