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
BeginFn
Sigma KEE - BeginFn
BeginFn
appearance as argument number 1
(
documentation
BeginFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
TimeInterval
和 这个时段开始的
TimePoint
联系起来。")
chinese_format.kif 2697-2698
(
documentation
BeginFn
EnglishLanguage
"A
UnaryFunction
that maps a
TimeInterval
to the
TimePoint
at which the interval begins.")
Merge.kif 8021-8022
(
documentation
BeginFn
JapaneseLanguage
"
UnaryFunction
は
TimeInterval
を 間隔が開始され る
TimePoint
にマップする。")
japanese_format.kif 1420-1421
(
domain
BeginFn
1
TimeInterval
)
Merge.kif 8018-8018
Il numero 1 argomenti di
BeginFn
è un
istanza
di
IntervalloTemporale
(
instance
BeginFn
TemporalRelation
)
Merge.kif 8015-8015
BeginFn
è un'
istanza
di
RelazioneTemporale
(
instance
BeginFn
TotalValuedRelation
)
Merge.kif 8017-8017
BeginFn
è un'
istanza
di
RelazioneAValoreTotale
(
instance
BeginFn
UnaryFunction
)
Merge.kif 8016-8016
BeginFn
è un'
istanza
di
FunzioneUnaria
(
range
BeginFn
TimePoint
)
Merge.kif 8019-8019
rango
di
BeginFn
è un'istanza di
PuntoTemporale
appearance as argument number 2
(
format
ChineseLanguage
BeginFn
"%1 的开始")
chinese_format.kif 449-449
(
format
EnglishLanguage
BeginFn
"the beginning of %1")
english_format.kif 455-455
(
format
FrenchLanguage
BeginFn
"le d�but de %1")
french_format.kif 261-261
(
format
ItalianLanguage
BeginFn
"l' inizio di %1")
relations-it.txt 34-34
(
format
JapaneseLanguage
BeginFn
"%1 の beginning")
japanese_format.kif 2051-2051
(
format
PortugueseLanguage
BeginFn
"o comeco de %1")
portuguese_format.kif 213-213
(
format
cb
BeginFn
"ang sinugdanan sa %1")
relations-cb.txt 68-68
(
format
cz
BeginFn
"the beginning of %1'")
relations-cz.txt 267-267
(
format
de
BeginFn
"der anfang von %1")
relations-de.txt 586-586
(
format
hi
BeginFn
"%1 kii shuruaata")
relations-hindi.txt 78-78
(
format
ro
BeginFn
"beginning%t{începutul} lui %1")
relations-ro.kif 282-282
(
format
sv
BeginFn
"början på %1")
relations-sv.txt 287-287
(
format
tg
BeginFn
"ang simula sa %1")
relations-tg.txt 84-84
(
termFormat
ChineseLanguage
BeginFn
"开始")
domainEnglishFormat.kif 10559-10559
(
termFormat
ChineseLanguage
BeginFn
"开始函数")
chinese_format.kif 450-450
(
termFormat
ChineseTraditionalLanguage
BeginFn
"開始")
domainEnglishFormat.kif 10558-10558
(
termFormat
EnglishLanguage
BeginFn
"begin")
domainEnglishFormat.kif 10557-10557
(
termFormat
tg
BeginFn
"tungkulin simula")
relations-tg.txt 85-85
antecedent
(=>
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1)))
(
finishes
?INTERVAL1 ?INTERVAL2))
Merge.kif 8122-8130
L'
inizio
di
IntervalloTemporale
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
la
fine
di
IntervalloTemporale
is
uguale
a la
fine
di
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
(=>
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
starts
?INTERVAL1 ?INTERVAL2))
Merge.kif 8090-8098
L'
inizio
di
IntervalloTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
la
fine
di
IntervalloTemporale
succede%{s}
prima
di la
fine
di
IntervalloTemporale
IntervalloTemporale
inizia
s
IntervalloTemporale
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
benefits
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 22972-22977
PuntoTemporale
is
uguale
a l'
inizio
di il
tempo
di esistenza di
Processo
PuntoTemporale
is
uguale
a la
fine
di il
tempo
di esistenza di
AutonomousAgent
benefits
Processo
and
AutonomousAgent
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
(=>
(
and
(
equal
?PROCESSSTART
(
BeginFn
(
WhenFn
?PROCESS)))
(
equal
?AGENTEND
(
EndFn
(
WhenFn
?AGENT)))
(
suffers
?PROCESS ?AGENT))
(
before
?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 29646-29655
PuntoTemporale
is
uguale
a l'
inizio
di il
tempo
di esistenza di
Processo
PuntoTemporale
is
uguale
a la
fine
di il
tempo
di esistenza di
AutonomousAgent
suffers
Processo
and
AutonomousAgent
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
(=>
(
and
(
holdsDuring
?T
(
attribute
?F
Menopausal
))
(
birthdate
?F ?B)
(
instance
?B
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?A1
(
AdditionFn
49 ?Y))
(
equal
?A2
(
AdditionFn
52 ?Y))
(
equal
?START
(
BeginFn
?T)))
(
modalAttribute
(
and
(
greaterThan
?START ?A1)
(
greaterThan
?A2 ?START))
Likely
))
Mid-level-ontology.kif 23973-23989
attribute
Umano
and
Menopausal
vales
durante
IntervalloTemporale
birthdate
Umano
and
Giorno
Giorno
è un'
istanza
di il
giorno
NumeroInteroPositivo
NumeroReale
is
uguale
a (49 +
NumeroIntero
NumeroReale
is
uguale
a (52 +
NumeroIntero
PuntoTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
l'affermazione
PuntoTemporale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di
PuntoTemporale
ha il modello di forza di
Likely
(=>
(
and
(
holdsDuring
?T1
(
attribute
?F
Menopausal
))
(
equal
?BEFORE
(
SubtractionFn
(
MeasureFn
1
YearDuration
)
(
BeginFn
?T1)))
(
equal
?YBEFORE
(
TimeIntervalFn
?YBEFORE
(
BeginFn
?T1))))
(
not
(
exists
(?M)
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?F)))))
Mid-level-ontology.kif 23946-23960
attribute
AutonomousAgent
and
Menopausal
vales
durante
IntervalloTemporale
NumeroReale
is
uguale
a (1
YearDuration
(s + l'
inizio
di
IntervalloTemporale
IntervalloTemporale
is
uguale
a
intervallo
tra
IntervalloTemporale
e l'
inizio
di
IntervalloTemporale
Processo
Processo
è un'
istanza
di
Menstruation
AutonomousAgent
esperisce
s
Processo
(=>
(
and
(
instance
?A
Ambulating
)
(
subProcess
?S1 ?A)
(
instance
?S1
Stepping
)
(
subProcess
?S2 ?A)
(
instance
?S2
Stepping
)
(
equal
?S1START
(
BeginFn
(
WhenFn
?S1)))
(
equal
?S2START
(
BeginFn
(
WhenFn
?S2)))
(
not
(
or
(
before
?S1START ?S2START)
(
before
?S2START ?S1START))))
(
equal
?S1 ?S2))
Mid-level-ontology.kif 494-507
Processo
è un'
istanza
di
Ambulating
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
Stepping
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
Stepping
Processo
START is
uguale
a l'
inizio
di il
tempo
di esistenza di
Processo
Processo
START is
uguale
a l'
inizio
di il
tempo
di esistenza di
Processo
Processo
START succede%{s}
prima
di
Processo
START
Processo
START succede%{s}
prima
di
Processo
START
Processo
is
uguale
a
Processo
(=>
(
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 12429-12443
Processo
è un'
istanza
di
Attaccare
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
objectAttached
Processo
and
Entit�
objectAttached
Processo
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
è un'
istanza
di
AccessingWebPage
Entit�
è un'
istanza
di
WebPage
Processo
è un'
istanza
di
DataTransfer
Oggetto
è un'
istanza
di
Server
Processo
è un'
istanza
di
Richiedere
AutonomousAgent
è un'
istanza
di
WebBrowser
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
Entit�
è un
paziente
di
AccessingWebPage
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Oggetto
Entit�
è un
paziente
di
Processo
Processo
si
originas in
Oggetto
Processo
fine
s in
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
è un
sottoprocesso
di
AccessingWebPage
Processo
è un
sottoprocesso
di
AccessingWebPage
la
fine
di il
tempo
di esistenza di
Processo
is
uguale
a l'
inizio
di
IntervalloTemporale
la
fine
di il
tempo
di esistenza di
Processo
is
uguale
a la
fine
di
IntervalloTemporale
SiteSpeedFn
AccessingWebPage
is
uguale
a
IntervalloTemporale
(=>
(
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
IntervalloTemporale
è un'
istanza
di
BringingGEToFront
Entit�
è un
paziente
di
IntervalloTemporale
Entit�
è un'
istanza
di
InterfaceWindow
hasGUEState
Entit�
and
Attributo
vales
durante
l'
inizio
di
IntervalloTemporale
Attributo
è
opposto
a
GUE_UncoveredState
hasGUEState
Entit�
and
Attributo
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
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
è un'
istanza
di
CertificateOfDeposit
maturityDate
FinancialAccount
and
Giorno
Processo
è un'
istanza
di
Withdrawal
Processo
si
originas in
CurrencyFn
FinancialAccount
data
di
Processo
è
Giorno
la
fine
di
Giorno
succede%{s}
prima
di l'
inizio
di
Giorno
Processo
Processo
è un'
istanza
di
Penalty
Processo
fine
s in
CurrencyFn
FinancialAccount
Processo
causa
s
Processo
(=>
(
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 11693-11700
Processo
è un'
istanza
di
CambiamentodiPossesso
Entit�
è un
paziente
di
Processo
Entit�
possiede
es
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
possiede
es
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
Entit�
is
uguale
a
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 12477-12486
Processo
è un'
istanza
di
Staccare
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
objectDetached
Processo
and
Entit�
objectDetached
Processo
and
Entit�
(=>
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?T1
(
BeginFn
?D1))
(
equal
?T2
(
BeginFn
?D2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8758-8765
IntervalloTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
IntervalloTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
PuntoTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
PuntoTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
NumeroInteroPositivo
è
pi
ù grande di
NumeroInteroPositivo
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2421-2430
Processo
è un'
istanza
di
Exporting
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
AreaGeopolitica
Entit�
è
localizzato
in
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
Processo
è un'
istanza
di
Exporting
Entit�
è un
paziente
di
Processo
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
Entit�
è
localizzato
in
AreaGeopolitica
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
geopoliticalSubdivision
AreaGeopolitica
and
AreaGeopolitica
geopoliticalSubdivision
AreaGeopolitica
and
AreaGeopolitica
Entit�
è
localizzato
in
AreaGeopolitica
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
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
Processo
è un'
istanza
di
Exporting
Entit�
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
AreaGeopolitica
Entit�Concreta
è un'
istanza
di
AreaGeopolitica
Entit�
è
localizzato
in
Oggetto
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Entit�Concreta
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
Entit�Concreta
è
localizzato
in
Oggetto
(=>
(
and
(
instance
?H
Hanukkah
)
(
equal
?B
(
BeginFn
?H)))
(
exists
(?M)
(
and
(
temporalPart
?B ?M)
(
instance
?M
Month
)
(
or
(
instance
?M
November
)
(
instance
?M
December
)))))
Media.kif 587-597
IntervalloTemporale
è un'
istanza
di
Hanukkah
PuntoTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
PosizioneTemporale
PuntoTemporale
è una
parte
di
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
Mese
PosizioneTemporale
è un'
istanza
di
Novembre
PosizioneTemporale
è un'
istanza
di
Dicembre
(=>
(
and
(
instance
?INTERVAL1
TimeInterval
)
(
instance
?INTERVAL2
TimeInterval
)
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
equal
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2)))
(
equal
?INTERVAL1 ?INTERVAL2))
Merge.kif 8390-8400
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
l'
inizio
di
IntervalloTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
la
fine
di
IntervalloTemporale
is
uguale
a la
fine
di
IntervalloTemporale
IntervalloTemporale
is
uguale
a
IntervalloTemporale
(=>
(
and
(
instance
?LOAN
Loan
)
(
equal
?START
(
BeginFn
?LOAN))
(
totalBalance
?LOAN ?BAL))
(
currentAccountBalance
?LOAN ?START ?BAL))
FinancialOntology.kif 1399-1404
IntervalloTemporale
è un'
istanza
di
Loan
PuntoTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
totalBalance
IntervalloTemporale
and
MisuraMonetaria
currentAccountBalance
IntervalloTemporale
,
PuntoTemporale
and
MisuraMonetaria
(=>
(
and
(
instance
?M1
(
MonthFn
?N1
(
YearFn
?Y)))
(
instance
?M2
(
MonthFn
?N2
(
YearFn
?Y)))
(
equal
?T1
(
BeginFn
?M1))
(
equal
?T2
(
BeginFn
?M2))
(
successorClass
?N1 ?N2))
(
before
?T1 ?T2))
Merge.kif 8742-8749
IntervalloTemporale
è un'
istanza
di il
mese
Mese
IntervalloTemporale
è un'
istanza
di il
mese
Mese
PuntoTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
PuntoTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
successorClass
Mese
and
Mese
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
(=>
(
and
(
instance
?MT
MusicalTone
)
(
soundFrequency
?MT
(
MeasureFn
?FREQ
Hertz
))
(
loudness
?MT
(
MeasureFn
?LLB
Decibel
))
(
located
?MT
(
WhereFn
?H
(
BeginFn
(
WhenFn
?MT))))
(
greaterThan
?LLIMIT ?LLB)
(
greaterThan
?LLB ?ULIMIT)
(
greaterThan
?FREQ 250)
(
greaterThan
8000 ?FREQ)
(
instance
?H
Human
)
(
instance
?L
Listening
)
(
agent
?L ?H))
(
hearingAcuity
?H
(
MeasureFn
?LLIMIT
Decibel
)
(
MeasureFn
?ULIMIT
Decibel
)))
Medicine.kif 1753-1773
MusicalTone
è un'
istanza
di
MusicalTone
soundFrequency
MusicalTone
and
NumeroReale
Hertz
(s
loudness
MusicalTone
and
NumeroReale
Decibel
(s
MusicalTone
è
localizzato
in il luogo
dove
Umano
era in l'
inizio
di il
tempo
di esistenza di
MusicalTone
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di 250 8000 è
pi
ù grande di
NumeroReale
Umano
è un'
istanza
di
Umano
Processo
è un'
istanza
di
Listening
Processo
è un
agente
di
Umano
hearingAcuity
Umano
,
NumeroReale
Decibel
(s and
NumeroReale
Decibel
(s
(=>
(
and
(
instance
?O
Oxidation
)
(
patient
?O ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?O))
(
electronNumber
?S ?G)))
(
exists
(?L)
(
and
(
lessThan
?L ?G)
(
holdsDuring
(
EndFn
(
WhenFn
?O))
(
electronNumber
?S ?L)))))
Mid-level-ontology.kif 19610-19622
Processo
è un'
istanza
di
Oxidation
Entit�
è un
paziente
di
Processo
electronNumber
Entit�
and
NumeroReale
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
NumeroReale
NumeroReale
è
meno
di
NumeroReale
electronNumber
Entit�
and
NumeroReale
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?P
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17665-17683
IntervalloTemporale
è un'
istanza
di
Pulling
IntervalloTemporale
si
originas in
Oggetto
IntervalloTemporale
è un
agente
di
AutonomousAgent
AutonomousAgent
è
localizzato
in
AutonomousAgent
LOC vales
durante
l'
inizio
di
IntervalloTemporale
IntervalloTemporale
fine
s in
Entit�
Entit�
Entit�
and
Entit�
la
distanza
tra
AutonomousAgent
LOC e
Entit�
è
Entit�
Entit�
(s la
distanza
tra
AutonomousAgent
LOC e
Oggetto
è
Entit�
Entit�
(s
Entit�
è
pi
ù grande di
Entit�
vales
durante
immediatamente
dopo
l'
inizio
di
IntervalloTemporale
(=>
(
and
(
instance
?P
Pushing
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17643-17661
IntervalloTemporale
è un'
istanza
di
Pushing
IntervalloTemporale
si
originas in
Oggetto
IntervalloTemporale
è un
agente
di
AutonomousAgent
AutonomousAgent
è
localizzato
in
AutonomousAgent
LOC vales
durante
l'
inizio
di
IntervalloTemporale
IntervalloTemporale
fine
s in
Entit�
Entit�
Entit�
and
Entit�
la
distanza
tra
AutonomousAgent
LOC e
Entit�
è
Entit�
Entit�
(s la
distanza
tra
AutonomousAgent
LOC e
Oggetto
è
Entit�
Entit�
(s
Entit�
è
pi
ù grande di
Entit�
vales
durante
immediatamente
dopo
l'
inizio
di
IntervalloTemporale
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 12512-12519
Processo
è un'
istanza
di
Combinare
Oggetto
è una
risorsa
per
Processo
Entit�
è un
risultato
di
Processo
Oggetto
è una
parte
di
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Oggetto
è una
parte
di
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 6225-6238
allergic
Umano
and
Sostanza
Sostanza
UB è un'
istanza
di
Sostanza
Sostanza
UB
incontra
s
Umano
vales
durante
PosizioneTemporale
l'affermazione
Entit�
Entit�
è un'
istanza
di
AllergicReaction
Umano
esperisce
s
Entit�
il
tempo
di esistenza di
Entit�
sovrappone
s
PosizioneTemporale
l'
inizio
di
PosizioneTemporale
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
ha il modello di forza di
Likely
(=>
(
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
,
MisuraMonetaria
and
PosizioneTemporale
accountHolder
FinancialAccount
and
AgenteCognitivo
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
Giorno
IntervalloTemporale
è un'
istanza
di l'
anno
-6
IntervalloTemporale
è un'
istanza
di l'
anno
4
Giorno
è una
parte
di
intervallo
tra l'
inizio
di
IntervalloTemporale
e la
fine
di
IntervalloTemporale
(=>
(
and
(
checkOutTime
?HOTEL ?TIME)
(
guest
?GUEST ?HOTEL))
(
expects
?HOTEL
(
exists
(?T ?C)
(
and
(
instance
?T ?TIME)
(
patient
?C ?GUEST)
(
instance
?C
CheckOutService
)
(
agent
?C ?HOTEL)
(
before
(
BeginFn
(
WhenFn
?C)) ?T)))))
Hotel.kif 684-695
checkOutTime
AgenteCognitivo
and
PuntoTemporale
guest
AgenteCognitivo
and
AgenteCognitivo
expects
AgenteCognitivo
and
Entit�
Entit�
Entit�
è un'
istanza
di
PuntoTemporale
AgenteCognitivo
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
CheckOutService
Entit�
è un
agente
di
AgenteCognitivo
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di
Entit�
(=>
(
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
Giorno
IntervalloTemporale
è un'
istanza
di l'
anno
29
IntervalloTemporale
è un'
istanza
di l'
anno
36
Giorno
è una
parte
di
intervallo
tra l'
inizio
di
IntervalloTemporale
e la
fine
di
IntervalloTemporale
(=>
(
and
(
destination
?MSG ?TELEX)
(
instance
?MSG
Messaging
)
(
patient
?MSG ?M)
(
instance
?TELEX
Telex
))
(
exists
(?PROC ?TEXT)
(
and
(
instrument
?PROC ?TELEX)
(
result
?PROC ?TEXT)
(
represents
?TEXT ?M)
(
instance
?TEXT
Text
)
(
before
(
BeginFn
(
WhenFn
?MSG))
(
BeginFn
(
WhenFn
?PROC))))))
Communications.kif 202-214
Processo
fine
s in
Oggetto
Processo
è un'
istanza
di
Messaging
Entit�
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Telex
Processo
Entit�
Oggetto
è uno
strumento
per
Processo
Entit�
è un
risultato
di
Processo
Entit�
esprime
Entit�
Entit�
è un'
istanza
di
Testo
l'
inizio
di il
tempo
di esistenza di
Processo
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Processo
(=>
(
and
(
firstInstanceCreated
?C ?T)
(
instance
?I ?C))
(
beforeOrEqual
?T
(
BeginFn
(
WhenFn
?I))))
Mid-level-ontology.kif 30716-30722
firstInstanceCreated
Entit�Concreta
and
PuntoTemporale
Entit�Concreta
è un'
istanza
di
Entit�Concreta
PuntoTemporale
succede
%{s} prima di o con l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
holdsDuring
?T2 ?SIT2)
(
holdsDuring
?T1 ?SIT1)
(
instance
?T1
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
causesProposition
?SIT1 ?SIT2))
(
beforeOrEqual
(
BeginFn
?T1)
(
BeginFn
?T2)))
Merge.kif 3837-3844
Formula
vales
durante
IntervalloTemporale
Formula
vales
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
causesProposition
Formula
and
Formula
l'
inizio
di
IntervalloTemporale
succede
%{s} prima di o con l'
inizio
di
IntervalloTemporale
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
equal
(
BeginFn
?TIME)
(
BeginFn
(
FirstFn
?LIST))))
Weather.kif 1949-1956
Entit�
è un
ConsecutiveTimeIntervalList
ConsecutiveTimeIntervalList
is
uguale
a
TimeIntervalListFn
IntervalloTemporale
and
Durata
l'
inizio
di
IntervalloTemporale
is
uguale
a l'
inizio
di
FirstFn
ConsecutiveTimeIntervalList
(=>
(
and
(
initialPart
?C2 ?C1)
(
instance
?PART ?C2))
(
exists
(?WHOLE)
(
and
(
instance
?WHOLE ?C1)
(
holdsDuring
(
BeginFn
(
WhenFn
?PART))
(
part
?PART ?WHOLE)))))
Mid-level-ontology.kif 23767-23776
initialPart
Oggetto
and
Oggetto
Entit�Concreta
è un'
istanza
di
Oggetto
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�Concreta
è una
parte
di
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
initiallyContainsPart
?C2 ?C1)
(
instance
?WHOLE ?C1))
(
exists
(?PART)
(
and
(
instance
?PART ?C2)
(
holdsDuring
(
BeginFn
(
WhenFn
?WHOLE))
(
part
?PART ?WHOLE)))))
Mid-level-ontology.kif 23794-23802
initiallyContainsPart
Oggetto
and
Oggetto
Entit�Concreta
è un'
istanza
di
Oggetto
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è una
parte
di
Entit�Concreta
vales
durante
l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
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 21522-21533
Processo
è un'
istanza
di
Aborting
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Woman
attribute
Entit�
and
Pregnant
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Pregnant
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?A
Appointing
)
(
patient
?A ?H))
(
exists
(?P ?ORG)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
occupiesPosition
?H ?P ?ORG)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
occupiesPosition
?H ?P ?ORG)))))
Mid-level-ontology.kif 1035-1048
Processo
è un'
istanza
di
Appointing
Entit�
è un
paziente
di
Processo
Entit�
Entit�
Entit�
occupa la
posizione
di
Entit�
in
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
occupa la
posizione
di
Entit�
in
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
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 17170-17191
Processo
è un'
istanza
di
Accelerating
Processo
è un
agente
di
AutonomousAgent
NumeroReale
NumeroReale
,
NumeroReale
,
NumeroReale
,
Entit�
and
Entit�
la
misura
AutonomousAgent
è
NumeroReale
Entit�
(s
per
NumeroReale
Entit�
(s vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
la
misura
AutonomousAgent
è
NumeroReale
Entit�
(s
per
NumeroReale
Entit�
(s vales
durante
la
fine
di il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
IntervalloTemporale
è un'
istanza
di
ActivatingUIElement
Entit�
è un
paziente
di
IntervalloTemporale
Entit�
è un'
istanza
di
GUIElement
hasGUEState
Entit�
and
GUE_ActiveState
vales
durante
la
fine
di
IntervalloTemporale
hasGUEState
Entit�
and
GUE_ActiveState
vales
durante
l'
inizio
di
IntervalloTemporale
(=>
(
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 12702-12715
Processo
è un'
istanza
di
CambiamentoDiForma
Entit�
è un
paziente
di
Processo
Entit�
Entit�
è un'
istanza
di
AttributoDiForma
attribute
Entit�
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
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 12662-12675
Processo
è un'
istanza
di
CambiamentoDiSuperficie
Oggetto
è un
paziente
di
Processo
Oggetto
Entit�
Oggetto
è una
parte
superficiale di
Oggetto
attribute
Oggetto
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
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
IntervalloTemporale
è un'
istanza
di
AddToCart
Entit�
è un'
istanza
di
Oggetto
Entit�
è un
paziente
di
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
InsiemeConcreto
WebSite
,
PosizioneTemporale
and
IntervalloTemporale
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
WebSite
è un'
istanza
di
WebSite
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
webcart
AutonomousAgent
,
InsiemeConcreto
and
WebSite
l'
inizio
di
IntervalloTemporale
is
uguale
a la
fine
di
IntervalloTemporale
Entit�
è un
membro
di
InsiemeConcreto
vales
durante
PosizioneTemporale
(=>
(
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 12406-12413
Processo
è un'
istanza
di
Attaccare
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
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 16370-16380
Processo
è un'
istanza
di
BecomingDrunk
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
Sober
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
AutonomousAgent
and
Drunk
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
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 17413-17424
Processo
è un'
istanza
di
Boarding
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
onboard
AutonomousAgent
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
onboard
AutonomousAgent
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
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 17454-17466
Processo
è un'
istanza
di
Deboarding
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
onboard
AutonomousAgent
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
onboard
AutonomousAgent
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
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 16390-16400
Processo
è un'
istanza
di
SoberingUp
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
Drunk
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
AutonomousAgent
and
Sober
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
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 21422-21430
Processo
è un'
istanza
di
Bleeding
AutonomousAgent
esperisce
s
Processo
Entit�
Entit�
è un'
istanza
di
Sangue
Entit�
è una
parte
di
AutonomousAgent
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è una
parte
di
AutonomousAgent
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
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