Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - independenceDate
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 530-533
(domain independenceDate 1 GeopoliticalArea) Government.kif 527-527 domain independenceDate, 1 and GeopoliticalArea
(domainSubclass independenceDate 2 TimeInterval) Government.kif 528-528 domainSubclass independenceDate, 2 and TimeInterval
(instance independenceDate BinaryPredicate) Government.kif 526-526 instance independenceDate and BinaryPredicate

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 29449-29449
(termFormat ChineseTraditionalLanguage independenceDate "獨立日期") domainEnglishFormat.kif 29448-29448
(termFormat EnglishLanguage independenceDate "independence date") domainEnglishFormat.kif 29447-29447

antecedent
-------------------------


(=>
    (independenceDate ?COUNTRY1 ?DATE)
    (holdsDuring
        (FutureFn ?DATE)
        (not
            (exists (?COUNTRY2)
                (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2)))))
Government.kif 535-540


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners