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

Formal Language: 



KB Term:  Term intersection
English Word: 

  agreementAdoptionDate

Sigma KEE - agreementAdoptionDate
agreementAdoptionDate

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


(documentation agreementAdoptionDate EnglishLanguage "(agreementAdoptionDate ?AGR ?TIME) means that the agreement ?AGR was adopted on the date indicated by ?TIME. For example, (agreementAdoptionDate ConstitutionOfTheUnitedStates (DayFn 17 (MonthFn September (YearFn 1787)))).") Government.kif 695-698
(domain agreementAdoptionDate 1 Proposition) Government.kif 692-692
(domainSubclass agreementAdoptionDate 2 TimePosition) Government.kif 693-693
(instance agreementAdoptionDate AsymmetricRelation) Government.kif 690-690
(instance agreementAdoptionDate BinaryPredicate) Government.kif 689-689
(instance agreementAdoptionDate PartialValuedRelation) Government.kif 691-691

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


(format EnglishLanguage agreementAdoptionDate "%2 is %n an agreement adoption date of %1") domainEnglishFormat.kif 29-29
(termFormat EnglishLanguage agreementAdoptionDate "agreement adoption date") domainEnglishFormat.kif 1417-1417

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


(=>
    (agreementAdoptionDate ?AGR ?DATE)
    (exists (?PROCESS ?DAY)
        (and
            (instance ?PROCESS Committing)
            (instance ?DAY ?DATE)
            (patient ?PROCESS ?AGR)
            (time ?PROCESS ?DAY))))
Government.kif 700-707

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


(agreementAdoptionDate AntarcticTreaty
    (DayFn 1
        (MonthFn December
            (YearFn 1959))))
Geography.kif 3038-3038


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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