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 8548-8550
(
documentation
date
JapaneseLanguage
"
BinaryPredicate
は、特定の O または P に対して、1日 の解像度で、絶対暦時間に
TimePosition
を指定する。")
japanese_format.kif 1473-1474
(
domain
date
1
Physical
)
Merge.kif 8544-8544
日期
的 1 数量 是
物理
的
instance
(
domain
date
2
Day
)
Merge.kif 8545-8545
日期
的 2 数量 是
日
的
instance
(
instance
date
BinaryPredicate
)
Merge.kif 8542-8542
日期
是
二元谓语
的
instance
(
instance
date
SingleValuedRelation
)
Merge.kif 8543-8543
日期
是
单值关系
的
instance
(
subrelation
date
time
)
Merge.kif 8546-8546
日期
是
时间
的
subrelation
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 15515-15532
如果 ?TEXT的第
另一个 正整数
版
equal
有点 有内用物体
和 ?TEXT的第
正整数
版
equal
另一个 有点 有内用物体
和
那个 正整数
是
greaterThan
那个 另外 正整数
和
过程
是
出版
的
instance
和
另一个 过程
是
出版
的
instance
和
第三 实体
是
有点 有内用物体
的
instance
和
第四 实体
是
另一个 有点 有内用物体
的
instance
和
那个 第三 实体
是
那个 过程
的
patient
和
那个 第四 实体
是
那个 另外 过程
的
patient
和
那个 过程
的
date
是
日
和
那个 另外 过程
的
date
是
另一个 日
,
然后
那个 日
的结束%n在
那个 另外 日
的结束
before
发生
(=>
(
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
如果
金融账户
是
存款证
的
instance
和
日
是
那个 金融账户
的
maturity
日期 和
过程
是
退出
的
instance
和
那个 金融账户
的
currency
是
那个 过程
的源头 和
那个 过程
的
date
是
另一个 日
和
那个 另外 日
的结束%n在
那个 日
的开始
before
发生,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
罚款
的
instance
和
那个 另外 过程
在
那个 金融账户
的
currency
结束 和
那个 过程
causes
那个 另外 过程
(=>
(
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
如果
金融交易
是
金融交易
的
instance
和
金融账户
的
currency
是
那个 金融交易
的源头 和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 测量单位
是
UnitOfCurrency
的
instance
和
实体
是
货币
的
instance
和
那个 实体
是
那个 金融交易
的
patient
和
那个 金融交易
的
date
是
日
,
然后 有存在
另一个 实数
这样
那个 金融账户
在
那个 日
的
available
cash
是
那个 另外 实数
那个 测量单位
和
那个 实数
是
greaterThanOrEqualTo
那个 另外 实数
(=>
(
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
如果
金融交易
是
金融交易
的
instance
和
金融账户
是
那个 金融交易
的源头 和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 金融交易
的
date
是
日
,
然后 有存在
另一个 实数
这样
那个 金融账户
在
那个 日
的
available
balance
是
那个 另外 实数
那个 测量单位
和
那个 实数
是
greaterThanOrEqualTo
那个 另外 实数
(=>
(
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 24195-24206
如果
物理
是
婚礼
的
instance
和
那个 物理
的
date
是
日
和
那个 日
是
正整数
day
的
instance
,
然后 有存在
另一个 有点 日
和
整数
这样
weddingAnniversary
那个 物理
and
另一个 有点 日
和
那个 另外 有点 日
是
日
的
subclass
和
那个 整数
是
整数
的
instance
和
那个 另外 有点 日
equal
那个 正整数
day
和
那个 整数
是
greaterThan
另一个 整数
(=>
(
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 14624-14638
如果
有点 系列
是
期刊
的
subclass
和 系列
有点 系列
的第
另一个 正整数
卷
equal
有点 文本
和 系列
那个 有点 系列
的第
正整数
卷
equal
另一个 有点 文本
和
那个 正整数
是
greaterThan
那个 另外 正整数
和
过程
是
出版
的
instance
和
另一个 过程
是
出版
的
instance
和
第三 实体
是
有点 文本
的
instance
和
第四 实体
是
另一个 有点 文本
的
instance
和
那个 第三 实体
是
那个 过程
的
patient
和
那个 第四 实体
是
那个 另外 过程
的
patient
和
那个 过程
的
date
是
日
和
那个 另外 过程
的
date
是
另一个 日
,
然后
那个 日
的结束%n在
那个 另外 日
的结束
before
发生
(=>
(
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
如果
货币测量
是
金融交易
的
transaction
总额 和
那个 金融交易
的
date
是
日
和
金融账户
是
金融账户
的
instance
和
那个 金融交易
在
那个 金融账户
的
currency
结束 和
那个 金融账户
对于
时距
到期的
amount
那个 货币测量
和
那个 日
的结束%n在
那个 时距
的开始
before
发生,
然后
那个 金融交易
是
预付款
的
instance
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
如果
金融账户
对于
时间位置
到期的
amount
货币测量
和
有认知的主事
持有
account
那个 金融账户
,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
and
(
downPayment
?Loan ?Amount)
(
agreementEffectiveDate
?Loan ?Date))
(
exists
(?Payment)
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
destination
?Payment
(
CurrencyFn
?Loan)))))
FinancialOntology.kif 807-816
如果
货币测量
是
贷款
的
down
费用 和
时点
是
那个 贷款
的
agreement
生效日期,
然后 有存在
金融交易
这样
那个 货币测量
是
那个 金融交易
的
transaction
总额 和
那个 金融交易
的
date
是
那个 时点
和
那个 金融交易
在
那个 贷款
的
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
如果
金融账户
是
金融账户
的
instance
和
那个 金融账户
是 对于
实数
测量单位
的
minimum
金额
开户
和
那个 测量单位
是
UnitOfCurrency
的
instance
,
然后 有存在
金融交易
,
时点
, and 和
另一个 实数
这样
那个 金融交易
在
那个 金融账户
的
currency
结束 和
那个 另外 实数
那个 测量单位
是
那个 金融交易
的
transaction
总额 和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 时点
是
那个 金融账户
的
agreement
生效日期 和
那个 金融交易
的
date
是
那个 时点
(=>
(
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
如果
金融账户
是
金融账户
的
instance
和
那个 金融账户
是 对于
实数
测量单位
的
minimum
金额
使用帐户
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 金融账户
对于 %3 的
current
帐户存款 和
另一个 实数
是
lessThan
那个 实数
,
然后 有存在
过程
这样
那个 过程
是
罚款
的
instance
和
那个 过程
的
date
是
日
和
那个 过程
在
那个 金融账户
的
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
如果
贷款
是
气球贷款
的
instance
和
日
是
那个 贷款
的
maturity
日期 和
货币测量
是
那个 贷款
的
total
存款 和
那个 贷款
是
有认知的主事
的
borrower
,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
baptizeddate
?PERSON ?DAY)
(
exists
(?BAPTISM)
(
and
(
instance
?BAPTISM
Baptizing
)
(
experiencer
?BAPTISM ?PERSON)
(
date
?BAPTISM ?DAY))))
Biography.kif 178-184
如果
人类
是在
日
被
baptizing
,
然后 有存在
过程
这样
那个 过程
是
施洗
的
instance
和
那个 人类
经历了
那个 过程
和
那个 过程
的
date
是
那个 日
(=>
(
birthdate
?P ?D)
(
exists
(?B)
(
and
(
instance
?B
Birth
)
(
experiencer
?B ?P)
(
date
?B ?D))))
Mid-level-ontology.kif 24270-24276
如果
日
是
人类
的
birthdate
,
然后 有存在
过程
这样
那个 过程
是
出生
的
instance
和
那个 人类
经历了
那个 过程
和
那个 过程
的
date
是
那个 日
(=>
(
dateOfStatement
?Statement ?Date)
(
exists
(?Copy)
(
and
(
containsInformation
?Copy ?Statement)
(
date
?Copy ?Date))))
FinancialOntology.kif 4031-4036
如果 %2 是 %3 的声明
date
,
然后 有存在
内容承载物理
这样
那个 内容承载物理
contains
银行对帐单
的资料 和
那个 内容承载物理
的
date
是
日
(=>
(
deathdate
?P ?T)
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
date
?D ?T))))
Mid-level-ontology.kif 24284-24290
如果
日
是
人类
的
deathdate
,
然后 有存在
过程
这样
那个 过程
是
死亡
的
instance
和
那个 人类
经历了
那个 过程
和
那个 过程
的
date
是
那个 日
(=>
(
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 24216-24225
如果
人类
和
另一个 人类
之前是
married
在
日
,
然后 有存在
过程
这样
那个 过程
是
婚礼
的
instance
和
那个 人类
是
那个 过程
的
patient
和
那个 另外 人类
是
那个 过程
的
patient
和
那个 人类
不
equal
那个 另外 人类
和
那个 过程
的
date
是
那个 日
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