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 8570-8572
(
documentation
date
JapaneseLanguage
"
BinaryPredicate
は、特定の O または P に対して、1日 の解像度で、絶対暦時間に
TimePosition
を指定する。")
japanese_format.kif 1473-1474
(
domain
date
1
Physical
)
Merge.kif 8566-8566
域
日期
, 1 and
Physical
(
domain
date
2
Day
)
Merge.kif 8567-8567
域
日期
, 2 and
Day
(
instance
date
BinaryPredicate
)
Merge.kif 8564-8564
例
日期
and
BinaryPredicate
(
instance
date
SingleValuedRelation
)
Merge.kif 8565-8565
例
日期
and
SingleValuedRelation
(
subrelation
date
time
)
Merge.kif 8568-8568
子關係
日期
and
時間
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 18605-18605
(
termFormat
EnglishLanguage
date
"date")
domainEnglishFormat.kif 18604-18604
(
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 15537-15554
等於
版
ContentBearingObject
and
PositiveInteger
and
ContentBearingObject
等於
版
ContentBearingObject
and
PositiveInteger
and
ContentBearingObject
比較多
PositiveInteger
and
PositiveInteger
例
Process
and
Publication
例
Process
and
Publication
例
Entity
and
ContentBearingObject
例
Entity
and
ContentBearingObject
患者
Process
and
Entity
患者
Process
and
Entity
日期
Process
and
Day
日期
Process
and
Day
之前
結束
Day
and
結束
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
例
金融賬戶
and
存款證
Day
是
金融賬戶
的
maturity
日期
例
Process
and
退出
起源
Process
and
金融賬戶
的
currency
日期
Process
and
Day
之前
結束
Day
and
開始
Day
Process
例
Process
and
罰款
目的地
Process
and
金融賬戶
的
currency
原因
Process
and
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
例
FinancialTransaction
and
FinancialTransaction
起源
FinancialTransaction
and
金融賬戶
的
currency
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
例
UnitOfMeasure
and
UnitOfCurrency
例
Entity
and
貨幣
患者
FinancialTransaction
and
Entity
日期
FinancialTransaction
and
Day
RealNumber
金融賬戶
在
Day
的
available
cash
是
測量
RealNumber
and
UnitOfMeasure
大於或等於
RealNumber
and
RealNumber
(=>
(
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
例
FinancialTransaction
and
FinancialTransaction
起源
FinancialTransaction
and
金融賬戶
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
例
UnitOfMeasure
and
UnitOfCurrency
日期
FinancialTransaction
and
Day
RealNumber
金融賬戶
在
Day
的
available
balance
是
測量
RealNumber
and
UnitOfMeasure
大於或等於
RealNumber
and
RealNumber
(=>
(
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 24194-24205
例
Physical
and
婚禮
日期
Physical
and
Day
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
Day
Integer
weddingAnniversary
Physical
and
Day
子類
Day
and
Day
例
Integer
and
Integer
等於
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
比較多
Integer
and
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 14623-14637
子類
Series
and
Periodical
等於
系列卷
Series
and
PositiveInteger
and
Text
等於
系列卷
Series
and
PositiveInteger
and
Text
比較多
PositiveInteger
and
PositiveInteger
例
Process
and
Publication
例
Process
and
Publication
例
Entity
and
Text
例
Entity
and
Text
患者
Process
and
Entity
患者
Process
and
Entity
日期
Process
and
Day
日期
Process
and
Day
之前
結束
Day
and
結束
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
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
日期
FinancialTransaction
and
Day
例
金融賬戶
and
金融賬戶
目的地
FinancialTransaction
and
金融賬戶
的
currency
金融賬戶
對於
TimeInterval
到期的
amount
CurrencyMeasure
之前
結束
Day
and
開始
TimeInterval
例
FinancialTransaction
and
預付款
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
金融賬戶
對於
TimePosition
到期的
amount
CurrencyMeasure
CognitiveAgent
持有
account
金融賬戶
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
付款
CurrencyMeasure
是
SymbolicString
的
transaction
總額
目的地
SymbolicString
and
金融賬戶
的
currency
起源
SymbolicString
and
金融賬戶
的
currency
日期
SymbolicString
and
entity
之前或相等
結束
entity
and
開始
TimePosition
and
CognitiveAgent
(=>
(
and
(
downPayment
?Loan ?Amount)
(
agreementEffectiveDate
?Loan ?Date))
(
exists
(?Payment)
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
destination
?Payment
(
CurrencyFn
?Loan)))))
FinancialOntology.kif 807-816
CurrencyMeasure
是
貸款
的
down
費用
TimePoint
是
貸款
的
agreement
生效日期
FinancialTransaction
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
日期
FinancialTransaction
and
TimePoint
目的地
FinancialTransaction
and
貸款
的
currency
(=>
(
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
例
金融賬戶
and
金融賬戶
金融賬戶
是 對於
測量
RealNumber
and
UnitOfMeasure
的
minimum
金額
開戶
例
UnitOfMeasure
and
UnitOfCurrency
FinancialTransaction
TimePoint
and
RealNumber
目的地
FinancialTransaction
and
金融賬戶
的
currency
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
大於或等於
RealNumber
and
RealNumber
TimePoint
是
金融賬戶
的
agreement
生效日期
日期
FinancialTransaction
and
TimePoint
(=>
(
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
例
金融賬戶
and
金融賬戶
金融賬戶
是 對於
測量
RealNumber
and
UnitOfMeasure
的
minimum
金額
使用帳戶
例
UnitOfMeasure
and
UnitOfCurrency
金融賬戶
對於 %3 的
current
帳戶存款
少於
RealNumber
and
RealNumber
Process
例
Process
and
罰款
日期
Process
and
Day
目的地
Process
and
金融賬戶
的
currency
(=>
(
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
例
貸款
and
氣球貸款
Day
是
貸款
的
maturity
日期
CurrencyMeasure
是
貸款
的
total
存款
貸款
是
CognitiveAgent
的
borrower
持有義務
卡帕
SymbolicString
and
日期
SymbolicString
and
Day
CurrencyMeasure
是
SymbolicString
的
transaction
總額
目的地
SymbolicString
and
貸款
的
currency
and
CognitiveAgent
(=>
(
baptizeddate
?PERSON ?DAY)
(
exists
(?BAPTISM)
(
and
(
instance
?BAPTISM
Baptizing
)
(
experiencer
?BAPTISM ?PERSON)
(
date
?BAPTISM ?DAY))))
Biography.kif 178-184
Human
是在
Day
被
baptizing
Process
例
Process
and
施洗
體驗者
Process
and
Human
日期
Process
and
Day
(=>
(
birthdate
?P ?D)
(
exists
(?B)
(
and
(
instance
?B
Birth
)
(
experiencer
?B ?P)
(
date
?B ?D))))
Mid-level-ontology.kif 24269-24275
Day
是
Human
的
birthdate
Process
例
Process
and
Birth
體驗者
Process
and
Human
日期
Process
and
Day
(=>
(
dateOfStatement
?Statement ?Date)
(
exists
(?Copy)
(
and
(
containsInformation
?Copy ?Statement)
(
date
?Copy ?Date))))
FinancialOntology.kif 4031-4036
%2 是 %3 的聲明
date
內容承載物理
包含信息
內容承載物理
and
銀行對帳單
日期
內容承載物理
and
Day
(=>
(
deathdate
?P ?T)
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
date
?D ?T))))
Mid-level-ontology.kif 24283-24289
Day
是
Human
的
deathdate
Process
例
Process
and
Death
體驗者
Process
and
Human
日期
Process
and
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 24215-24224
Human
和
Human
之前是
married
在
Day
Process
例
Process
and
婚禮
患者
Process
and
Human
患者
Process
and
Human
等於
Human
and
Human
日期
Process
and
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