Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - dateDissolved
dateDissolved

appearance as argument number 1
-------------------------


(instance dateDissolved BinaryPredicate) Government.kif 2546-2546 date dissolved is an instance of binary predicate
(domain dateDissolved 1 Physical) Government.kif 2547-2547 The number 1 argument of date dissolved is an instance of physical
(domainSubclass dateDissolved 2 TimePosition) Government.kif 2548-2548 The number 2 argument of date dissolved is a subclass of time position
(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 2557-2561 The number 2 argument of date dissolved is a subclass of time position

appearance as argument number 2
-------------------------


(format EnglishLanguage dateDissolved "%2 is %n a date dissolved of %1") domainEnglishFormat.kif 646-646
(format ChineseTraditionalLanguage dateDissolved "%2 %n 是 %1 的閉幕 date ") domainEnglishFormat.kif 647-647
(format ChineseLanguage dateDissolved "%2 %n 是 %1 的闭幕 date") domainEnglishFormat.kif 648-648
(termFormat EnglishLanguage dateDissolved "date dissolved") domainEnglishFormat.kif 18612-18612
(termFormat ChineseTraditionalLanguage dateDissolved "日期解散") domainEnglishFormat.kif 18613-18613
(termFormat ChineseLanguage dateDissolved "日期解散") domainEnglishFormat.kif 18614-18614

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


(=>
    (dateDissolved ?THING ?DATE)
    (exists (?DAY)
        (and
            (instance ?DAY ?DATE)
            (overlapsTemporally ?DAY
                (EndFn
                    (WhenFn ?THING))))))		 Government.kif 2550-2555 If X is a date dissolved of Y, then there exists Z such that Z is an instance of X and the end of the time of existence of Y overlaps Z

appearance as argument number 0
-------------------------


(dateDissolved CoordinatingCommitteeOnExportControls
    (DayFn 31
        (MonthFn March
            (YearFn 1994))))		 Government.kif 2986-2986 The day 31 of month the month March is a date dissolved of coordinating committee on export controls
(dateDissolved CouncilForMutualEconomicAssistance
    (DayFn 1
        (MonthFn January
            (YearFn 1991))))		 Government.kif 3001-3001 The day 1 of month the month January is a date dissolved of council for mutual economic assistance
(dateDissolved UnitedNationsPreventiveDeploymentForce
    (DayFn 25
        (MonthFn March
            (YearFn 1999))))		 Government.kif 4137-4137 The day 25 of month the month March is a date dissolved of united nations preventive deployment force
(dateDissolved WarsawPact
    (DayFn 1
        (MonthFn July
            (YearFn 1991))))		 Government.kif 4277-4277 The day 1 of month the month July is a date dissolved of warsaw pact


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners