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 8199-8201
s__domain(s__date__m,n__1,s__Physical)

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

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

s__instance(s__AsymmetricRelation,s__Class)

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

s__instance(s__BinaryPredicate,s__Class)

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

s__instance(s__date__m,s__SingleValuedRelation)

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

Merge.kif 8197-8197 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 447-447
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 14861-14878
( ! [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 3748-3762
( ! [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 3725-3737
( ! [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 13948-13962
( ! [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 23481-23487
( ! [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 3943-3948
( ! [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 23495-23501


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