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

Formal Language: 



KB Term:  Term intersection
English Word: 

  date

Sigma KEE - date
date

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


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

Merge.kif 8660-8661
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 8657-8659
s__domain(s__date__m,1,s__Physical)

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

Merge.kif 8655-8655 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 8653-8653 date is an instance of asymmetric relation
s__instance(s__date__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

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

s__instance(s__date__m,s__SingleValuedRelation)

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

Merge.kif 8656-8656 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 266-266
s__termFormat(s__ChineseLanguage,s__date__m,'日期')

chinese_format.kif 442-442 "日期" is the printable form of date in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__date__m,'date')

domainEnglishFormat.kif 3522-3522 "date" is the printable form of date in english language

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


( ∀ [V__TEXT,V__EDITION1,V__EDITION2,V__INT2,V__DATE1,V__INT1,V__DATE2,V__PUB1,V__PUB2,V__CBO1,V__CBO2]
   ((s__subclass(V__TEXT,s__ContentBearingObject)s__and__ms__subclass(V__EDITION1,s__ContentBearingObject)s__and__ms__instance(V__EDITION1,s__SetOrClass)s__and__ms__subclass(V__EDITION2,s__ContentBearingObject)s__and__ms__instance(V__EDITION2,s__SetOrClass)s__and__ms__instance(V__INT2,s__PositiveInteger)s__and__ms__instance(V__DATE1,s__Day)s__and__ms__instance(V__INT1,s__PositiveInteger)s__and__ms__instance(V__DATE2,s__Day))
    s__=>(((s__EditionFn(V__TEXT,V__INT1)
        s__equal__mV__EDITION1)s__and__m(s__EditionFn(V__TEXT,V__INT2)
      s__equal__mV__EDITION2)s__and__ms__greaterThan(V__INT2,V__INT1)
    s__and__ms__instance(V__PUB1,s__Publication)s__and__ms__instance(V__PUB2,s__Publication)s__and__ms__instance(V__CBO1,V__EDITION1)
  s__and__ms__instance(V__CBO2,V__EDITION2)
s__and__ms__patient(V__PUB1,V__CBO1)
s__and__ms__patient(V__PUB2,V__CBO2)
s__and__ms__date(V__PUB1,V__DATE1)
s__and__ms__date(V__PUB2,V__DATE2))
s__=>s__before(s__EndFn(V__DATE1)
,s__EndFn(V__DATE2))))
)

Merge.kif 15632-15649
( ∀ [V__DateOfWithdrawal,V__MaturityDate,V__CD,V__Withdrawal]
   ((s__instance(V__DateOfWithdrawal,s__Day)s__and__ms__instance(V__MaturityDate,s__Day))
    s__=>((s__instance(V__CD,s__CertificateOfDeposit)s__and__ms__maturityDate(V__CD,V__MaturityDate)
      s__and__ms__instance(V__Withdrawal,s__Withdrawal)s__and__ms__origin(V__Withdrawal,s__CurrencyFn(V__CD))
  s__and__ms__date(V__Withdrawal,V__DateOfWithdrawal)
s__and__ms__before(s__EndFn(V__DateOfWithdrawal)
,s__BeginFn(V__MaturityDate)))
s__=>(s__exists__m[V__Penalty]
(s__instance(V__Penalty,s__Penalty)s__and__ms__destination(V__Penalty,s__CurrencyFn(V__CD))
s__and__ms__causes(V__Withdrawal,V__Penalty)))))
)

FinancialOntology.kif 1032-1044
( ∀ [V__Amount,V__Day,V__Account,V__Amount1,V__Transaction,V__Cash]
   ((s__instance(V__Amount,s__CurrencyMeasure)s__and__ms__instance(V__Day,s__Day)s__and__ms__instance(V__Account,s__FinancialAccount)s__and__ms__instance(V__Amount1,s__Quantity))
    s__=>((s__instance(V__Transaction,s__FinancialTransaction)s__and__ms__origin(V__Transaction,s__CurrencyFn(V__Account))
    s__and__ms__transactionAmount(V__Transaction,V__Amount)
  s__and__ms__instance(V__Cash,s__Currency)s__and__ms__patient(V__Transaction,V__Cash)
s__and__ms__date(V__Transaction,V__Day))
s__=>(s__exists__m[V__Amount2]
(s__instance(V__Amount2,s__CurrencyMeasure)s__and__m(s__availableCash(V__Account,V__Day,V__Amount2)
s__and__ms__greaterThanOrEqualTo(V__Amount1,V__Amount2))))))
)

