TreeView Knowledge Base Browser

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

Wenn dateDissolved Physical and ** TimePosition,
dann es gibt TimeInterval um ** TimeInterval ist ein fall von ** TimePosition %n{nicht} und das ende von die zeit des Bestehens von ** Physical deckt sich mit ** TimeInterval %n{nicht}

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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: