dateDissolved |
appearance as argument number 1 |
(documentation dateDissolved EnglishLanguage "(dateDissolved ?THING ?TIME) means that the Physical ?THING was dissolved, disbanded, or superseded on the date indicated by ?TIME. For example, (dateDissolved UnitedNationsPreventiveDeploymentForce (DayFn 25 (MonthFn March (YearFn 1999)))).") | Government.kif 2565-2569 | |
(domain dateDissolved 1 Physical) | Government.kif 2555-2555 | O argumento numero 1 de dateDissolved e' uma instancia de Fisico |
(domainSubclass dateDissolved 2 TimePosition) | Government.kif 2556-2556 | O argumento numero 2 de dateDissolved e' uma sub-classe de Posicao Temporal |
(instance dateDissolved BinaryPredicate) | Government.kif 2554-2554 | dateDissolved e' uma instancia de Predicado Binario |
appearance as argument number 2 |
(format ChineseLanguage dateDissolved "%2 %n 是 %1 的闭幕 date") | domainEnglishFormat.kif 648-648 | |
(format ChineseTraditionalLanguage dateDissolved "%2 %n 是 %1 的閉幕 date ") | domainEnglishFormat.kif 647-647 | |
(format EnglishLanguage dateDissolved "%2 is %n a date dissolved of %1") | domainEnglishFormat.kif 646-646 | |
(termFormat ChineseLanguage dateDissolved "日期解散") | domainEnglishFormat.kif 18612-18612 | |
(termFormat ChineseTraditionalLanguage dateDissolved "日期解散") | domainEnglishFormat.kif 18611-18611 | |
(termFormat EnglishLanguage dateDissolved "date dissolved") | domainEnglishFormat.kif 18610-18610 |
antecedent |
(=> (dateDissolved ?THING ?DATE) (exists (?DAY) (and (instance ?DAY ?DATE) (overlapsTemporally ?DAY (EndFn (WhenFn ?THING)))))) |
Government.kif 2558-2563 |
|
appearance as argument number 0 |
(dateDissolved CoordinatingCommitteeOnExportControls (DayFn 31 (MonthFn March (YearFn 1994)))) |
Government.kif 2994-2994 | dateDissolved CoordinatingCommitteeOnExportControls and o dia 31 |
(dateDissolved CouncilForMutualEconomicAssistance (DayFn 1 (MonthFn January (YearFn 1991)))) |
Government.kif 3009-3009 | dateDissolved CouncilForMutualEconomicAssistance and o dia 1 |
(dateDissolved UnitedNationsPreventiveDeploymentForce (DayFn 25 (MonthFn March (YearFn 1999)))) |
Government.kif 4145-4145 | dateDissolved UnitedNationsPreventiveDeploymentForce and o dia 25 |
(dateDissolved WarsawPact (DayFn 1 (MonthFn July (YearFn 1991)))) |
Government.kif 4285-4285 | dateDissolved WarsawPact and o dia 1 |