FinancialOntology.kif 3675-3686
( ∀ [V__Amount,V__Day,V__Account,V__Amount1,V__Transaction]
   ((s__instance(V__Amount,s__CurrencyMeasure)s__and__ms__instance(V__Day,s__Day)s__and__ms__instance(V__Account,s__FinancialAccount)s__and__ms__instance(V__Account,s__Object)s__and__ms__instance(V__Amount1,s__Quantity))
    s__=>((s__instance(V__Transaction,s__FinancialTransaction)s__and__ms__origin(V__Transaction,V__Account)
      s__and__ms__transactionAmount(V__Transaction,V__Amount)
    s__and__ms__date(V__Transaction,V__Day))
s__=>(s__exists__m[V__Amount2]
   (s__instance(V__Amount2,s__CurrencyMeasure)s__and__m(s__availableBalance(V__Account,V__Day,V__Amount2)
  s__and__ms__greaterThanOrEqualTo(V__Amount1,V__Amount2))))))
)

FinancialOntology.kif 3655-3664
( ∀ [V__TEXT,V__INT2,V__DATE1,V__INT1,V__DATE2,V__VOLUME2,V__VOLUME1,V__PUB1,V__PUB2,V__CBO1,V__CBO2]
   ((s__subclass(V__TEXT,s__Series)s__and__ms__instance(V__TEXT,s__SetOrClass)s__and__ms__instance(V__INT2,s__PositiveInteger)s__and__ms__instance(V__DATE1,s__Day)s__and__ms__instance(V__INT1,s__PositiveInteger)s__and__ms__instance(V__DATE2,s__Day)s__and__ms__subclass(V__VOLUME2,s__Text)s__and__ms__instance(V__VOLUME2,s__SetOrClass)s__and__ms__subclass(V__VOLUME1,s__Text)s__and__ms__instance(V__VOLUME1,s__SetOrClass))
    s__=>((s__subclass(V__TEXT,s__Periodical)s__and__m(s__SeriesVolumeFn(V__TEXT,V__INT1)
      s__equal__mV__VOLUME1)s__and__m(s__SeriesVolumeFn(V__TEXT,V__INT2)
    s__equal__mV__VOLUME2)s__and__ms__greaterThan(V__INT2,V__INT1)
  s__and__ms__instance(V__PUB1,s__Publication)s__and__ms__instance(V__PUB2,s__Publication)s__and__ms__instance(V__CBO1,V__VOLUME1)
s__and__ms__instance(V__CBO2,V__VOLUME2)
s__and__ms__patient(V__PUB1,V__CBO1)
s__and__ms__patient(V__PUB2,V__CBO2)
s__and__ms__date(V__PUB1,V__DATE1)
s__and__ms__date(V__PUB2,V__DATE2))
s__=>s__before(s__EndFn(V__DATE1)
,s__EndFn(V__DATE2))))
)

Mid-level-ontology.kif 12368-12382
( ∀ [V__Amount,V__Date,V__Payment,V__DueDate,V__AmountDue,V__Account]
   ((s__instance(V__Amount,s__CurrencyMeasure)s__and__ms__instance(V__Date,s__Day)s__and__ms__instance(V__Payment,s__FinancialTransaction)s__and__ms__instance(V__DueDate,s__TimeInterval)s__and__ms__instance(V__AmountDue,s__CurrencyMeasure))
    s__=>((s__transactionAmount(V__Payment,V__Amount)
      s__and__ms__date(V__Payment,V__Date)
    s__and__ms__instance(V__Account,s__FinancialAccount)s__and__ms__destination(V__Payment,s__CurrencyFn(V__Account))
s__and__ms__amountDue(V__Account,V__AmountDue,V__DueDate)
s__and__ms__before(s__EndFn(V__Date)
,s__BeginFn(V__DueDate)))
s__=>s__instance(V__Payment,s__Prepayment)))
)

