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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - date
date

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


s__documentation(s__date__m,s__ChineseLanguage,'"这是一个 BinaryPredicate, 它以绝对日历时间,以一天为限, 为特定的 ObjectProcess 指定一个 TimePosition。"')

chinese_format.kif 2747-2748
s__documentation(s__date__m,s__EnglishLanguage,'"A BinaryPredicate that specifies a TimePosition in absolute calendar time, at the resolution of one day, for a particular Object or Process."')

Merge.kif 8158-8160
s__domain(s__date__m,n__1,s__Physical)

Merge.kif 8154-8154 The number 1 argument of date is an instance of physical
s__domain(s__date__m,n__2,s__Day)

Merge.kif 8155-8155 The number 2 argument of date is an instance of day
s__instance(s__date__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 8153-8153 date is an instance of asymmetric relation
s__instance(s__date__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 8151-8151 date is an instance of binary predicate
s__instance(s__SingleValuedRelation,s__SetOrClass)

s__instance(s__date__m,s__SingleValuedRelation)

Merge.kif 8152-8152 date is an instance of single valued relation
s__subrelation(s__date__m,s__time__m)

Merge.kif 8156-8156 date is a subrelation of time

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


s__format(s__ChineseLanguage,s__date__m,'"%1 的 date %n 是 %2"')

chinese_format.kif 441-441
s__format(s__EnglishLanguage,s__date__m,'"date of %1 is %n %2"')

english_format.kif 450-450
s__termFormat(s__ChineseLanguage,s__date__m,'"日期"')

chinese_format.kif 442-442
s__termFormat(s__ChineseTraditionalLanguage,s__date__m,'"日期"')

domainEnglishFormat.kif 18596-18596
s__termFormat(s__EnglishLanguage,s__date__m,'"date"')

domainEnglishFormat.kif 18595-18595

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


( ! [V__TEXT,V__EDITION1,V__CBO2,V__EDITION2,V__CBO1,V__INT2,V__PUB2,V__DATE1,V__INT1,V__DATE2,V__PUB1] :
   (((s__subclass(V__TEXT,s__ContentBearingObject) &
         s__subclass(V__EDITION1,s__ContentBearingObject) &
         s__instance(V__EDITION1,s__Class) &
         s__subclass(V__EDITION2,s__ContentBearingObject) &
         s__instance(V__EDITION2,s__Class) &
         s__instance(V__INT2,s__PositiveInteger) &
         s__instance(V__DATE1,s__Day) &
         s__instance(V__INT1,s__PositiveInteger) &
         s__instance(V__DATE2,s__Day))
       =>
       ((((s__EditionFn(V__TEXT,V__INT1)
             = V__EDITION1)
           &
           (s__EditionFn(V__TEXT,V__INT2)
           = V__EDITION2)
         &
         s__greaterThan(V__INT2,V__INT1)
       &
       s__instance(V__PUB1,s__Publication) &
       s__instance(V__PUB2,s__Publication) &
       s__instance(V__CBO1,V__EDITION1)
     &
     s__instance(V__CBO2,V__EDITION2)
   &
   s__patient(V__PUB1,V__CBO1)
&
s__patient(V__PUB2,V__CBO2)
&
s__date(V__PUB1,V__DATE1)
&
s__date(V__PUB2,V__DATE2))
=>
(s__before(s__EndFn(V__DATE1)
,s__EndFn(V__DATE2))))))
)
)

Merge.kif 14744-14761
( ! [V__CD,V__DateOfWithdrawal,V__Withdrawal,V__MaturityDate] :
   (((s__instance(V__DateOfWithdrawal,s__Day) &
         s__instance(V__MaturityDate,s__Day))
       =>
       (((s__instance(V__CD,s__CertificateOfDeposit) &
             s__maturityDate(V__CD,V__MaturityDate)
           &
           s__instance(V__Withdrawal,s__Withdrawal) &
           s__origin(V__Withdrawal,s__CurrencyFn(V__CD))
       &
       s__date(V__Withdrawal,V__DateOfWithdrawal)
     &
     s__before(s__EndFn(V__DateOfWithdrawal)
  ,s__BeginFn(V__MaturityDate)))
=>
(( ? [V__Penalty] :
((s__instance(V__Penalty,s__Penalty) &
     s__destination(V__Penalty,s__CurrencyFn(V__CD))
&
s__causes(V__Withdrawal,V__Penalty))))))))
)
)

FinancialOntology.kif 1041-1053
( ! [V__Day,V__Cash,V__U,V__Account,V__Amount1,V__Transaction] :
   (((s__instance(V__Day,s__Day) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Amount1,s__RealNumber))
       =>
       (((s__instance(V__Transaction,s__FinancialTransaction) &
             s__origin(V__Transaction,s__CurrencyFn(V__Account))
         &
         s__transactionAmount(V__Transaction,s__MeasureFn(V__Amount1,V__U))
     &
     s__instance(V__U,s__UnitOfCurrency) &
     s__instance(V__Cash,s__Currency) &
     s__patient(V__Transaction,V__Cash)
   &
   s__date(V__Transaction,V__Day))
=>
(( ? [V__Amount2] :
   ((s__instance(V__Amount2,s__RealNumber) &
       (s__availableCash(V__Account,V__Day,s__MeasureFn(V__Amount2,V__U))
     &
     s__greaterThanOrEqualTo(V__Amount1,V__Amount2)))))))))
)
)

FinancialOntology.kif 3727-3741
( ! [V__Day,V__U,V__Account,V__Amount1,V__Transaction] :
   (((s__instance(V__Day,s__Day) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Amount1,s__RealNumber))
       =>
       (((s__instance(V__Transaction,s__FinancialTransaction) &
             s__origin(V__Transaction,V__Account)
           &
           s__transactionAmount(V__Transaction,s__MeasureFn(V__Amount1,V__U))
       &
       s__instance(V__U,s__UnitOfCurrency) &
       s__date(V__Transaction,V__Day))
   =>
   (( ? [V__Amount2] :
       ((s__instance(V__Amount2,s__RealNumber) &
           (s__availableBalance(V__Account,V__Day,s__MeasureFn(V__Amount2,V__U))
         &
         s__greaterThanOrEqualTo(V__Amount1,V__Amount2)))))))))
)
)

