| 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 2529-2533 | |
| (domain dateDissolved 1 Physical) | Government.kif 2519-2519 | Die Zahl 1 Argument von dateDissolved ist ein fall von Physical %n{nicht} |
| (domainSubclass dateDissolved 2 TimePosition) | Government.kif 2520-2520 | Die Zahl 2 Argument von dateDissolved ist eine teilkategorie von TimePosition %n{nicht} |
| (instance dateDissolved BinaryPredicate) | Government.kif 2518-2518 | dateDissolved ist ein fall von BinaryPredicate %n{nicht} |
| 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 2522-2527 |
|
| appearance as argument number 0 |
|
|
| (dateDissolved CoordinatingCommitteeOnExportControls (DayFn 31 (MonthFn March (YearFn 1994)))) |
Government.kif 2958-2958 | dateDissolved CoordinatingCommitteeOnExportControls and der tag 31 |
| (dateDissolved CouncilForMutualEconomicAssistance (DayFn 1 (MonthFn January (YearFn 1991)))) |
Government.kif 2973-2973 | dateDissolved CouncilForMutualEconomicAssistance and der tag 1 |
| (dateDissolved UnitedNationsPreventiveDeploymentForce (DayFn 25 (MonthFn March (YearFn 1999)))) |
Government.kif 4109-4109 | dateDissolved UnitedNationsPreventiveDeploymentForce and der tag 25 |
| (dateDissolved WarsawPact (DayFn 1 (MonthFn July (YearFn 1991)))) |
Government.kif 4249-4249 | dateDissolved WarsawPact and der tag 1 |
|
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 3.0 is open source software produced by Articulate Software and its partners