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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - dateDissolved
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 2512-2516
(domain dateDissolved 1 Physical) Government.kif 2502-2502 The number 1 argument of date dissolved is an instance of physical
(domainSubclass dateDissolved 2 TimePosition) Government.kif 2503-2503 The number 2 argument of date dissolved is a subclass of time position
(instance dateDissolved BinaryPredicate) Government.kif 2501-2501 date dissolved is an instance of binary predicate

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


(format EnglishLanguage dateDissolved "%2 is %n a date dissolved of %1") domainEnglishFormat.kif 171-171
(termFormat EnglishLanguage dateDissolved "date dissolved") domainEnglishFormat.kif 3523-3523 "date dissolved" is the printable form of date dissolved in english language

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


(=>
    (dateDissolved ?THING ?DATE)
    (exists (?DAY)
        (and
            (instance ?DAY ?DATE)
            (overlapsTemporally ?DAY
                (EndFn
                    (WhenFn ?THING))))))
Government.kif 2505-2510

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


(dateDissolved CoordinatingCommitteeOnExportControls
    (DayFn 31
        (MonthFn March
            (YearFn 1994))))
Government.kif 2931-2931 The day 31 is a date dissolved of coordinating committee on export controls
(dateDissolved CouncilForMutualEconomicAssistance
    (DayFn 1
        (MonthFn January
            (YearFn 1991))))
Government.kif 2946-2946 The day 1 is a date dissolved of council for mutual economic assistance
(dateDissolved UnitedNationsPreventiveDeploymentForce
    (DayFn 25
        (MonthFn March
            (YearFn 1999))))
Government.kif 4082-4082 The day 25 is a date dissolved of united nations preventive deployment force
(dateDissolved WarsawPact
    (DayFn 1
        (MonthFn July
            (YearFn 1991))))
Government.kif 4222-4222 The day 1 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners