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 8584-8586
(
documentation
date
JapaneseLanguage
"
BinaryPredicate
は、特定の O または P に対して、1日 の解像度で、絶対暦時間に
TimePosition
を指定する。")
japanese_format.kif 1473-1474
(
domain
date
1
Physical
)
Merge.kif 8580-8580
Le nombre 1 argument de
date
est une
instance
de
physique
(
domain
date
2
Day
)
Merge.kif 8581-8581
Le nombre 2 argument de
date
est une
instance
de
jour
(
instance
date
BinaryPredicate
)
Merge.kif 8578-8578
date
est une
instance
de
pr�dicat binaire
(
instance
date
SingleValuedRelation
)
Merge.kif 8579-8579
date
est une
instance
de
relation simple
(
subrelation
date
time
)
Merge.kif 8582-8582
date
est une
sous
-relation de
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 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 15561-15578
nombre entier positif
de
objet exprimant un sens
est
objet exprimant un sens
nombre entier positif
de
objet exprimant un sens
est
objet exprimant un sens
nombre entier positif
est
plus
grand
que
nombre entier positif
processus
est une
instance
de
publier
processus
est une
instance
de
publier
entit�
est une
instance
de
objet exprimant un sens
entit�
est une
instance
de
objet exprimant un sens
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
la
date
de
processus
est
jour
la
date
de
processus
est
jour
la
fin
de
jour
se produit
avant
la
fin
de
jour
(=>
(
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
est une
instance
de
CertificateOfDeposit
maturityDate
FinancialAccount
and
jour
processus
est une
instance
de
Withdrawal
processus
a pour
origine
CurrencyFn
FinancialAccount
la
date
de
processus
est
jour
la
fin
de
jour
se produit
avant
le
d
�but de
jour
processus
processus
est une
instance
de
Penalty
processus
aboutit
�
CurrencyFn
FinancialAccount
processus
cause
processus
(=>
(
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
Financial transaction
est une
instance
de
financial transaction
financial transaction
a pour
origine
CurrencyFn
FinancialAccount
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfCurrency
entit�
est une
instance
de
Currency
entit�
est un
patient
de
financial transaction
la
date
de
financial transaction
est
jour
nombre r�el
availableCash
FinancialAccount
,
jour
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
(=>
(
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
Financial transaction
est une
instance
de
financial transaction
financial transaction
a pour
origine
FinancialAccount
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfCurrency
la
date
de
financial transaction
est
jour
nombre r�el
availableBalance
FinancialAccount
,
jour
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
(=>
(
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 24252-24263
Physique
est une
instance
de
Wedding
la
date
de
physique
est
jour
jour
est une
instance
de le
jour
nombre entier positif
jour
nombre entier
weddingAnniversary
physique
and
jour
jour
est une
sous
-classe de
jour
nombre entier
est une
instance
de
nombre entier
jour
est
jour
nombre entier positif
nombre entier
est
plus
grand
que
nombre entier
(=>
(
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 14651-14665
Series
est une
sous
-classe de
periodique
le volume
nombre entier positif
dans les
s
�ries
series
est
texte
le volume
nombre entier positif
dans les
s
�ries
series
est
texte
nombre entier positif
est
plus
grand
que
nombre entier positif
processus
est une
instance
de
publier
processus
est une
instance
de
publier
entit�
est une
instance
de
texte
entit�
est une
instance
de
texte
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
la
date
de
processus
est
jour
la
date
de
processus
est
jour
la
fin
de
jour
se produit
avant
la
fin
de
jour
(=>
(
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
financial transaction
and
mesure de devise
la
date
de
financial transaction
est
jour
FinancialAccount
est une
instance
de
FinancialAccount
financial transaction
aboutit
�
CurrencyFn
FinancialAccount
amountDue
FinancialAccount
,
mesure de devise
and
interval temporel
la
fin
de
jour
se produit
avant
le
d
�but de
interval temporel
financial transaction
est une
instance
de
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
amountDue
FinancialAccount
,
mesure de devise
and
position temporel
accountHolder
FinancialAccount
and
agent cognitif
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
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
mesure de devise
agreementEffectiveDate
Loan
and
point temporel
financial transaction
transactionAmount
financial transaction
and
mesure de devise
la
date
de
financial transaction
est
point temporel
financial transaction
aboutit
�
CurrencyFn
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
FinancialAccount
est une
instance
de
FinancialAccount
minimumBalance
FinancialAccount
,
OpeningAnAccount
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfCurrency
financial transaction
point temporel
and
nombre r�el
financial transaction
aboutit
�
CurrencyFn
FinancialAccount
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
agreementEffectiveDate
FinancialAccount
and
point temporel
la
date
de
financial transaction
est
point temporel
(=>
(
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
est une
instance
de
FinancialAccount
minimumBalance
FinancialAccount
,
UsingAnAccount
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfCurrency
currentAccountBalance
FinancialAccount
,
jour
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que
nombre r�el
processus
processus
est une
instance
de
Penalty
la
date
de
processus
est
jour
processus
aboutit
�
CurrencyFn
FinancialAccount
(=>
(
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
est une
instance
de
BalloonLoan
maturityDate
Loan
and
jour
totalBalance
Loan
and
mesure de devise
borrower
Loan
and
agent cognitif
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
baptizeddate
?PERSON ?DAY)
(
exists
(?BAPTISM)
(
and
(
instance
?BAPTISM
Baptizing
)
(
experiencer
?BAPTISM ?PERSON)
(
date
?BAPTISM ?DAY))))
Biography.kif 178-184
baptizeddate
humain
and
jour
processus
processus
est une
instance
de
Baptizing
humain
exp
�rimente
processus
la
date
de
processus
est
jour
(=>
(
birthdate
?P ?D)
(
exists
(?B)
(
and
(
instance
?B
Birth
)
(
experiencer
?B ?P)
(
date
?B ?D))))
Mid-level-ontology.kif 24327-24333
birthdate
humain
and
jour
processus
processus
est une
instance
de
naissance
humain
exp
�rimente
processus
la
date
de
processus
est
jour
(=>
(
dateOfStatement
?Statement ?Date)
(
exists
(?Copy)
(
and
(
containsInformation
?Copy ?Statement)
(
date
?Copy ?Date))))
FinancialOntology.kif 4031-4036
dateOfStatement
BankStatement
and
jour
ContentBearingPhysical
ContentBearingPhysical
contient
information
BankStatement
la
date
de
ContentBearingPhysical
est
jour
(=>
(
deathdate
?P ?T)
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
date
?D ?T))))
Mid-level-ontology.kif 24341-24347
deathdate
humain
and
jour
processus
processus
est une
instance
de
mort
humain
exp
�rimente
processus
la
date
de
processus
est
jour
(=>
(
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 24273-24282
weddingdate
humain
,
humain
and
jour
processus
processus
est une
instance
de
Wedding
humain
est un
patient
de
processus
humain
est un
patient
de
processus
humain
est
humain
la
date
de
processus
est
jour
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