FinancialOntology.kif 779-787

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__and__ms__instance(V__Loan,s__Loan)s__and__ms__instance(V__Date,s__TimePoint)s__and__ms__instance(V__Date,s__Day))
    s__=>((s__downPayment(V__Loan,V__Amount)
      s__and__ms__agreementEffectiveDate(V__Loan,V__Date))
  s__=>(s__exists__m[V__Payment]
     (s__instance(V__Payment,s__FinancialTransaction)s__and__m(s__transactionAmount(V__Payment,V__Amount)
    s__and__ms__date(V__Payment,V__Date)
  s__and__ms__destination(V__Payment,s__CurrencyFn(V__Loan)))))))
)

FinancialOntology.kif 757-765
( ∀ [V__Amount,V__Date,V__Balance,V__Account,V__FinancialAccount]
   ((s__instance(V__Amount,s__CurrencyMeasure)s__and__ms__instance(V__Date,s__TimePoint)s__and__ms__instance(V__Date,s__Day)s__and__ms__instance(V__Balance,s__CurrencyMeasure)s__and__ms__instance(V__Account,s__FinancialAccount)s__and__ms__instance(V__FinancialAccount,s__SetOrClass))
    s__=>((s__instance(V__Account,V__FinancialAccount)
      s__and__ms__minimumBalance(V__Account,s__OpeningAnAccount,V__Balance))
  s__=>(s__exists__m[V__Payment]
     (s__instance(V__Payment,s__FinancialTransaction)s__and__m(s__destination(V__Payment,s__CurrencyFn(V__Account))
  s__and__ms__transactionAmount(V__Payment,V__Amount)
s__and__ms__greaterThanOrEqualTo(V__Amount,V__Balance)
s__and__ms__agreementEffectiveDate(V__Account,V__Date)
s__and__ms__date(V__Payment,V__Date))))))
)

FinancialOntology.kif 646-656
( ∀ [V__Amount,V__Date,V__Balance,V__Account,V__FinancialAccount]
   ((s__instance(V__Amount,s__CurrencyMeasure)s__and__ms__instance(V__Date,s__Day)s__and__ms__instance(V__Balance,s__CurrencyMeasure)s__and__ms__instance(V__Account,s__FinancialAccount)s__and__ms__instance(V__FinancialAccount,s__SetOrClass))
    s__=>((s__instance(V__Account,V__FinancialAccount)
      s__and__ms__minimumBalance(V__Account,s__UsingAnAccount,V__Balance)
    s__and__ms__currentAccountBalance(V__Account,V__Date,V__Amount)
  s__and__ms__lessThan(V__Amount,V__Balance))
s__=>(s__exists__m[V__Penalty]
(s__instance(V__Penalty,s__Penalty)s__and__ms__date(V__Penalty,V__Date)
s__and__ms__destination(V__Penalty,s__CurrencyFn(V__Account))))))
)

FinancialOntology.kif 658-668
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1353-1363
( ∀ [V__P,V__D]
   ((s__instance(V__P,s__Human)s__and__ms__instance(V__D,s__Day))
    s__=>(s__birthdate(V__P,V__D)
    s__=>(s__exists__m[V__B]
       (s__instance(V__B,s__Birth)s__and__ms__experiencer(V__B,V__P)
      s__and__ms__date(V__B,V__D)))))
)

Mid-level-ontology.kif 21974-21980
( ∀ [V__Date,V__Statement]
   ((s__instance(V__Date,s__Day)s__and__ms__instance(V__Statement,s__BankStatement))
    s__=>(s__dateOfStatement(V__Statement,V__Date)
    s__=>(s__exists__m[V__Copy]
       (s__instance(V__Copy,s__ContentBearingPhysical)s__and__m(s__containsInformation(V__Copy,V__Statement)
      s__and__ms__date(V__Copy,V__Date))))))
)

FinancialOntology.kif 3867-3872
( ∀ [V__P,V__T]
   ((s__instance(V__P,s__Human)s__and__ms__instance(V__T,s__Day))
    s__=>(s__deathdate(V__P,V__T)
    s__=>(s__exists__m[V__D]
       (s__instance(V__D,s__Death)s__and__ms__experiencer(V__D,V__P)
      s__and__ms__date(V__D,V__T)))))
)

Mid-level-ontology.kif 21988-21994


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