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
EndFn
Sigma KEE - EndFn
EndFn
appearance as argument number 1
(
documentation
EndFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
TimeInterval
和 这个时段结束的
TimePoint
联系起来。")
chinese_format.kif 2699-2700
(
documentation
EndFn
EnglishLanguage
"A
UnaryFunction
that maps a
TimeInterval
to the
TimePoint
at which the interval ends.")
Merge.kif 8013-8014
(
documentation
EndFn
JapaneseLanguage
"
UnaryFunction
は、
TimeInterval
を間隔が終了する
TimePoint
にマップする。")
japanese_format.kif 1422-1423
(
domain
EndFn
1
TimeInterval
)
Merge.kif 8010-8010
Le nombre 1 argument de
EndFn
est une
instance
de
interval temporel
(
instance
EndFn
TemporalRelation
)
Merge.kif 8007-8007
EndFn
est une
instance
de
relation temporel
(
instance
EndFn
TotalValuedRelation
)
Merge.kif 8009-8009
EndFn
est une
instance
de
relation total
(
instance
EndFn
UnaryFunction
)
Merge.kif 8008-8008
EndFn
est une
instance
de
function unaire
(
range
EndFn
TimePoint
)
Merge.kif 8011-8011
Le
domaine
de
EndFn
est une instance de
point temporel
appearance as argument number 2
(
format
ChineseLanguage
EndFn
"%1 的结束")
chinese_format.kif 451-451
(
format
EnglishLanguage
EndFn
"the end of %1")
english_format.kif 457-457
(
format
FrenchLanguage
EndFn
"la fin de %1")
french_format.kif 262-262
(
format
ItalianLanguage
EndFn
"la fine di %1")
relations-it.txt 92-92
(
format
JapaneseLanguage
EndFn
"%1 の end")
japanese_format.kif 2052-2052
(
format
PortugueseLanguage
EndFn
"o fim de %1")
portuguese_format.kif 214-214
(
format
cz
EndFn
"the end of %1'")
relations-cz.txt 268-268
(
format
de
EndFn
"das ende von %1")
relations-de.txt 589-589
(
format
hi
EndFn
"%1 kii samaapti")
relations-hindi.txt 132-132
(
format
ro
EndFn
"the end%t{sfânceputul} lui %1")
relations-ro.kif 283-283
(
format
sv
EndFn
"slutet på %1")
relations-sv.txt 288-288
(
format
tg
EndFn
"ang dulo sa %1")
relations-tg.txt 199-199
(
termFormat
ChineseLanguage
EndFn
"结束")
domainEnglishFormat.kif 22042-22042
(
termFormat
ChineseLanguage
EndFn
"结束函数")
chinese_format.kif 452-452
(
termFormat
ChineseTraditionalLanguage
EndFn
"結束")
domainEnglishFormat.kif 22041-22041
(
termFormat
EnglishLanguage
EndFn
"end")
domainEnglishFormat.kif 22040-22040
(
termFormat
tg
EndFn
"tungkulin ng dulo")
relations-tg.txt 200-200
antecedent
(=>
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1)))
(
finishes
?INTERVAL1 ?INTERVAL2))
Merge.kif 8086-8094
Le
d
�but de
interval temporel
se produit
avant
le
d
�but de
interval temporel
la
fin
de
interval temporel
est
fin
de
interval temporel
interval temporel
finit
interval temporel
(=>
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
starts
?INTERVAL1 ?INTERVAL2))
Merge.kif 8054-8062
Le
d
�but de
interval temporel
est
d
�but de
interval temporel
la
fin
de
interval temporel
se produit
avant
la
fin
de
interval temporel
interval temporel
commence
interval temporel
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
benefits
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 22920-22925
Point temporel
est
d
�but de
temps
d'existence de
processus
point temporel
est
fin
de
temps
d'existence de
AutonomousAgent
benefits
processus
and
AutonomousAgent
point temporel
se produit
avant
point temporel
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
suffers
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 29595-29604
Point temporel
est
d
�but de
temps
d'existence de
processus
point temporel
est
fin
de
temps
d'existence de
AutonomousAgent
suffers
processus
and
AutonomousAgent
point temporel
se produit
avant
point temporel
(=>
(
and
(
instance
?A
Attaching
)
(
patient
?A ?O1)
(
patient
?A ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2)))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
connected
?O1 ?O2)))
(
and
(
objectAttached
?A ?O1)
(
objectAttached
?A ?O2)))
Merge.kif 12383-12397
Processus
est une
instance
de
attacher
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
entit�
est
connect
� �
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
connect
� �
entit�
pendant
la
fin
de
temps
d'existence de
processus
objectAttached
processus
and
entit�
objectAttached
processus
and
entit�
(=>
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
instance
?TRANSFER
DataTransfer
)
(
instance
?SERVER
Server
)
(
instance
?REQUESTING
Requesting
)
(
instance
?BROWSER
WebBrowser
)
(
instance
?INTERVAL
TimeInterval
)
(
patient
?ACCESSING ?PAGE)
(
agent
?REQUESTING ?BROWSER)
(
destination
?REQUESTING ?SERVER)
(
patient
?REQUESTING ?PAGE)
(
origin
?TRANSFER ?SERVER)
(
destination
?TRANSFER ?BROWSER)
(
patient
?TRANSFER ?PAGE)
(
subProcess
?TRANSFER ?ACCESSING)
(
subProcess
?REQUESTING ?ACCESSING)
(
equal
(
EndFn
(
WhenFn
?REQUESTING))
(
BeginFn
?INTERVAL))
(
equal
(
EndFn
(
WhenFn
?TRANSFER))
(
EndFn
?INTERVAL)))
(
equal
(
SiteSpeedFn
?ACCESSING) ?INTERVAL))
UXExperimentalTerms.kif 3759-3784
AccessingWebPage
est une
instance
de
AccessingWebPage
entit�
est une
instance
de
WebPage
processus
est une
instance
de
DataTransfer
objet
est une
instance
de
Server
processus
est une
instance
de
demander
AutonomousAgent
est une
instance
de
WebBrowser
interval temporel
est une
instance
de
interval temporel
entit�
est un
patient
de
AccessingWebPage
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
objet
entit�
est un
patient
de
processus
processus
a pour
origine
objet
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
processus
est un
sous
-processus de
AccessingWebPage
processus
est un
sous
-processus de
AccessingWebPage
la
fin
de
temps
d'existence de
processus
est
d
�but de
interval temporel
la
fin
de
temps
d'existence de
processus
est
fin
de
interval temporel
SiteSpeedFn
AccessingWebPage
est
interval temporel
(=>
(
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
?CHANGE
ChangeOfPossession
)
(
patient
?CHANGE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT2 ?OBJ)))
(
not
(
equal
?AGENT1 ?AGENT2)))
Merge.kif 11647-11654
Processus
est une
instance
de
changement de possession
entit�
est un
patient
de
processus
entit�
poss
�de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
poss
�de
entit�
pendant
la
fin
de
temps
d'existence de
processus
entit�
est
entit�
(=>
(
and
(
instance
?D
Detaching
)
(
patient
?D ?O1)
(
patient
?D ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
connected
?O1 ?O2))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2))))
(
and
(
objectDetached
?A ?O1)
(
objectDetached
?A ?O2)))
Merge.kif 12431-12440
Processus
est une
instance
de
detacher
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
entit�
est
connect
� �
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
connect
� �
entit�
pendant
la
fin
de
temps
d'existence de
processus
objectDetached
processus
and
entit�
objectDetached
processus
and
entit�
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2456-2466
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
objet
est une
instance
de
secteur g�opolitique
physique
est une
instance
de
secteur g�opolitique
entit�
est
situ
� �
objet
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
situ
� �
physique
pendant
la
fin
de
temps
d'existence de
processus
physique
est
situ
� �
objet
(=>
(
and
(
instance
?INTERVAL1
TimeInterval
)
(
instance
?INTERVAL2
TimeInterval
)
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
equal
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
equal
?INTERVAL1 ?INTERVAL2))
Merge.kif 8354-8364
Interval temporel
est une
instance
de
interval temporel
interval temporel
est une
instance
de
interval temporel
le
d
�but de
interval temporel
est
d
�but de
interval temporel
la
fin
de
interval temporel
est
fin
de
interval temporel
interval temporel
est
interval temporel
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
Interval temporel
est une
instance
de
interval temporel
_CLASS
interval temporel
_CLASS est une
sous
-classe de
processus
AccessingWebPage
est une
instance
de
AccessingWebPage
AutonomousAgent
est une
instance
de
AutonomousAgent
interval temporel
est un
agent
de
AutonomousAgent
AccessingWebPage
est un
agent
de
AutonomousAgent
interval temporel
prend place
pendant
AccessingWebPage
physique
est une
instance
de
interval temporel
interval temporel
2
interval temporel
2 est une
instance
de
interval temporel
_CLASS
interval temporel
2 est un
agent
de
AutonomousAgent
interval temporel
2 prend place
pendant
AccessingWebPage
le
d
�but de
temps
d'existence de
interval temporel
2 se produit
avant
le
d
�but de
temps
d'existence de
interval temporel
le
d
�but de
temps
d'existence de
AccessingWebPage
est
d
�but de
temps
d'existence de
physique
le
d
�but de
temps
d'existence de
interval temporel
est
fin
de
temps
d'existence de
physique
TTFxFn
interval temporel
_CLASS and
AccessingWebPage
est
physique
(=>
(
and
(
instance
?TI
TimeInterval
)
(
equal
?S
(
BeginFn
?TI))
(
equal
?E
(
EndFn
?TI)))
(
before
?S ?E))
Merge.kif 8262-8267
Interval temporel
est une
instance
de
interval temporel
point temporel
est
d
�but de
interval temporel
point temporel
est
fin
de
interval temporel
point temporel
se produit
avant
point temporel
(=>
(
and
(
instance
?TI1
TimeInterval
)
(
instance
?TI2
TimeInterval
)
(
beforeOrEqual
(
BeginFn
?TI2)
(
BeginFn
?TI1))
(
before
(
BeginFn
?TI1)
(
EndFn
?TI2)))
(
overlapsTemporally
?TI2 ?TI1))
Merge.kif 8269-8279
Interval temporel
est une
instance
de
interval temporel
interval temporel
est une
instance
de
interval temporel
le
d
�but de
interval temporel
se
produit avant ou pendant le
d
�but de
interval temporel
le
d
�but de
interval temporel
se produit
avant
la
fin
de
interval temporel
interval temporel
recouvre
interval temporel
(=>
(
and
(
patient
?PROCESS ?PATIENT)
(
time
?PATIENT
(
EndFn
(
WhenFn
?PROCESS)))
(
not
(
time
?PATIENT
(
BeginFn
(
WhenFn
?PROCESS)))))
(
instance
?PROCESS
Creation
))
Merge.kif 12804-12810
Physique
est un
patient
de
processus
physique
existe
pendant
la
fin
de
temps
d'existence de
processus
physique
n' existe %n{pas}
pendant
le
d
�but de
temps
d'existence de
processus
processus
est une
instance
de
cr�ation
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsRight
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Agent))
FinancialOntology.kif 2669-2685
Agreement
a un
attribute
Option
optionHolder
Agreement
and
agent cognitif
strikePrice
Agreement
and
mesure de devise
agreementExpirationDate
Agreement
and
interval temporel
price
FinancialInstrument
,
mesure de devise
and
AutonomousAgent
AutonomousAgent
est une
instance
de
interval temporel
la
fin
de
AutonomousAgent
se produit
avant
le
d
�but de
interval temporel
underlier
Agreement
and
FinancialInstrument
agent cognitif
a le
droit
d'executer la
classe
d�crite par
cha�ne sympbolique
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsRight
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2623-2639
Agreement
a un
attribute
Option
optionHolder
Agreement
and
agent cognitif
strikePrice
Agreement
and
mesure de devise
agreementExpirationDate
Agreement
and
interval temporel
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
mesure de devise
and
AutonomousAgent
AutonomousAgent
est une
instance
de
interval temporel
la
fin
de
AutonomousAgent
se produit
avant
le
d
�but de
interval temporel
agent cognitif
a le
droit
d'executer la
classe
d�crite par
cha�ne sympbolique
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2687-2703
Agreement
a un
attribute
Option
optionSeller
Agreement
and
agent cognitif
strikePrice
Agreement
and
mesure de devise
agreementExpirationDate
Agreement
and
interval temporel
price
FinancialInstrument
,
mesure de devise
and
AutonomousAgent
AutonomousAgent
est une
instance
de
interval temporel
la
fin
de
AutonomousAgent
se produit
avant
le
d
�but de
interval temporel
underlier
Agreement
and
FinancialInstrument
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Seller)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Seller))
FinancialOntology.kif 2641-2659
Agreement
a un
attribute
Option
optionSeller
Agreement
and
agent cognitif
strikePrice
Agreement
and
mesure de devise
agreementExpirationDate
Agreement
and
interval temporel
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
mesure de devise
and
AutonomousAgent
AutonomousAgent
est une
instance
de
interval temporel
la
fin
de
AutonomousAgent
se produit
avant
le
d
�but de
interval temporel
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
and
(
resource
?PROC ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?PROC))
(
measure
?OBJ ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?PROC))
(
measure
?OBJ ?QUANT2)))
(
greaterThan
?QUANT1 ?QUANT2))
Merge.kif 8025-8030
Objet
est une
resource
pour
processus
la
mesure
de
objet
est
nombre r�el
pendant
le
d
�but de
temps
d'existence de
processus
la
mesure
de
objet
est
nombre r�el
pendant
la
fin
de
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
(=>
(
before
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
earlier
?INTERVAL1 ?INTERVAL2))
Merge.kif 8382-8384
La
fin
de
interval temporel
se produit
avant
le
d
�but de
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
(=>
(
equal
(
EndFn
?INTERVAL) ?POINT)
(
forall
(?OTHERPOINT)
(=>
(
and
(
temporalPart
?OTHERPOINT ?INTERVAL)
(
not
(
equal
?OTHERPOINT ?POINT)))
(
before
?OTHERPOINT ?POINT))))
Merge.kif 8016-8023
La
fin
de
interval temporel
est
point temporel
point temporel
point temporel
est une
partie
de
interval temporel
point temporel
est
point temporel
point temporel
se produit
avant
point temporel
(=>
(
equal
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
meetsTemporally
?INTERVAL1 ?INTERVAL2))
Merge.kif 8339-8343
La
fin
de
interval temporel
est
d
�but de
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
ShutdownBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
finishes
?Time ?Time1)
(
equal
(
WhenFn
?Process2) ?Time2)
(
equal
(
BeginFn
?Time)
(
EndFn
?Time2))))
(
duration
?Time ?Delay))
QoSontology.kif 1270-1284
Interval temporel
interval temporel
dependencyDelay
programme d'ordinateur
and
dur�e temporel
dependencyType
programme d'ordinateur
and
ShutdownBlock
hasDependency
programme d'ordinateur
and
programme d'ordinateur
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
temps
d'existence de
ComputerProcess
est
interval temporel
interval temporel
finit
interval temporel
temps
d'existence de
ComputerProcess
est
interval temporel
le
d
�but de
interval temporel
est
fin
de
interval temporel
la
dur
�� de
interval temporel
est
dur�e temporel
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
and
(
instance
?COMBINE
Combining
)
(
resource
?COMBINE ?OBJ1)
(
result
?COMBINE ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COMBINE))
(
not
(
part
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?COMBINE))
(
part
?OBJ1 ?OBJ2))))
Merge.kif 12466-12473
Processus
est une
instance
de
combiner
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
objet
est une
partie
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
objet
est une
partie
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
(
birthdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
-6))
(
instance
?Y2
(
YearFn
4)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1936-1941
birthdate
JesusOfNazareth
and
jour
interval temporel
est une
instance
de l'
ann
�e -6
interval temporel
est une
instance
de l'
ann
�e 4
jour
est une
partie
de l'
intervale
entre le
d
�but de
interval temporel
et la
fin
de
interval temporel
(=>
(
and
(
deathdate
JesusOfNazareth
?DAY)
(
instance
?Y1
(
YearFn
29))
(
instance
?Y2
(
YearFn
36)))
(
temporalPart
?DAY
(
TimeIntervalFn
(
BeginFn
?Y1)
(
EndFn
?Y2))))
Media.kif 1943-1948
deathdate
JesusOfNazareth
and
jour
interval temporel
est une
instance
de l'
ann
�e 29
interval temporel
est une
instance
de l'
ann
�e 36
jour
est une
partie
de l'
intervale
entre le
d
�but de
interval temporel
et la
fin
de
interval temporel
(=>
(
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
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
?A
Aborting
)
(
patient
?A ?W)
(
instance
?W
Woman
))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
attribute
?W
Pregnant
))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
attribute
?W
Pregnant
)))))
Mid-level-ontology.kif 21495-21506
Processus
est une
instance
de
Aborting
entit�
est un
patient
de
processus
entit�
est une
instance
de
Woman
Pregnant
est un
attribut
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
Pregnant
est un
attribut
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?ACCELERATE
Accelerating
)
(
agent
?ACCELERATE ?AGENT))
(
exists
(?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH1 ?U1)
(
MeasureFn
?TIME1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH2 ?U1)
(
MeasureFn
?TIME2 ?U2))))
(
or
(
greaterThan
?LENGTH2 ?LENGTH1)
(
greaterThan
?TIME2 ?TIME1)))))
Mid-level-ontology.kif 17143-17164
Processus
est une
instance
de
Accelerating
processus
est un
agent
de
AutonomousAgent
nombre r�el
nombre r�el
,
nombre r�el
,
nombre r�el
,
entit�
and
entit�
la
mesure
de
AutonomousAgent
est
nombre r�el
entit�
(s)
par
nombre r�el
entit�
(s)
pendant
le
d
�but de
temps
d'existence de
processus
la
mesure
de
AutonomousAgent
est
nombre r�el
entit�
(s)
par
nombre r�el
entit�
(s)
pendant
la
fin
de
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?ACT
ActivatingUIElement
)
(
patient
?ACT ?GUIE)
(
instance
?GUIE
GUIElement
))
(
and
(
holdsDuring
(
EndFn
?ACT)
(
hasGUEState
?GUIE
GUE_ActiveState
))
(
holdsDuring
(
BeginFn
?ACT)
(
not
(
hasGUEState
?GUIE
GUE_ActiveState
)))))
ComputerInput.kif 2268-2277
Interval temporel
est une
instance
de
ActivatingUIElement
entit�
est un
patient
de
interval temporel
entit�
est une
instance
de
GUIElement
hasGUEState
entit�
and
GUE_ActiveState
pendant
la
fin
de
interval temporel
hasGUEState
entit�
and
GUE_ActiveState
pendant
le
d
�but de
interval temporel
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
)
(
holdsDuring
(
BeginFn
?ACT)
(
hasGUEState
?WINDOW ?STATE))
(
contraryAttribute
?STATE
GUE_UncoveredState
))
(
holdsDuring
(
EndFn
?ACT)
(
not
(
hasGUEState
?WINDOW ?STATE))))
ComputerInput.kif 2332-2343
Interval temporel
est une
instance
de
BringingGEToFront
entit�
est un
patient
de
interval temporel
entit�
est une
instance
de
InterfaceWindow
hasGUEState
entit�
and
attribut
pendant
le
d
�but de
interval temporel
attribut
est
l
'oppos� de
GUE_UncoveredState
hasGUEState
entit�
and
attribut
pendant
la
fin
de
interval temporel
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
))
(
holdsDuring
(
EndFn
?ACT)
(
hasGUEState
?WINDOW
GUE_UncoveredState
)))
ComputerInput.kif 2347-2354
Interval temporel
est une
instance
de
BringingGEToFront
entit�
est un
patient
de
interval temporel
entit�
est une
instance
de
InterfaceWindow
hasGUEState
entit�
and
GUE_UncoveredState
pendant
la
fin
de
interval temporel
(=>
(
and
(
instance
?ALT
ShapeChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PROPERTY)
(
and
(
instance
?PROPERTY
ShapeAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY)))))))
Merge.kif 12656-12669
Processus
est une
instance
de
changement de forme
entit�
est un
patient
de
processus
entit�
entit�
est une
instance
de
attribut de forme
entit�
est un
attribut
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est un
attribut
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
entit�
est un
attribut
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est un
attribut
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?ALT
SurfaceChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PART ?PROPERTY)
(
and
(
superficialPart
?PART ?OBJ)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12616-12629
Processus
est une
instance
de
changement de surface
objet
est un
patient
de
processus
objet
entit�
objet
est une partie
superficielle
de
objet
entit�
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
entit�
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?OBJ
Object
)
(
patient
?ATC ?OBJ)
(
agent
?ATC ?USER))
(
exists
(?COLL ?SITE ?AFTER ?INTERVAL)
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?INTERVAL
TimeInterval
)
(
webcart
?USER ?COLL ?SITE)
(
equal
(
BeginFn
?INTERVAL)
(
EndFn
?ATC))
(
holdsDuring
?AFTER
(
member
?OBJ ?COLL)))))
UXExperimentalTerms.kif 1326-1342
Interval temporel
est une
instance
de
AddToCart
entit�
est une
instance
de
objet
entit�
est un
patient
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
collection
WebSite
,
position temporel
and
interval temporel
collection
est une
instance
de
collection
WebSite
est une
instance
de
WebSite
interval temporel
est une
instance
de
interval temporel
webcart
AutonomousAgent
,
collection
and
WebSite
le
d
�but de
interval temporel
est
fin
de
interval temporel
entit�
est un
membre
de
collection
pendant
position temporel
(=>
(
and
(
instance
?ATTACH
Attaching
)
(
patient
?ATTACH ?OBJ1)
(
patient
?ATTACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ATTACH))
(
not
(
connected
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?ATTACH))
(
connected
?OBJ1 ?OBJ2))))
Merge.kif 12360-12367
Processus
est une
instance
de
attacher
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
entit�
est
connect
� �
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
connect
� �
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?B
BecomingDrunk
)
(
experiencer
?B ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
attribute
?A
Sober
))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
attribute
?A
Drunk
))))
Mid-level-ontology.kif 16343-16353
Processus
est une
instance
de
BecomingDrunk
AutonomousAgent
exp
�rimente
processus
Sober
est un
attribut
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
Drunk
est un
attribut
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?B
Boarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
onboard
?A ?V))))
Mid-level-ontology.kif 17386-17397
Processus
est une
instance
de
Boarding
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
onboard
AutonomousAgent
and
entit�
pendant
le
d
�but de
temps
d'existence de
processus
onboard
AutonomousAgent
and
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?B
Deboarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
onboard
?A ?V))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))))
Mid-level-ontology.kif 17427-17439
Processus
est une
instance
de
Deboarding
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
onboard
AutonomousAgent
and
entit�
pendant
le
d
�but de
temps
d'existence de
processus
onboard
AutonomousAgent
and
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?B
Object
)
(
roastedToTemperature
?B ?T))
(
exists
(?H)
(
and
(
instance
?H
Heating
)
(
patient
?H ?B)
(
holdsDuring
(
EndFn
(
WhenFn
?H))
(
measure
?B
(
MeasureFn
?T
CelsiusDegree
))))))
Food.kif 468-478
Nourriture
est une
instance
de
objet
roastedToTemperature
nourriture
and
nombre r�el
processus
processus
est une
instance
de
r�chauffer
nourriture
est un
patient
de
processus
la
mesure
de
nourriture
est
nombre r�el
CelsiusDegree
(s)
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?B
SoberingUp
)
(
experiencer
?B ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
attribute
?A
Drunk
))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
attribute
?A
Sober
))))
Mid-level-ontology.kif 16363-16373
Processus
est une
instance
de
SoberingUp
AutonomousAgent
exp
�rimente
processus
Drunk
est un
attribut
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
Sober
est un
attribut
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?BLEED
Bleeding
)
(
experiencer
?BLEED ?ANIMAL))
(
exists
(?BLOOD)
(
and
(
instance
?BLOOD
Blood
)
(
holdsDuring
(
BeginFn
(
WhenFn
?BLEED))
(
part
?BLOOD ?ANIMAL))
(
holdsDuring
(
EndFn
(
WhenFn
?BLEED))
(
not
(
part
?BLOOD ?ANIMAL))))))
Mid-level-ontology.kif 21395-21403
Processus
est une
instance
de
Bleeding
AutonomousAgent
exp
�rimente
processus
entit�
entit�
est une
instance
de
sang
entit�
est une
partie
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est une
partie
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?BOIL))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?BOIL))
(
attribute
?PART
Gas
)))))
Merge.kif 13933-13941
Processus
est une
instance
de
�vaporer
objet
est un
patient
de
processus
objet
objet
est une
partie
de
objet
Liquid
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
Gas
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?C
CausingHappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Happiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Happiness
))))
Mid-level-ontology.kif 23768-23779
Processus
est une
instance
de
CausingHappiness
entit�
est un
patient
de
processus
bonheur
est un
attribut
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
bonheur
est un
attribut
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?C
CausingUnhappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Unhappiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Unhappiness
))))
Mid-level-ontology.kif 23789-23800
Processus
est une
instance
de
CausingUnhappiness
entit�
est un
patient
de
processus
Unhappiness
est un
attribut
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
Unhappiness
est un
attribut
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?C
ChurningButter
)
(
instance
?E
Emulsion
)
(
patient
?C ?E))
(
exists
(?M ?B)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
and
(
equal
?E ?M)
(
instance
?M
Milk
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
and
(
equal
?E ?B)
(
instance
?B
Butter
))))))
Food.kif 3076-3094
Processus
est une
instance
de
ChurningButter
entit�
est une
instance
de
Emulsion
entit�
est un
patient
de
processus
entit�
entit�
entit�
est
entit�
entit�
est une
instance
de
Milk
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
entit�
entit�
est une
instance
de
Butter
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?T
(
HoleHostFn
?H))
(
instance
?T
Throat
)
(
part
?T ?O)))))
Medicine.kif 754-765
Processus
est une
instance
de
Cricothyroidotomy
entit�
est un
patient
de
processus
entit�
entit�
est une
instance
de
trou
entit�
est
h
�te du trou
entit�
entit�
est une
instance
de
Throat
entit�
est une
partie
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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