FinancialOntology.kif 3704-3716
( ! [V__TEXT,V__CBO2,V__CBO1,V__INT2,V__PUB2,V__DATE1,V__INT1,V__DATE2,V__VOLUME2,V__PUB1,V__VOLUME1] :
   (((s__subclass(V__TEXT,s__Series) &
         s__instance(V__TEXT,s__Class) &
         s__instance(V__INT2,s__PositiveInteger) &
         s__instance(V__DATE1,s__Day) &
         s__instance(V__INT1,s__PositiveInteger) &
         s__instance(V__DATE2,s__Day) &
         s__subclass(V__VOLUME2,s__Text) &
         s__instance(V__VOLUME2,s__Class) &
         s__subclass(V__VOLUME1,s__Text) &
         s__instance(V__VOLUME1,s__Class))
       =>
       (((s__subclass(V__TEXT,s__Periodical) &
             (s__SeriesVolumeFn(V__TEXT,V__INT1)
             = V__VOLUME1)
           &
           (s__SeriesVolumeFn(V__TEXT,V__INT2)
           = V__VOLUME2)
         &
         s__greaterThan(V__INT2,V__INT1)
       &
       s__instance(V__PUB1,s__Publication) &
       s__instance(V__PUB2,s__Publication) &
       s__instance(V__CBO1,V__VOLUME1)
     &
     s__instance(V__CBO2,V__VOLUME2)
   &
   s__patient(V__PUB1,V__CBO1)
&
s__patient(V__PUB2,V__CBO2)
&
s__date(V__PUB1,V__DATE1)
&
s__date(V__PUB2,V__DATE2))
=>
(s__before(s__EndFn(V__DATE1)
,s__EndFn(V__DATE2))))))
)
)

Mid-level-ontology.kif 12863-12877
( ! [V__Amount,V__Date,V__Account,V__Payment,V__DueDate] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Payment,s__FinancialTransaction) &
         s__instance(V__DueDate,s__TimeInterval))
       =>
       (((s__transactionAmount(V__Payment,V__Amount)
           &
           s__date(V__Payment,V__Date)
         &
         s__instance(V__Account,s__FinancialAccount) &
         s__destination(V__Payment,s__CurrencyFn(V__Account))
     &
     s__amountDue(V__Account,V__Amount,V__DueDate)
   &
   s__before(s__EndFn(V__Date)
,s__BeginFn(V__DueDate)))
=>
(s__instance(V__Payment,s__Prepayment)))))
)
)

