during
(=>
(
and
(
instance
?W
(
WeekFn
?N ?Y))
(
instance
?YI ?Y))
(
during
?W ?YI))
Merge.kif 8995-8999
Intervalo Temporal
e' uma
instancia
de
WeekFn
Inteiro positivo
and
Ano
Ano
I e' uma
instancia
de
Ano
Intervalo Temporal
acontece
durante
Ano
I
(=>
(
and
(
instance
?X
DryRoasting
)
(
instance
?F
Food
)
(
patient
?X ?F))
(
holdsDuring
?X
(
exists
(?H ?S)
(
and
(
instance
?H
Heating
)
(
instance
?S
Stirring
)
(
subProcess
?H ?X)
(
subProcess
?S ?X)
(
during
(
WhenFn
?S)
(
WhenFn
?H))
(
patient
?H ?F)
(
patient
?S ?F)
(
not
(
exists
(?O ?W)
(
and
(
instance
?O
Oil
)
(
instance
?W
DrinkingWater
)
(
patient
?X ?O)
(
patient
?X ?W))))))))
Food.kif 128-151
Processo
e' uma
instancia
de
DryRoasting
Entidade
e' uma
instancia
de
Comida
Entidade
e' um
patient
de
Processo
Entidade
Entidade
Entidade
e' uma
instancia
de
Aquecer
Entidade
e' uma
instancia
de
Stirring
Entidade
e' um
sub
-processo de
Processo
Entidade
e' um
sub
-processo de
Processo
tempo
de existencia de
Entidade
acontece
durante
tempo
de existencia de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
Entidade
Entidade
e' uma
instancia
de
Oil
Entidade
e' uma
instancia
de
DrinkingWater
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
vale
durante
Processo
(=>
(
and
(
instance
?X
Meal
)
(
attribute
?X
Breakfast
)
(
instance
?E
Eating
)
(
patient
?E ?X))
(
modalAttribute
(
exists
(?TIME)
(
and
(
during
(
WhenFn
?E) ?TIME)
(
instance
?TIME
BreakfastTime
)))
Likely
))
Food.kif 1706-1716
Objeto
e' uma
instancia
de
Meal
Breakfast
e' um
atributo
de
Objeto
Processo
e' uma
instancia
de
Comer
Objeto
e' um
patient
de
Processo
o argumento
Entidade
tempo
de existencia de
Processo
acontece
durante
Entidade
Entidade
e' uma
instancia
de
BreakfastTime
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?X
Meal
)
(
attribute
?X
Dinner
)
(
instance
?E
Eating
)
(
patient
?E ?X))
(
modalAttribute
(
exists
(?TIME)
(
and
(
during
(
WhenFn
?E) ?TIME)
(
instance
?TIME
DinnerTime
)))
Likely
))
Food.kif 1793-1803
Objeto
e' uma
instancia
de
Meal
Dinner
e' um
atributo
de
Objeto
Processo
e' uma
instancia
de
Comer
Objeto
e' um
patient
de
Processo
o argumento
Entidade
tempo
de existencia de
Processo
acontece
durante
Entidade
Entidade
e' uma
instancia
de
DinnerTime
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?X
Meal
)
(
attribute
?X
Lunch
)
(
instance
?E
Eating
)
(
patient
?E ?X))
(
modalAttribute
(
exists
(?TIME)
(
and
(
during
(
WhenFn
?E) ?TIME)
(
instance
?TIME
LunchTime
)))
Likely
))
Food.kif 1776-1786
Objeto
e' uma
instancia
de
Meal
Lunch
e' um
atributo
de
Objeto
Processo
e' uma
instancia
de
Comer
Objeto
e' um
patient
de
Processo
o argumento
Entidade
tempo
de existencia de
Processo
acontece
durante
Entidade
Entidade
e' uma
instancia
de
LunchTime
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?X
NightClub
)
(
standardRetailHours
?TIME ?X))
(
exists
(?T)
(
and
(
instance
?T ?TIME)
(
during
?T
NightTime
))))
Dining.kif 419-426
AutonomousAgent
e' uma
instancia
de
NightClub
standardRetailHours
Intervalo Temporal
and
AutonomousAgent
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
acontece
durante
NightTime
(=>
(
and
(
newRegisteredUsers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?DURING)
(
and
(
instance
?DURING
TimeInterval
)
(
during
?DURING ?INT)
(
holdsDuring
?DURING
(
registeredUser
?MEMBER ?SITE)))))
UXExperimentalTerms.kif 3629-3638
newRegisteredUsers
Intervalo Temporal
,
WebSite
and
Colecao
Fisico
e'
membro
de
Colecao
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
registeredUser
Fisico
and
WebSite
vale
durante
Intervalo Temporal
(=>
(
and
(
not
(
instance
?A
AutonomousAgent
))
(
holdsDuring
?T
(
attribute
?A
Motionless
)))
(
not
(
exists
(?P)
(
and
(
instance
?P
Motion
)
(
patient
?P ?A)
(
during
(
WhenFn
?P) ?T)))))
Mid-level-ontology.kif 30279-30290
Entidade
e' uma
instancia
de
AutonomousAgent
Motionless
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
Movimento
Entidade
e' um
patient
de
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
(=>
(
and
(
observesHoliday
?A ?T1)
(
equal
?T2
(
WhenFn
?A)))
(
during
?T1 ?T2))
Media.kif 258-262
observesHoliday
Agente Cognitivo
and
Holiday
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Agente Cognitivo
Holiday
acontece
durante
Intervalo Temporal
(=>
(
and
(
passenger
?PROC ?PASS)
(
instance
?V
Vehicle
)
(
instrument
?PROC ?V))
(
not
(
exists
(?G)
(
and
(
during
(
WhenFn
?G)
(
WhenFn
?PROC))
(
instance
?G
Guiding
)
(
agent
?G ?PASS)
(
instrument
?G ?V)))))
Mid-level-ontology.kif 30796-30807
passenger
Transferencia
and
AutonomousAgent
Objeto
e' uma
instancia
de
Vehicle
Objeto
e' um
instrumento
para
Transferencia
Processo
tempo
de existencia de
Processo
acontece
durante
tempo
de existencia de
Transferencia
Processo
e' uma
instancia
de
Guiar
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
instrumento
para
Processo
(=>
(
and
(
physicalAmplitude
?T
(
MeasureFn
?L ?U))
(
instance
?U
UnitOfLength
)
(
patient
?T ?O))
(
not
(
exists
(?P1 ?P2 ?T1 ?T2 ?L2)
(
and
(
during
?T1
(
WhenFn
?T))
(
during
?T2
(
WhenFn
?T))
(
holdsDuring
?T1
(
located
?O ?P1))
(
holdsDuring
?T2
(
located
?O ?P2))
(
distance
?P1 ?P2
(
MeasureFn
?L2 ?U))
(
greaterThan
?L2 ?L)))))
Cars.kif 751-768
physicalAmplitude
Tremor
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Entidade
e' um
patient
de
Tremor
Fisico
Fisico
,
Tremor
1,
Tremor
2 and
Numero Real
2
Tremor
1 acontece
durante
tempo
de existencia de
Tremor
Tremor
2 acontece
durante
tempo
de existencia de
Tremor
Entidade
e'
situado
em
Fisico
vale
durante
Tremor
1
Entidade
e'
situado
em
Fisico
vale
durante
Tremor
2 a
distancia
entre
Fisico
e
Fisico
e'
Numero Real
2
Unidade de Medida
(s)
Numero Real
2 e'
maior
que
Numero Real
(=>
(
and
(
physicalAmplitude
?T ?L)
(
patient
?T ?O))
(
exists
(?P1 ?P2 ?T1 ?T2)
(
and
(
during
?T1
(
WhenFn
?T))
(
during
?T2
(
WhenFn
?T))
(
holdsDuring
?T1
(
located
?O ?P1))
(
holdsDuring
?T2
(
located
?O ?P2))
(
distance
?P1 ?P2 ?L))))
Cars.kif 737-749
physicalAmplitude
Tremor
and
Medida de Comprimento
Entidade
e' um
patient
de
Tremor
Fisico
Fisico
,
Tremor
1 and
Tremor
2
Tremor
1 acontece
durante
tempo
de existencia de
Tremor
Tremor
2 acontece
durante
tempo
de existencia de
Tremor
Entidade
e'
situado
em
Fisico
vale
durante
Tremor
1
Entidade
e'
situado
em
Fisico
vale
durante
Tremor
2 a
distancia
entre
Fisico
e
Fisico
e'
Medida de Comprimento
(=>
(
and
(
property
?X
Booting
)
(
instance
?X
Computer
))
(
exists
(?CD ?OS ?DT)
(
and
(
instance
?CD
DigitalData
)
(
instance
?OS
OperatingSystem
)
(
instance
?DT
DataTransfer
)
(
during
(
WhenFn
?DT)
(
WhenFn
?X))
(
destination
?DT ?X)
(
part
?CD ?OS)
(
objectTransferred
?DT ?CD))))
ComputingBrands.kif 3217-3229
Fisico
tem um
atributo
de
Booting
Fisico
e' uma
instancia
de
Computer
Objeto
Objeto
and
Transferencia
Objeto
e' uma
instancia
de
DigitalData
Objeto
e' uma
instancia
de
OperatingSystem
Transferencia
e' uma
instancia
de
DataTransfer
tempo
de existencia de
Transferencia
acontece
durante
tempo
de existencia de
Fisico
Transferencia
termina
em
Fisico
Objeto
e' uma &parte de
Objeto
objectTransferred
Transferencia
and
Objeto
(=>
(
and
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
equal
?QUANT
(
PerFn
?PRICE
(
measure
?TIME ?U)))
(
instance
?U
UnitOfDuration
)
(
immediateInstance
?ITEM ?OBJ)
(
instance
?R
Renting
)
(
patient
?R ?ITEM)
(
agent
?R ?CUSTOMER)
(
time
?R ?TIMEINT))
(
forall
(?X)
(=>
(
exists
(?DURATION)
(
and
(
during
?TIMEINT ?X)
(
instance
?X
TimeInterval
)
(
duration
?X
(
MeasureFn
?DURATION ?U))
(
lessThanOrEqualTo
?DURATION ?TIME)))
(
exists
(?P)
(
and
(
instance
?P
Payment
)
(
destination
?P ?AGENT)
(
agent
?P ?CUSTOMER)
(
transactionAmount
?P ?PRICE))))))
Catalog.kif 467-492
rentalPrice
Fisico
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Funcao de Quantidade
e'
igual
a
PerFn
Medida de Divisa
and a
medida
de
Numero Real
e'
Unidade de Medida
Unidade de Medida
e' uma
instancia
de
UnitOfDuration
Entidade
e' uma
instancia
imediata de
Fisico
Processo
e' uma
instancia
de
Renting
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
existe
durante
Numero Real
INT
Intervalo Temporal
Numero Real
Numero Real
INT acontece
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menor
ou igual a
Numero Real
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Payment
Transacao Financeira
termina
em
Agente Cognitivo
Transacao Financeira
e' um
agente
de
AutonomousAgent
transactionAmount
Transacao Financeira
and
Medida de Divisa
(=>
(
and
(
restingBreathingRate
?H ?R)
(
instance
?L
Lung
)
(
part
?L ?H))
(
exists
(?T)
(
and
(
not
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
agent
?REC ?H)
(
during
?T
(
WhenFn
?REC)))))
(
instance
?T
Minute
)
(
breathingRate
?H ?T ?R))))
Medicine.kif 342-357
restingBreathingRate
Mamifero
and
Numero Inteiro
Objeto
e' uma
instancia
de
Lung
Objeto
e' uma &parte de
Mamifero
Intervalo Temporal
Numero Inteiro
EC
Numero Inteiro
EC e' uma
instancia
de
Recreacao ou Exercicio
Numero Inteiro
EC e' um
agente
de
Mamifero
Intervalo Temporal
acontece
durante
tempo
de existencia de
Numero Inteiro
EC
Intervalo Temporal
e' uma
instancia
de
Minuto
breathingRate
Mamifero
,
Intervalo Temporal
and
Numero Inteiro
(=>
(
and
(
restingHeartRate
?H ?R)
(
instance
?HEART
Heart
)
(
part
?HEART ?H))
(
exists
(?T)
(
and
(
not
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
agent
?REC ?H)
(
during
?T
(
WhenFn
?REC)))))
(
instance
?T
Minute
)
(
heartRate
?H ?T ?R))))
Medicine.kif 122-136
restingHeartRate
Mamifero
and
Numero Inteiro
Mamifero
EART e' uma
instancia
de
Heart
Mamifero
EART e' uma &parte de
Mamifero
Intervalo Temporal
Numero Inteiro
EC
Numero Inteiro
EC e' uma
instancia
de
Recreacao ou Exercicio
Numero Inteiro
EC e' um
agente
de
Mamifero
Intervalo Temporal
acontece
durante
tempo
de existencia de
Numero Inteiro
EC
Intervalo Temporal
e' uma
instancia
de
Minuto
heartRate
Mamifero
,
Intervalo Temporal
and
Numero Inteiro
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30980-30995
shortage
Agente Cognitivo
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Quantidade
Quantidade
e' uma
instancia
de
Numero Inteiro
Agente Cognitivo
deseja
Entidade
Entidade
Entidade
e' uma
instancia
de
Comprar
tempo
de existencia de
Entidade
acontece
durante
Intervalo Temporal
objectTransferred
Entidade
and
Entidade
transactionAmount
Entidade
and
Medida de Divisa
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' uma
instancia
de
Colecao
memberType
Entidade
and
Objeto
memberCount
Entidade
and
Quantidade
Agente Cognitivo
possui
Entidade
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30947-30962
shortage
AutonomousAgent
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Numero Inteiro
Numero Inteiro
e' uma
instancia
de
Numero Inteiro
Transferencia
Colecao
Transferencia
e' uma
instancia
de
Comprar
tempo
de existencia de
Transferencia
acontece
durante
Intervalo Temporal
objectTransferred
Transferencia
and
Colecao
transactionAmount
Transferencia
and
Medida de Divisa
Transferencia
e' um
agente
de
AutonomousAgent
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Objeto
memberCount
Colecao
and
Numero Inteiro
AutonomousAgent
possui
Colecao
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30997-31011
shortage
Agente Cognitivo
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Quantidade
Quantidade
e' uma
instancia
de
Quantidade Fisica
Agente Cognitivo
deseja
Entidade
Entidade
Entidade
e' uma
instancia
de
Comprar
tempo
de existencia de
Entidade
acontece
durante
Intervalo Temporal
objectTransferred
Entidade
and
Entidade
transactionAmount
Entidade
and
Medida de Divisa
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Quantidade
Agente Cognitivo
possui
Entidade
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30964-30978
shortage
AutonomousAgent
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Quantidade Fisica
Quantidade Fisica
e' uma
instancia
de
Quantidade Fisica
Transferencia
Objeto
Transferencia
e' uma
instancia
de
Comprar
tempo
de existencia de
Transferencia
acontece
durante
Intervalo Temporal
objectTransferred
Transferencia
and
Objeto
transactionAmount
Transferencia
and
Medida de Divisa
Transferencia
e' um
agente
de
AutonomousAgent
Objeto
e' uma
instancia
de
Objeto
a
medida
de
Objeto
e'
Quantidade Fisica
AutonomousAgent
possui
Objeto
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
))
(
not
(
exists
(?Observe ?A ?B ?D2)
(
and
(
instance
?Observe
Looking
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
during
(
WhenFn
?Observe) ?Time)
(
eventLocated
?Observe ?Area)
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?D2 ?Distance)))))
Weather.kif 2692-2709
visibilityInMeteorology
Regiao
,
Intervalo Temporal
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Processo
AutonomousAgent
,
Objeto
and
Numero Real
Processo
e' uma
instancia
de
Looking
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
AutonomousAgent
e'
Horizontal
em relacao a
Objeto
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
eventLocated
Processo
and
Regiao
a
distancia
entre
AutonomousAgent
e
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
breathingRate
?H ?T ?I)
(
exists
(?C ?M)
(
and
(
instance
?C
Collection
)
(
memberType
?C
Breath
)
(
memberCount
?C ?I)
(=>
(
member
?M ?C)
(
and
(
patient
?M ?H)
(
during
(
WhenFn
?M) ?T))))))
Mid-level-ontology.kif 10413-10425
breathingRate
Lung
,
Intervalo Temporal
and
Numero Inteiro
Colecao
Processo
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Breath
memberCount
Colecao
and
Numero Inteiro
Processo
e'
membro
de
Colecao
Lung
e' um
patient
de
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
(=>
(
equal
?C
(
ContestFn
?CONTEST ?TI))
(
and
(
instance
?C ?CONTEST)
(
during
(
WhenFn
?C) ?TI)))
Music.kif 1051-1055
Contest
e'
igual
a
ContestFn
Contest
ONTEST and
Intervalo Temporal
Contest
e' uma
instancia
de
Contest
ONTEST
tempo
de existencia de
Contest
acontece
durante
Intervalo Temporal
(=>
(
grossMerchandiseBoughtInPeriod
?A ?O ?CM ?TP)
(
and
(
monetaryValue
?CI ?CM)
(
instance
?CI
(
KappaFn
?COL
(
and
(
instance
?B
Buying
)
(
instance
?ITEM ?COL)
(
agent
?B ?A)
(
patient
?B ?ITEM)
(
patient
?B ?O)
(
during
?B ?TP))))))
ComputerInput.kif 2974-2986
grossMerchandiseBoughtInPeriod
AutonomousAgent
,
Organizacao
,
Medida de Divisa
and
Intervalo Temporal
o
valor
de
Fisico
e'
Medida de Divisa
Fisico
e' uma
instancia
de a
classe
descrita por
Sequencia Simbolica
(=>
(
grossMerchandiseSoldInPeriod
?A ?O ?CM ?TP)
(
and
(
monetaryValue
?CI ?CM)
(
instance
?CI
(
KappaFn
?COL
(
and
(
instance
?S
Selling
)
(
instance
?ITEM ?COL)
(
agent
?S ?A)
(
patient
?S ?ITEM)
(
patient
?S ?O)
(
during
?S ?TP))))))
ComputerInput.kif 2998-3010
grossMerchandiseSoldInPeriod
AutonomousAgent
,
Organizacao
,
Medida de Divisa
and
Intervalo Temporal
o
valor
de
Fisico
e'
Medida de Divisa
Fisico
e' uma
instancia
de a
classe
descrita por
Sequencia Simbolica
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