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
date
の数値 1 引数は
物理
の
instance
では %n
(
domain
date
2
Day
)
Merge.kif 8567-8567
date
の数値 2 引数は
日
の
instance
では %n
(
instance
date
BinaryPredicate
)
Merge.kif 8564-8564
date
は
2進述語
の
instance
では %n
(
instance
date
SingleValuedRelation
)
Merge.kif 8565-8565
date
は
一価関係
の
instance
では %n
(
subrelation
date
time
)
Merge.kif 8568-8568
date
は
time
の
subrelation
では %n
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
コンテンツベアリングオブジェクト
の
edition
正の整数
は
コンテンツベアリングオブジェクト
と
equal
では %n
コンテンツベアリングオブジェクト
の
edition
正の整数
は
コンテンツベアリングオブジェクト
と
equal
では %n
正の整数
は
正の整数
より
greater
では %n
工程
は
出版
の
instance
では %n
工程
は
出版
の
instance
では %n
エンティティー
は
コンテンツベアリングオブジェクト
の
instance
では %n
エンティティー
は
コンテンツベアリングオブジェクト
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
工程
の
date
は
日
では
工程
の
date
は
日
では
日
の
end
は
日
の
end
の
before
に happens %n{ない}
(=>
(
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
FinancialAccount
は
CertificateOfDeposit
の
instance
では %n
maturityDate
FinancialAccount
and
日
工程
は
Withdrawal
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
工程
の
date
は
日
では
日
の
end
は
日
の
beginning
の
before
に happens %n{ない}
工程
工程
は
Penalty
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
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
では %n
金融取引
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
transactionAmount
金融取引
and
実数
の
測定単位
(s)
測定単位
は
UnitOfCurrency
の
instance
では %n
エンティティー
は
Currency
の
instance
では %n
エンティティー
は
金融取引
の
patient
では %n
金融取引
の
date
は
日
では
実数
availableCash
FinancialAccount
,
日
and
実数
の
測定単位
(s)
実数
は
実数
greater
では %n
(=>
(
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
では %n
金融取引
は
FinancialAccount
から
originate
s %n{ない}
transactionAmount
金融取引
and
実数
の
測定単位
(s)
測定単位
は
UnitOfCurrency
の
instance
では %n
金融取引
の
date
は
日
では
実数
availableBalance
FinancialAccount
,
日
and
実数
の
測定単位
(s)
実数
は
実数
greater
では %n
(=>
(
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
物理
は
Wedding
の
instance
では %n
物理
の
date
は
日
では
日
は
正の整数
day
目 の
instance
では %n
日
整数
weddingAnniversary
物理
and
日
日
は
日
の
subclass
では %n
整数
は
整数
の
instance
では %n
日
は
正の整数
day
目 と
equal
では %n
整数
は
整数
より
greater
では %n
(=>
(
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
シリーズ
は
周期的
の
subclass
では %n
series
シリーズ
の volume
正の整数
は
テキスト
と
equal
では %n
series
シリーズ
の volume
正の整数
は
テキスト
と
equal
では %n
正の整数
は
正の整数
より
greater
では %n
工程
は
出版
の
instance
では %n
工程
は
出版
の
instance
では %n
エンティティー
は
テキスト
の
instance
では %n
エンティティー
は
テキスト
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
工程
の
date
は
日
では
工程
の
date
は
日
では
日
の
end
は
日
の
end
の
before
に happens %n{ない}
(=>
(
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
transactionAmount
金融取引
and
通貨測定
金融取引
の
date
は
日
では
FinancialAccount
は
FinancialAccount
の
instance
では %n
金融取引
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
amountDue
FinancialAccount
,
通貨測定
and
時間間隔
日
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
金融取引
は
Prepayment
の
instance
では %n
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
amountDue
FinancialAccount
,
通貨測定
and
時間位置
accountHolder
FinancialAccount
and
認識エージェント
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
and
(
downPayment
?Loan ?Amount)
(
agreementEffectiveDate
?Loan ?Date))
(
exists
(?Payment)
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
destination
?Payment
(
CurrencyFn
?Loan)))))
FinancialOntology.kif 807-816
downPayment
Loan
and
通貨測定
agreementEffectiveDate
Loan
and
時点
金融取引
transactionAmount
金融取引
and
通貨測定
金融取引
の
date
は
時点
では
金融取引
は
CurrencyFn
Loan
に
end
s %n{ない}
(=>
(
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
FinancialAccount
は
FinancialAccount
の
instance
では %n
minimumBalance
FinancialAccount
,
OpeningAnAccount
and
実数
の
測定単位
(s)
測定単位
は
UnitOfCurrency
の
instance
では %n
金融取引
時点
and
実数
金融取引
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
transactionAmount
金融取引
and
実数
の
測定単位
(s)
実数
は
実数
greater
では %n
agreementEffectiveDate
FinancialAccount
and
時点
金融取引
の
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
FinancialAccount
は
FinancialAccount
の
instance
では %n
minimumBalance
FinancialAccount
,
UsingAnAccount
and
実数
の
測定単位
(s)
測定単位
は
UnitOfCurrency
の
instance
では %n
currentAccountBalance
FinancialAccount
,
日
and
実数
の
測定単位
(s)
実数
は
実数
より
less
では %n
工程
工程
は
Penalty
の
instance
では %n
工程
の
date
は
日
では
工程
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
(=>
(
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
Loan
は
BalloonLoan
の
instance
では %n
maturityDate
Loan
and
日
totalBalance
Loan
and
通貨測定
borrower
Loan
and
認識エージェント
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
baptizeddate
?PERSON ?DAY)
(
exists
(?BAPTISM)
(
and
(
instance
?BAPTISM
Baptizing
)
(
experiencer
?BAPTISM ?PERSON)
(
date
?BAPTISM ?DAY))))
Biography.kif 178-184
baptizeddate
人[人間]
and
日
工程
工程
は
Baptizing
の
instance
では %n
人[人間]
が
工程
を
experience
s %n{ない}
工程
の
date
は
日
では
(=>
(
birthdate
?P ?D)
(
exists
(?B)
(
and
(
instance
?B
Birth
)
(
experiencer
?B ?P)
(
date
?B ?D))))
Mid-level-ontology.kif 24269-24275
birthdate
人[人間]
and
日
工程
工程
は
出生
の
instance
では %n
人[人間]
が
工程
を
experience
s %n{ない}
工程
の
date
は
日
では
(=>
(
dateOfStatement
?Statement ?Date)
(
exists
(?Copy)
(
and
(
containsInformation
?Copy ?Statement)
(
date
?Copy ?Date))))
FinancialOntology.kif 4031-4036
dateOfStatement
BankStatement
and
日
ContentBearingPhysical
ContentBearingPhysical
は
BankStatement
の情報を
contain
s %n{ない}
ContentBearingPhysical
の
date
は
日
では
(=>
(
deathdate
?P ?T)
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
date
?D ?T))))
Mid-level-ontology.kif 24283-24289
deathdate
人[人間]
and
日
工程
工程
は
死
の
instance
では %n
人[人間]
が
工程
を
experience
s %n{ない}
工程
の
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 24215-24224
weddingdate
人[人間]
,
人[人間]
and
日
工程
工程
は
Wedding
の
instance
では %n
人[人間]
は
工程
の
patient
では %n
人[人間]
は
工程
の
patient
では %n
人[人間]
は
人[人間]
と
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