equal
(=>
(
and
(
equal
?VA
(
VarianceAverageFn
?M ?L))
(
equal
1
(
ListLengthFn
?L)))
(
equal
?VA
(
MultiplicationFn
(
SubtractionFn
?M
(
ListOrderFn
?L 1))
(
SubtractionFn
?M
(
ListOrderFn
?L 1)))))
Weather.kif 1482-1493
NumeroReale
is
uguale
a
VarianceAverageFn
NumeroReale
and
Lista
1 is
uguale
a
lunghezza
di
Lista
NumeroReale
is
uguale
a (
NumeroReale
+ 1th
elemento
di
Lista
+ (
NumeroReale
+ 1th
elemento
di
Lista
(=>
(
and
(
equal
?VA
(
VarianceAverageFn
?M ?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?VA
(
AdditionFn
(
VarianceAverageFn
?M
(
ListOrderFn
?L 1))
(
VarianceAverageFn
?M
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Weather.kif 1449-1461
NumeroReale
is
uguale
a
VarianceAverageFn
Numero
and
Lista
lunghezza
di
Lista
è
pi
ù grande di 1
NumeroReale
is
uguale
a (
VarianceAverageFn
Numero
and 1th
elemento
di
Lista
+
VarianceAverageFn
Numero
and
SubListFn
2,
lunghezza
di
Lista
and
Lista
(=>
(
and
(
exactCardinality
?REL ?ARG 1)
(
instance
?REL
Predicate
)
(?REL @ARGS)
(
equal
?X
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
equal
?Y
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
equal
?X ?Y))
Media.kif 2106-2113
exactCardinality
Relazione
,
NumeroInteroPositivo
and 1
Relazione
è un'
istanza
di
Predicato
Relazione
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
is
uguale
a
Entit�
(=>
(
and
(
exactCardinality
?REL ?ARG 1)
(
instance
?REL
Predicate
)
(?REL @ARGS)
(
equal
?X
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
not
(
exists
(?Y)
(
and
(
equal
?Y
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
equal
?X ?Y))))))
Media.kif 2093-2103
exactCardinality
Relazione
,
NumeroInteroPositivo
and 1
Relazione
è un'
istanza
di
Predicato
Relazione
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
is
uguale
a
Entit�
(=>
(
and
(
exactCardinality
?REL ?ARG 1)
(
instance
?REL
Predicate
))
(
exists
(?X @ARGS)
(
and
(?REL @ARGS)
(
equal
?X
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
exists
(?Y)
(
and
(
equal
?Y
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
equal
?X ?Y))))))))
Media.kif 2075-2090
exactCardinality
Relazione
,
NumeroInteroPositivo
and 1
Relazione
è un'
istanza
di
Predicato
Entit�
@ARGS
Relazione
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
is
uguale
a
Entit�
(=>
(
and
(
exactCardinality
?REL ?ARG ?COUNT)
(
instance
?REL
Predicate
))
(
exists
(?S ?EL @ARGS)
(
and
(
instance
?S
SetOrClass
)
(=>
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
and
(
instance
?EL ?S)
(
equal
(
CardinalityFn
?S) ?COUNT))))))
Media.kif 2137-2150
exactCardinality
Relazione
,
NumeroInteroPositivo
and
NumeroIntero
Relazione
è un'
istanza
di
Predicato
Classe
Entit�
and @ARGS
Classe
è un'
istanza
di
InsiemeOClasse
Relazione
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
è un'
istanza
di
Classe
il numero di
istanzia
in
Classe
is
uguale
a
NumeroIntero
(=>
(
and
(
fOCShipsByOrigin
?MM ?HOME ?COUNT)
(
equal
?MM
(
MerchantMarineFn
?AREA)))
(
not
(
equal
?HOME ?AREA)))
Transportation.kif 1064-1068
fOCShipsByOrigin
MerchantMarine
,
AreaGeopolitica
and
NumeroInteroNonNegativo
MerchantMarine
is
uguale
a
MerchantMarineFn
AreaGeopolitica
AreaGeopolitica
is
uguale
a
AreaGeopolitica
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?P
Expellee
)
(
citizen
?P ?HOME-NATION)))
(
instance
?T1
TimeInterval
))
(
exists
(?TRANS ?NATION)
(
and
(
instance
?NATION
Nation
)
(
not
(
equal
?NATION ?HOME-NATION))
(
instance
?TRANS
Translocation
)
(
origin
?TRANS ?NATION)
(
patient
?TRANS ?P)
(
destination
?TRANS ?HOME-NATION)
(
temporalPart
?T1
(
WhenFn
?TRANS)))))
MilitaryPersons.kif 151-167
attribute
Entit�
and
Expellee
Entit�
è un
cittadino
di
Entit�
-NATION vales
durante
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
Processo
Oggetto
Oggetto
è un'
istanza
di
Nazione
Oggetto
is
uguale
a
Entit�
-NATION
Processo
è un'
istanza
di
Translocation
Processo
si
originas in
Oggetto
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Entit�
-NATION
PosizioneTemporale
è una
parte
diil
tempo
di esistenza di
Processo
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?PERSON
DislocatedCivilian
)
(
inhabits
?PERSON ?RESIDENCE)
(
located
?RESIDENCE ?PLACE)))
(
instance
?PLACE
GeographicArea
)
(
instance
?T1
TimeInterval
))
(
exists
(?T0 ?PRIOR-PLACE ?PRIOR-RES)
(
and
(
instance
?T0
TimeInterval
)
(
earlier
?T0 ?T1)
(
instance
?PRIOR-RES
Object
)
(
instance
?PRIOR-PLACE
GeopoliticalArea
)
(
located
?PRIOR-RES ?PRIOR-PLACE)
(
not
(
equal
?PLACE ?PRIOR-PLACE))
(
not
(
equal
?RESIDENCE ?PRIOR-RES))
(
not
(
geographicSubregion
?PLACE ?PRIOR-PLACE))
(
not
(
geographicSubregion
?PRIOR-PLACE ?PLACE))
(
holdsDuring
?T0
(
inhabits
?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
attribute
Entit�
and
DislocatedCivilian
Entit�
abita
s in
Entit�
Entit�
è
localizzato
in
AreaGeografica
vales
durante
IntervalloTemporale
AreaGeografica
è un'
istanza
di
AreaGeografica
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
Entit�
-PLACE and
Entit�
-RES
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
Entit�
-RES è un'
istanza
di
Oggetto
Entit�
-PLACE è un'
istanza
di
AreaGeopolitica
Entit�
-RES è
localizzato
in
Entit�
-PLACE
AreaGeografica
is
uguale
a
Entit�
-PLACE
Entit�
is
uguale
a
Entit�
-RES
geographicSubregion
AreaGeografica
and
Entit�
-PLACE
geographicSubregion
Entit�
-PLACE and
AreaGeografica
Entit�
abita
s in
Entit�
-RES vales
durante
IntervalloTemporale
(=>
(
and
(
inList
?INT ?LIST)
(
equal
?LIST
(
TimeIntervalListFn
?TIME ?DUR)))
(
equal
(
BeginFn
?TIME)
(
BeginFn
(
FirstFn
?LIST))))
Weather.kif 1962-1969
Entit�
è un
ConsecutiveTimeIntervalList
ConsecutiveTimeIntervalList
is
uguale
a
TimeIntervalListFn
IntervalloTemporale
and
Durata
l'
inizio
di
IntervalloTemporale
is
uguale
a l'
inizio
di
FirstFn
ConsecutiveTimeIntervalList
(=>
(
and
(
independentProbability
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
equal
?NUMBER2 ?NUMBER1))
Merge.kif 2640-2645
Probabilità di
Formula
e
Formula
è
indipendente
la
probabilit
à di
Formula
is
uguale
a
NumeroReale
probabilit
à di
Formula
ammesso che
Formula
valga è
NumeroReale
NumeroReale
is
uguale
a
NumeroReale
(=>
(
and
(
instance
?A
Accelerating
)
(
equal
?T
(
WhenFn
?A))
(
experiencer
?A ?E))
(
not
(
exists
(?D)
(
and
(
instance
?D
Decelerating
)
(
experiencer
?D ?E)
(
equal
?T
(
WhenFn
?D))))))
Mid-level-ontology.kif 17192-17202
Processo
è un'
istanza
di
Accelerating
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
Processo
AutonomousAgent
esperisce
s
Processo
Processo
Processo
è un'
istanza
di
Decelerating
AutonomousAgent
esperisce
s
Processo
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
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 501-514
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
CoffeeGrindAttribute
)
(
attribute
?C ?A)
(
instance
?C
CoffeeGrind
))
(
exists
(?L ?X)
(
and
(
grainSize
?C ?L)
(
instance
?X
LengthMeasure
)
(
equal
?X
(
MeasureFn
?L
Millimeter
)))))
Food.kif 1063-1073
Attributo
è un'
istanza
di
CoffeeGrindAttribute
attribute
Oggetto
and
Attributo
Oggetto
è un'
istanza
di
CoffeeGrind
NumeroReale
Quantit�Fisica
grainSize
Oggetto
and
NumeroReale
Quantit�Fisica
è un'
istanza
di
MisuraDiLunghezza
Quantit�Fisica
is
uguale
a
NumeroReale
Millimeter
(s
(=>
(
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
?AGENT
AutonomousAgent
)
(
instance
?SITE
WebSite
))
(
exists
(?COLL)
(
and
(
instance
?COLL
Collection
)
(
forall
(?LISTING)
(=>
(
and
(
instance
?LISTING
WebListing
)
(
hostedOn
?LISTING ?SITE)
(
listingSeller
?LISTING ?AGENT))
(
member
?LISTING ?COLL)))
(
equal
(
SellersItemsFn
?AGENT ?SITE) ?COLL))))
UXExperimentalTerms.kif 992-1008
AutonomousAgent
è un'
istanza
di
AutonomousAgent
WebSite
è un'
istanza
di
WebSite
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
WebListing
WebListing
è un'
istanza
di
WebListing
hostedOn
WebListing
and
WebSite
listingSeller
WebListing
and
AutonomousAgent
WebListing
è un
membro
di
InsiemeConcreto
SellersItemsFn
AutonomousAgent
and
WebSite
is
uguale
a
InsiemeConcreto
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
equal
?DURATION
(
WhenFn
?AMBULATE)))
(
exists
(?STEP1 ?STEPN)
(
and
(
instance
?STEP1
Stepping
)
(
instance
?STEPN
Stepping
)
(
subProcess
?STEP1 ?AMBULATE)
(
subProcess
?STEPN ?AMBULATE)
(
starts
(
WhenFn
?STEP1) ?DURATION)
(
finishes
(
WhenFn
?STEPN) ?DURATION)
(
not
(
equal
?STEP1 ?STEPN)))))
Mid-level-ontology.kif 487-499
Processo
è un'
istanza
di
Ambulating
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
Processo
Processo
Processo
Processo
è un'
istanza
di
Stepping
Processo
è un'
istanza
di
Stepping
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
il
tempo
di esistenza di
Processo
inizia
s
IntervalloTemporale
il
tempo
di esistenza di
Processo
finisce
es
IntervalloTemporale
Processo
is
uguale
a
Processo
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationHighPointFn
?AREA) ?AREA)
(
elevation
(
ElevationHighPointFn
?AREA)
(
MeasureFn
?ELEV1 ?UNIT)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationHighPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?UNIT))
(
greaterThan
?ELEV2 ?ELEV1)))))
Geography.kif 1964-1975
AreaGeografica
è un'
istanza
di
AreaGeografica
geographicSubregion
ElevationHighPointFn
AreaGeografica
and
AreaGeografica
elevation
ElevationHighPointFn
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
AreaGeografica
NumeroReale
geographicSubregion
AreaGeografica
and
AreaGeografica
AreaGeografica
is
uguale
a
ElevationHighPointFn
AreaGeografica
elevation
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationLowPointFn
?AREA) ?AREA)
(
instance
?U
UnitOfLength
)
(
elevation
(
ElevationLowPointFn
?AREA)
(
MeasureFn
?ELEV1 ?U)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationLowPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?U))
(
lessThan
?ELEV2 ?ELEV1)))))
Geography.kif 1940-1954
AreaGeografica
è un'
istanza
di
AreaGeografica
geographicSubregion
ElevationLowPointFn
AreaGeografica
and
AreaGeografica
Unit�DiMisura
è un'
istanza
di
UnitOfLength
elevation
ElevationLowPointFn
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
AreaGeografica
NumeroReale
geographicSubregion
AreaGeografica
and
AreaGeografica
AreaGeografica
is
uguale
a
ElevationLowPointFn
AreaGeografica
elevation
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
NumeroReale
(=>
(
and
(
instance
?ARTICLE1
Article
)
(
instance
?BOOK
Book
)
(
subsumesContentInstance
?BOOK ?ARTICLE1))
(
exists
(?ARTICLE2)
(
and
(
instance
?ARTICLE2
Article
)
(
not
(
equal
?ARTICLE2 ?ARTICLE1))
(
subsumesContentInstance
?BOOK ?ARTICLE2))))
Mid-level-ontology.kif 14681-14690
ContentBearingPhysical
è un'
istanza
di
Articolo
ContentBearingPhysical
è un'
istanza
di
Libro
ContentBearingPhysical
sussume
il contenuto di
ContentBearingPhysical
ContentBearingPhysical
ContentBearingPhysical
è un'
istanza
di
Articolo
ContentBearingPhysical
is
uguale
a
ContentBearingPhysical
ContentBearingPhysical
sussume
il contenuto di
ContentBearingPhysical
(=>
(
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
?AUCTIONS
Collection
)
(
forall
(?AUC)
(=>
(
member
?AUC ?AUCTIONS)
(
instance
?AUC
Auctioning
))))
(
exists
(?AMOUNT ?TOTAL_PURCHASE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
transactionAmount
?AUC ?AMOUNT)) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
AuctionGMBFn
?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 3202-3215
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Auctioning
Stringa
Entit�
_PURCHASE_AMOUNT
total
la
classe
descritta da
Stringa
and
Entit�
_PURCHASE_AMOUNT
AuctionGMBFn
InsiemeConcreto
is
uguale
a
Entit�
_PURCHASE_AMOUNT
(=>
(
and
(
instance
?B
Blockade
)
(
instance
?C
Contest
)
(
subProcess
?B ?C)
(
contestParticipant
?C ?A1)
(
agent
?B ?A1))
(
exists
(?C1 ?A2)
(
and
(
prevents
?C1
Translocation
)
(
instance
?B ?C1)
(
contestParticipant
?C ?A2)
(
not
(
equal
?A1 ?A2))
(
desires
?A2
(
exists
(?I)
(
and
(
instance
?I ?C1)
(
agent
?I ?A1)
(
subProcess
?I ?C)))))))
Mid-level-ontology.kif 21775-21794
Processo
è un'
istanza
di
Blockade
Competizione
è un'
istanza
di
Competizione
Processo
è un
sottoprocesso
di
Competizione
contestParticipant
Competizione
and
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
Competizione
1
AgenteCognitivo
Competizione
1
impedisce
l'occorrenza di
Translocation
Processo
è un'
istanza
di
Competizione
1
contestParticipant
Competizione
and
AgenteCognitivo
AutonomousAgent
is
uguale
a
AgenteCognitivo
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Competizione
1
Entit�
è un
agente
di
AutonomousAgent
Entit�
è un
sottoprocesso
di
Competizione
(=>
(
and
(
instance
?B
Blushing
)
(
experiencer
?B ?A))
(
exists
(?T1 ?T2 ?S1 ?S2)
(
and
(
instance
?S1
EmotionalState
)
(
instance
?S2
EmotionalState
)
(
not
(
equal
?S1 ?S2))
(
holdsDuring
?T1
(
attribute
?A ?S1))
(
holdsDuring
?T2
(
attribute
?A ?S2))
(
starts
(
WhenFn
?B) ?T2)
(
finishes
(
WhenFn
?B) ?T1))))
Mid-level-ontology.kif 21473-21488
Processo
è un'
istanza
di
Blushing
AutonomousAgent
esperisce
s
Processo
IntervalloTemporale
IntervalloTemporale
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
StatoEmotivo
Entit�
è un'
istanza
di
StatoEmotivo
Entit�
is
uguale
a
Entit�
attribute
AutonomousAgent
and
Entit�
vales
durante
IntervalloTemporale
attribute
AutonomousAgent
and
Entit�
vales
durante
IntervalloTemporale
il
tempo
di esistenza di
Processo
inizia
s
IntervalloTemporale
il
tempo
di esistenza di
Processo
finisce
es
IntervalloTemporale
(=>
(
and
(
instance
?B
Braking
)
(
patient
?B ?O))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A1
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A2
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
greaterThan
?A1 ?A2)))
Cars.kif 1252-1267
Processo
è un'
istanza
di
Braking
Entit�
è un
paziente
di
Processo
NumeroReale
MilesPerHour
(s is
uguale
a
AccelerationFn
Entit�
,
Entit�
,
Entit�
and
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
NumeroReale
MilesPerHour
(s is
uguale
a
AccelerationFn
Entit�
,
Entit�
,
Entit�
and
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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