FinancialOntology.kif 788-796

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 615-627
( ! [V__Amount,V__Loan,V__Date] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Loan,s__Loan) &
         s__instance(V__Date,s__TimePoint) &
         s__instance(V__Date,s__Day))
       =>
       (((s__downPayment(V__Loan,V__Amount)
           &
           s__agreementEffectiveDate(V__Loan,V__Date))
       =>
       (( ? [V__Payment] :
           ((s__instance(V__Payment,s__FinancialTransaction) &
               (s__transactionAmount(V__Payment,V__Amount)
               &
               s__date(V__Payment,V__Date)
             &
             s__destination(V__Payment,s__CurrencyFn(V__Loan))))))))))
)
)

FinancialOntology.kif 766-774
( ! [V__Amount,V__Date,V__Balance,V__U,V__Account] :
   (((s__instance(V__Amount,s__RealNumber) &
         s__instance(V__Date,s__TimePoint) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Balance,s__RealNumber))
       =>
       (((s__instance(V__Account,s__FinancialAccount) &
             s__minimumBalance(V__Account,s__OpeningAnAccount,s__MeasureFn(V__Balance,V__U))
         &
         s__instance(V__U,s__UnitOfCurrency))
       =>
       (( ? [V__Payment] :
           ((s__instance(V__Payment,s__FinancialTransaction) &
               (s__destination(V__Payment,s__CurrencyFn(V__Account))
             &
             s__transactionAmount(V__Payment,s__MeasureFn(V__Amount,V__U))
         &
         s__greaterThanOrEqualTo(V__Amount,V__Balance)
       &
       s__agreementEffectiveDate(V__Account,V__Date)
     &
     s__date(V__Payment,V__Date)))))))))
)
)

FinancialOntology.kif 646-659
( ! [V__Amount,V__Date,V__Balance,V__U,V__Account] :
   (((s__instance(V__Amount,s__RealNumber) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Balance,s__RealNumber))
       =>
       (((s__instance(V__Account,s__FinancialAccount) &
             s__minimumBalance(V__Account,s__UsingAnAccount,s__MeasureFn(V__Balance,V__U))
         &
         s__instance(V__U,s__UnitOfCurrency) &
         s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Amount,V__U))
     &
     s__lessThan(V__Amount,V__Balance))
=>
(( ? [V__Penalty] :
     ((s__instance(V__Penalty,s__Penalty) &
         s__date(V__Penalty,V__Date)
       &
       s__destination(V__Penalty,s__CurrencyFn(V__Account)))))))))
)
)

FinancialOntology.kif 661-674
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1365-1375
( ! [V__P,V__D] :
   (((s__instance(V__P,s__Human) &
         s__instance(V__D,s__Day))
       =>
       ((s__birthdate(V__P,V__D)
         =>
         (( ? [V__B] :
             ((s__instance(V__B,s__Birth) &
                 s__experiencer(V__B,V__P)
               &
               s__date(V__B,V__D))))))))
)
)

Mid-level-ontology.kif 22260-22266
( ! [V__Date,V__Statement] :
   (((s__instance(V__Date,s__Day) &
         s__instance(V__Statement,s__BankStatement))
       =>
       ((s__dateOfStatement(V__Statement,V__Date)
         =>
         (( ? [V__Copy] :
             ((s__instance(V__Copy,s__ContentBearingPhysical) &
                 (s__containsInformation(V__Copy,V__Statement)
                 &
                 s__date(V__Copy,V__Date)))))))))
)
)

FinancialOntology.kif 3922-3927
( ! [V__P,V__T] :
   (((s__instance(V__P,s__Human) &
         s__instance(V__T,s__Day))
       =>
       ((s__deathdate(V__P,V__T)
         =>
         (( ? [V__D] :
             ((s__instance(V__D,s__Death) &
                 s__experiencer(V__D,V__P)
               &
               s__date(V__D,V__T))))))))
)
)

Mid-level-ontology.kif 22274-22280


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