independenceDate |
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 | Die Zahl 1 Argument von independenceDate ist ein fall von GeopoliticalArea %n{nicht} |
(domainSubclass independenceDate 2 TimeInterval) | Government.kif 503-503 | Die Zahl 2 Argument von independenceDate ist eine teilkategorie von TimeInterval %n{nicht} |
(instance independenceDate BinaryPredicate) | Government.kif 501-501 | independenceDate ist ein fall von BinaryPredicate %n{nicht} |
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 29551-29551 | |
(termFormat ChineseTraditionalLanguage independenceDate "獨立日期") | domainEnglishFormat.kif 29550-29550 | |
(termFormat EnglishLanguage independenceDate "independence date") | domainEnglishFormat.kif 29549-29549 |
antecedent |
(=> (and (independenceDate ?COUNTRY1 ?DATE) (instance ?INST ?DATE)) (holdsDuring (FutureFn ?INST) (not (exists (?COUNTRY2) (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2))))) |
Government.kif 510-517 |
|