Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
date
Sigma KEE - date
date
appearance as argument number 1
(
documentation
date
ChineseLanguage
"这是一个
BinaryPredicate
, 它以绝对日历时间,以一天为限, 为特定的
Object
或
Process
指定一个
TimePosition
。")
chinese_format.kif 2747-2748
(
documentation
date
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 8594-8596
(
documentation
date
JapaneseLanguage
"
BinaryPredicate
は、特定の O または P に対して、1日 の解像度で、絶対暦時間に
TimePosition
を指定する。")
japanese_format.kif 1473-1474
(
domain
date
1
Physical
)
Merge.kif 8590-8590
The number 1 argument of
date
is an
instance
of
physical
(
domain
date
2
Day
)
Merge.kif 8591-8591
The number 2 argument of
date
is an
instance
of
day
(
instance
date
BinaryPredicate
)
Merge.kif 8588-8588
date
is an
instance
of
binary predicate
(
instance
date
SingleValuedRelation
)
Merge.kif 8589-8589
date
is an
instance
of
single valued relation
(
subrelation
date
time
)
Merge.kif 8592-8592
date
is a
subrelation
of
time
appearance as argument number 2
(
format
ChineseLanguage
date
"%1 的
date
%n 是 %2")
chinese_format.kif 441-441
(
format
EnglishLanguage
date
"
date
of %1 is %n %2")
english_format.kif 447-447
(
format
FrenchLanguage
date
"la
date
de %1 est %n %2")
french_format.kif 255-255
(
format
ItalianLanguage
date
"data di %1 è %n %2")
relations-it.txt 64-64
(
format
JapaneseLanguage
date
"%1 の
date
は %2 では %n ")
japanese_format.kif 2049-2049
(
format
PortugueseLanguage
date
"a data de %1 e' %n %2")
portuguese_format.kif 207-207
(
format
cb
date
"ang petsang %1 %n ay %2")
relations-cb.txt 98-98
(
format
cz
date
"
date
of %1 %p{je} %n{nen�} %2")
relations-cz.txt 261-261
(
format
de
date
"datum von %1 ist %2 %n{nicht}")
relations-de.txt 576-576
(
format
hi
date
"%1 kaa dinaanka %2 %n hai")
relations-hindi.txt 105-105
(
format
ro
date
"
date
%t{data} lui %1 %n{nu} este %2")
relations-ro.kif 276-276
(
format
sv
date
"datum för %1 är %n{inte} %2")
relations-sv.txt 280-280
(
format
tg
date
"ang petsang %1 %n ay %2")
relations-tg.txt 144-144
(
termFormat
ChineseLanguage
date
"日期")
chinese_format.kif 442-442
(
termFormat
ChineseTraditionalLanguage
date
"日期")
domainEnglishFormat.kif 18616-18616
(
termFormat
EnglishLanguage
date
"date")
domainEnglishFormat.kif 18615-18615
(
termFormat
tg
date
"petsa")
relations-tg.txt 145-145
antecedent
(=>
(
and
(
equal
(
EditionFn
?TEXT ?INT1) ?EDITION1)
(
equal
(
EditionFn
?TEXT ?INT2) ?EDITION2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?EDITION1)
(
instance
?CBO2 ?EDITION2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Merge.kif 15567-15584
If
edition
a positive integer
of
a kind of content bearing object
is
equal
to
another kind of content bearing object
and
edition
another positive integer
of
a kind of content bearing object
is
equal
to
a third kind of content bearing object
and
the other positive integer
is
greater
than
the positive integer
and
a process
is an
instance
of
publication
and
another process
is an
instance
of
publication
and
an entity
is an
instance
of
another kind of content bearing object
and
another entity
is an
instance
of
a third kind of content bearing object
and
the entity
is a
patient
of
the process
and
the other entity
is a
patient
of
the other process
and
date
of
the process
is
a day
and
date
of
the other process
is
another day
,
then the
end
of
the day
happens
before
the
end
of
the other day
(=>
(
and
(
instance
?CD
CertificateOfDeposit
)
(
maturityDate
?CD ?MaturityDate)
(
instance
?Withdrawal
Withdrawal
)
(
origin
?Withdrawal
(
CurrencyFn
?CD))
(
date
?Withdrawal ?DateOfWithdrawal)
(
before
(
EndFn
?DateOfWithdrawal)
(
BeginFn
?MaturityDate)))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?CD))
(
causes
?Withdrawal ?Penalty))))
FinancialOntology.kif 1087-1099
If
a financial account
is an
instance
of
certificate of deposit
and
a day
is a
maturity
date of
the financial account
and
a process
is an
instance
of
withdrawal
and
the process
originate
s at the
currency
of
the financial account
and
date
of
the process
is
another day
and the
end
of
the other day
happens
before
the
beginning
of
the day
,
then there exists
another process
such that
the other process
is an
instance
of
penalty
and
the other process
end
s up at the
currency
of
the financial account
and
the process
cause
s
the other process
(=>
(
and
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account))
(
transactionAmount
?Transaction
(
MeasureFn
?Amount1 ?U))
(
instance
?U
UnitOfCurrency
)
(
instance
?Cash
Currency
)
(
patient
?Transaction ?Cash)
(
date
?Transaction ?Day))
(
exists
(?Amount2)
(
and
(
availableCash
?Account ?Day
(
MeasureFn
?Amount2 ?U))
(
greaterThanOrEqualTo
?Amount1 ?Amount2))))
FinancialOntology.kif 3838-3852
If
a financial transaction
is an
instance
of
financial transaction
and
the financial transaction
originate
s at the
currency
of
a financial account
and
a real number
an unit of measure
(s) is a
transaction
amount of
the financial transaction
and
the unit of measure
is an
instance
of
unit of currency
and
an entity
is an
instance
of
currency
and
the entity
is a
patient
of
the financial transaction
and
date
of
the financial transaction
is
a day
,
then there exists
another real number
such that the
available
cash
of
the financial account
on
the day
is
the other real number
the unit of measure
(s) and
the real number
is
greater
than or equal to
the other real number
(=>
(
and
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction ?Account)
(
transactionAmount
?Transaction
(
MeasureFn
?Amount1 ?U))
(
instance
?U
UnitOfCurrency
)
(
date
?Transaction ?Day))
(
exists
(?Amount2)
(
and
(
availableBalance
?Account ?Day
(
MeasureFn
?Amount2 ?U))
(
greaterThanOrEqualTo
?Amount1 ?Amount2))))
FinancialOntology.kif 3815-3827
If
a financial transaction
is an
instance
of
financial transaction
and
the financial transaction
originate
s at
a financial account
and
a real number
an unit of measure
(s) is a
transaction
amount of
the financial transaction
and
the unit of measure
is an
instance
of
unit of currency
and
date
of
the financial transaction
is
a day
,
then there exists
another real number
such that the
available
balance
of
the financial account
on
the day
is
the other real number
the unit of measure
(s) and
the real number
is
greater
than or equal to
the other real number
(=>
(
and
(
instance
?WED
Wedding
)
(
date
?WED ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
weddingAnniversary
?WED ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24515-24526
If
a physical
is an
instance
of
wedding
and
date
of
the physical
is
a day
and
the day
is an
instance
of the
day
a positive integer
,
then there exist
another kind of day
and
an integer
such that
weddingAnniversary
the physical
and
another kind of day
and
the other kind of day
is a
subclass
of
day
and
the integer
is an
instance
of
integer
and
the other kind of day
is
equal
to the
day
the positive integer
and
the integer
is
greater
than
another integer
(=>
(
and
(
subclass
?TEXT
Periodical
)
(
equal
(
SeriesVolumeFn
?TEXT ?INT1) ?VOLUME1)
(
equal
(
SeriesVolumeFn
?TEXT ?INT2) ?VOLUME2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?VOLUME1)
(
instance
?CBO2 ?VOLUME2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Mid-level-ontology.kif 14874-14888
If
a kind of series
is a
subclass
of
periodical
and volume
a positive integer
in the
series
a kind of series
is
equal
to
a kind of text
and volume
another positive integer
in the
series
the kind of series
is
equal
to
another kind of text
and
the other positive integer
is
greater
than
the positive integer
and
a process
is an
instance
of
publication
and
another process
is an
instance
of
publication
and
an entity
is an
instance
of
a kind of text
and
another entity
is an
instance
of
another kind of text
and
the entity
is a
patient
of
the process
and
the other entity
is a
patient
of
the other process
and
date
of
the process
is
a day
and
date
of
the other process
is
another day
,
then the
end
of
the day
happens
before
the
end
of
the other day
(=>
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
instance
?Account
FinancialAccount
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
amountDue
?Account ?Amount ?DueDate)
(
before
(
EndFn
?Date)
(
BeginFn
?DueDate)))
(
instance
?Payment
Prepayment
))
FinancialOntology.kif 834-842
If
a currency measure
is a
transaction
amount of
a financial transaction
and
date
of
the financial transaction
is
a day
and
a financial account
is an
instance
of
financial account
and
the financial transaction
end
s up at the
currency
of
the financial account
and
the financial account
amount
due
the currency measure
for
a time interval
and the
end
of
the day
happens
before
the
beginning
of
the time interval
,
then
the financial transaction
is an
instance
of
prepayment
consequent
(=>
(
and
(
amountDue
?Account ?Amount ?DueDate)
(
accountHolder
?Account ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Amount)
(
or
(
destination
?Payment
(
CurrencyFn
?Account))
(
origin
?Payment
(
CurrencyFn
?Account)))
(
date
?Payment ?Date)
(
beforeOrEqual
(
EndFn
?Date)
(
BeginFn
?DueDate)))) ?Agent))
FinancialOntology.kif 655-667
If
a financial account
amount
due
a currency measure
for
a time position
and
a cognitive agent
holds
account
the financial account
,
then
the cognitive agent
is
obliged
to perform tasks of type the
class
described by
a symbolic string
(=>
(
and
(
downPayment
?Loan ?Amount)
(
agreementEffectiveDate
?Loan ?Date))
(
exists
(?Payment)
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
destination
?Payment
(
CurrencyFn
?Loan)))))
FinancialOntology.kif 807-816
If
a currency measure
is a
down
payment of
a loan
and
a time point
is an
agreement
effective date of
the loan
,
then there exists
a financial transaction
such that
the currency measure
is a
transaction
amount of
the financial transaction
and
date
of
the financial transaction
is
the time point
and
the financial transaction
end
s up at the
currency
of
the loan
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
minimumBalance
?Account
OpeningAnAccount
(
MeasureFn
?Balance ?U))
(
instance
?U
UnitOfCurrency
))
(
exists
(?Payment ?Date ?Amount)
(
and
(
destination
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?U))
(
greaterThanOrEqualTo
?Amount ?Balance)
(
agreementEffectiveDate
?Account ?Date)
(
date
?Payment ?Date))))
FinancialOntology.kif 686-699
If
a financial account
is an
instance
of
financial account
and
the financial account
is
minimum
balance
opening an account
for
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of currency
,
then there exist
a financial transaction
,
a time point
and
another real number
such that
the financial transaction
end
s up at the
currency
of
the financial account
and
the other real number
the unit of measure
(s) is a
transaction
amount of
the financial transaction
and
the other real number
is
greater
than or equal to
the real number
and
the time point
is an
agreement
effective date of
the financial account
and
date
of
the financial transaction
is
the time point
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
minimumBalance
?Account
UsingAnAccount
(
MeasureFn
?Balance ?U))
(
instance
?U
UnitOfCurrency
)
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Amount ?U))
(
lessThan
?Amount ?Balance))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
date
?Penalty ?Date)
(
destination
?Penalty
(
CurrencyFn
?Account)))))
FinancialOntology.kif 701-714
If
a financial account
is an
instance
of
financial account
and
the financial account
is
minimum
balance
using an account
for
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of currency
and
the financial account
current
account balance
a day
for
another real number
the unit of measure
(s) and
the other real number
is
less
than
the real number
,
then there exists
a process
such that
the process
is an
instance
of
penalty
and
date
of
the process
is
the day
and
the process
end
s up at the
currency
of
the financial account
(=>
(
and
(
instance
?Loan
BalloonLoan
)
(
maturityDate
?Loan ?Date)
(
totalBalance
?Loan ?Amount)
(
borrower
?Loan ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
date
?Payment ?Date)
(
transactionAmount
?Payment ?Amount)
(
destination
?Payment
(
CurrencyFn
?Loan)))) ?Agent))
FinancialOntology.kif 1411-1421
If
a loan
is an
instance
of
balloon loan
and
a day
is a
maturity
date of
the loan
and
a currency measure
is a
total
balance of
the loan
and
the loan
is the
borrower
of
a cognitive agent
,
then
the cognitive agent
is
obliged
to perform tasks of type the
class
described by
a symbolic string
(=>
(
baptizeddate
?PERSON ?DAY)
(
exists
(?BAPTISM)
(
and
(
instance
?BAPTISM
Baptizing
)
(
experiencer
?BAPTISM ?PERSON)
(
date
?BAPTISM ?DAY))))
Biography.kif 178-184
If
a human
was
baptizing
on
a day
,
then there exists
a process
such that
the process
is an
instance
of
baptizing
and
the human
experience
s
the process
and
date
of
the process
is
the day
(=>
(
birthdate
?P ?D)
(
exists
(?B)
(
and
(
instance
?B
Birth
)
(
experiencer
?B ?P)
(
date
?B ?D))))
Mid-level-ontology.kif 24590-24596
If
a day
is a
birthdate
of
a human
,
then there exists
a process
such that
the process
is an
instance
of
birth
and
the human
experience
s
the process
and
date
of
the process
is
the day
(=>
(
dateOfStatement
?Statement ?Date)
(
exists
(?Copy)
(
and
(
containsInformation
?Copy ?Statement)
(
date
?Copy ?Date))))
FinancialOntology.kif 4031-4036
If
a day
is a
date
of statement of
a bank statement
,
then there exists
a content bearing physical
such that
the content bearing physical
contain
s information
the bank statement
and
date
of
the content bearing physical
is
the day
(=>
(
deathdate
?P ?T)
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
date
?D ?T))))
Mid-level-ontology.kif 24604-24610
If
a day
is a
deathdate
of
a human
,
then there exists
a process
such that
the process
is an
instance
of
death
and
the human
experience
s
the process
and
date
of
the process
is
the day
(=>
(
weddingdate
?PERSON1 ?PERSON2 ?DAY)
(
exists
(?WEDDING)
(
and
(
instance
?WEDDING
Wedding
)
(
patient
?WEDDING ?PERSON1)
(
patient
?WEDDING ?PERSON2)
(
not
(
equal
?PERSON1 ?PERSON2))
(
date
?WEDDING ?DAY))))
Mid-level-ontology.kif 24536-24545
If
a human
and
another human
were
married
on
a day
,
then there exists
a process
such that
the process
is an
instance
of
wedding
and
the human
is a
patient
of
the process
and
the other human
is a
patient
of
the process
and
the human
is not
equal
to
the other human
and
date
of
the process
is
the day
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 3.0 is
open source software
produced by
Articulate Software
and its partners