Likely
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
modalAttribute
(
wants
?H ?SPAM)
Likely
)))
ComputingBrands.kif 4210-4220
Processo
e' uma
instancia
de
Spamming
Processo
PAM e' o
resultado
de
Processo
Processo
e' uma
instancia
de
Spam
Entidade
e' uma
instancia
de
Humano
Processo
termina
em
Entidade
o argumento
Entidade
quer
Processo
PAM nao %n a
forca
modal
de
Likely
(=>
(
and
(
instance
?S
Speaking
)
(
instance
?J
Jaw
)
(
agent
?S ?H)
(
part
?J ?H))
(
modalAttribute
(
exists
(?M)
(
and
(
instance
?M
BodyMotion
)
(
objectTransferred
?M ?J)
(
during
(
WhenFn
?M)
(
WhenFn
?S))))
Likely
))
Anatomy.kif 1664-1676
Processo
e' uma
instancia
de
Speaking
Objeto
e' uma
instancia
de
Jaw
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' uma &parte de
AutonomousAgent
o argumento
Entidade
Entidade
e' uma
instancia
de
Movimento do Corpo
objectTransferred
Entidade
and
Objeto
tempo
de existencia de
Entidade
acontece
durante
tempo
de existencia de
Processo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?STEM
PlantStem
)
(
instance
?ROOT
PlantRoot
))
(
modalAttribute
(
orientation
?STEM ?ROOT
Above
)
Likely
))
Mid-level-ontology.kif 9539-9544
Entidade
e' uma
instancia
de
PlantStem
Entidade
e' uma
instancia
de
PlantRoot
o argumento
Entidade
e'
Above
em relacao a
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
Intervalo Temporal
e' uma
instancia
de
TimePeriod
a
duracao
de
Intervalo Temporal
e'
Numero Real
MinuteDuration
(s)
Numero Real
e'
maior
que 5.0
Entidade
e' uma
instancia
de
Humano
Processo
Processo
e' uma
instancia
de
Respirar
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Entidade
e' um
patient
de
Processo
o argumento
Entidade
Entidade
e' uma
instancia
de
Morte
Entidade
experimenta
Entidade
Intervalo Temporal
encontra
tempo
de existencia de
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?V
Vending
)
(
objectTransferred
?V ?O)
(
not
(
instance
?O
Currency
)))
(
modalAttribute
(
or
(
instance
?O
(
FoodForFn
Human
))
(
instance
?O
Beverage
))
Likely
))
Mid-level-ontology.kif 1986-1995
Transferencia
e' uma
instancia
de
Vending
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Currency
o argumento
Objeto
e' uma
instancia
de
FoodForFn
Humano
Objeto
e' uma
instancia
de
Bebida
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?V
ViolentContest
)
(
patient
?V ?H)
(
attribute
?H
(
InjuryCausedFn
?PC))
(
attribute
?H
(
ImpairedBodyPartFn
Airway
)))
(
modalAttribute
(
or
(
subclass
?PC
Combustion
)
(
exists
(?FI)
(
and
(
instance
?I
Injuring
)
(
located
?I ?F)
(
instance
?F
Face
)
(
patient
?I ?H))))
Likely
))
Medicine.kif 698-715
Processo
e' uma
instancia
de
ViolentContest
Objeto
e' um
patient
de
Processo
InjuryCausedFn
Processo
e' um
atributo
de
Objeto
ImpairedBodyPartFn
Airway
e' um
atributo
de
Objeto
o argumento
Processo
e' uma
sub
-classe de
Combustao
Entidade
Entidade
e' uma
instancia
de
Ferir
Entidade
e'
situado
em
Entidade
Entidade
e' uma
instancia
de
Face
Objeto
e' um
patient
de
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?W
Weeping
)
(
experiencer
?W ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?W)
(
attribute
?A
Sadness
))
Likely
))
emotion.kif 1602-1610
Processo
e' uma
instancia
de
Weeping
AutonomousAgent
experimenta
Processo
o argumento
Sadness
e' um
atributo
de
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?W
Weightlifting
)
(
agent
?W ?H))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
AnaerobicExerciseDevice
)
(
instrument
?W ?D)))
Likely
))
Sports.kif 796-805
Processo
e' uma
instancia
de
Weightlifting
Processo
e' um
agente
de
AutonomousAgent
o argumento
Entidade
Entidade
e' uma
instancia
de
AnaerobicExerciseDevice
Entidade
e' um
instrumento
para
Processo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?X
Buffet
)
(
attribute
?X
Breakfast
))
(
modalAttribute
(
forall
(?FOOD)
(=>
(
member
?FOOD ?X)
(
attribute
?FOOD
Breakfast
)))
Likely
))
Dining.kif 295-303
Objeto
e' uma
instancia
de
Buffet
Breakfast
e' um
atributo
de
Objeto
o argumento
Entidade
Entidade
e'
membro
de
Objeto
Breakfast
e' um
atributo
de
Entidade
tem a
forca
modal
de
Likely
(=>
(
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
(
not
(
holdsDuring
?T1
(
attribute
?H
Concussion
)))
(
holdsDuring
?T2
(
attribute
?H
Concussion
))
(
meetsTemporally
?T1 ?T2))
(
modalAttribute
(
holdsDuring
(
BeginFn
?T2)
(
attribute
?H
Unconscious
))
Likely
))
Medicine.kif 1314-1326
Concussion
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Concussion
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
o argumento
Inconsciente
e' um
atributo
de
Entidade
vale
durante o
comeco
de
Intervalo Temporal
tem a
forca
modal
de
Likely
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validFor
?PS ?CUSTCLASS)
(
instance
?CUSTOMER ?CUSTCLASS))
(
modalAttribute
(=>
(
and
(
instance
?B
Buying
)
(
agent
?B ?CUSTOMER)
(
origin
?B ?AGENT)
(
patient
?B ?ITEM))
(
transactionAmount
?B ?PRICE))
Likely
))
Catalog.kif 354-370
publishedPrice
Entidade
,
Medida de Divisa
,
Agente Cognitivo
and
PricingScheme
unitPrice
Entidade
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Entidade
e' uma
sub
-classe de
Fisico
Entidade
e' uma
instancia
imediata de
Entidade
validFor
PricingScheme
and
AutonomousAgent
Entidade
e' uma
instancia
de
AutonomousAgent
o argumento
Entidade
e' uma
instancia
de
Comprar
Entidade
e' um
agente
de
Entidade
Entidade
tem como
origem
Agente Cognitivo
Entidade
e' um
patient
de
Entidade
transactionAmount
Entidade
and
Medida de Divisa
tem a
forca
modal
de
Likely
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validityPeriod
?PS ?TIMEINT))
(
holdsDuring
?TIMEINT
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?ITEM))
(
transactionAmount
?S ?PRICE))
Likely
)))
Catalog.kif 372-387
publishedPrice
Entidade
,
Medida de Divisa
,
Agente Cognitivo
and
PricingScheme
unitPrice
Entidade
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Entidade
e' uma
sub
-classe de
Fisico
Entidade
e' uma
instancia
imediata de
Entidade
validityPeriod
PricingScheme
and
Intervalo Temporal
o argumento
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Entidade
transactionAmount
Entidade
and
Medida de Divisa
tem a
forca
modal
de
Likely
vale
durante
Intervalo Temporal
(=>
(
and
(
productPrice
?ENT
(
MeasureFn
?PRICE1 ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
publishedPrice
?ENT
(
MeasureFn
?PRICE2 ?U) ?AGENT ?PS)
(
validFor
?PS ?CUSTCLASS)
(
instance
?ITEM ?ENT)
(
instance
?B
Buying
)
(
immediateInstance
?CUST ?CUSTCLASS)
(
agent
?B ?CUST)
(
origin
?B ?AGENT)
(
lessThan
?PRICE2 ?PRICE1))
(
modalAttribute
(
transactionAmount
?B ?PRICE1)
Likely
))
Catalog.kif 430-445
productPrice
Entidade
,
Numero Real
Unidade de Medida
(s) and
Agente Cognitivo
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
publishedPrice
Entidade
,
Numero Real
Unidade de Medida
(s),
Agente Cognitivo
and
PricingScheme
validFor
PricingScheme
and
AutonomousAgent
Entidade
e' uma
instancia
de
Entidade
Processo
e' uma
instancia
de
Comprar
AutonomousAgent
e' uma
instancia
imediata de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Processo
tem como
origem
Agente Cognitivo
Numero Real
e'
menos
que
Numero Real
o argumento
transactionAmount
Processo
and
Numero Real
tem a
forca
modal
de
Likely
(=>
(
and
(
reservationStart
?TIME1 ?R)
(
reservationEnd
?TIME2 ?R)
(
reservingEntity
?CUST ?R)
(
fulfillingEntity
?AGENT ?R))
(
modalAttribute
(
holdsDuring
(
TimeIntervalFn
?TIME1 ?TIME2)
(
exists
(?P)
(
and
(
instance
?P
IntentionalProcess
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST))))
Likely
))
Dining.kif 711-724
reservationStart
Ponto no tempo
and
Reservation
reservationEnd
Ponto no tempo
and
Reservation
reservingEntity
AutonomousAgent
and
Reservation
fulfillingEntity
AutonomousAgent
and
Reservation
o argumento
Entidade
Entidade
e' uma
instancia
de
Processo Intencional
Entidade
e' um
agente
de
AutonomousAgent
Entidade
termina
em
AutonomousAgent
vale
durante o
intervalo
entre
Ponto no tempo
e
Ponto no tempo
tem a
forca
modal
de
Likely
(=>
(
and
(
reservedPackage
?RESERVE ?PACKAGE)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PACKAGE)
(
experiencer
?PROC ?CUST)))
Likely
))
Hotel.kif 2973-2981
reservedPackage
Reservation
and
Proposicao
reservingEntity
Reservation
and
Reservation
o argumento
Entidade
Entidade
exprime
o conteudo de
Proposicao
Reservation
experimenta
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
reservedRoom
?RESERVE ?ROOMTYPE)
(
reservationStart
?RESERVE ?TIME1)
(
reservationEnd
?RESERVE ?TIME2)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
holdsDuring
(
TimeIntervalFn
?TIME1 ?TIME2)
(
exists
(?X)
(
and
(
instance
?X ?ROOMTYPE)
(
stays
?CUST ?X))))
Likely
))
Hotel.kif 2951-2963
reservedRoom
HotelReservation
and
HotelUnit
reservationStart
HotelReservation
and
Reservation
reservationEnd
HotelReservation
and
Reservation
reservingEntity
HotelReservation
and
Reservation
o argumento
Entidade
Entidade
e' uma
instancia
de
HotelUnit
stays
Reservation
and
Entidade
vale
durante o
intervalo
entre
Reservation
e
Reservation
tem a
forca
modal
de
Likely
(=>
(
and
(
roastedToTemperature
?B ?T)
(
instance
?B
CoffeeBean
)
(
instance
?T
RealNumber
))
(
modalAttribute
(
exists
(?R)
(
and
(
instance
?R
DryRoasting
)
(
patient
?R ?B)))
Likely
))
Food.kif 479-488
roastedToTemperature
Comida
and
Numero Real
Comida
e' uma
instancia
de
CoffeeBean
Numero Real
e' uma
instancia
de
Numero Real
o argumento
Entidade
Entidade
e' uma
instancia
de
DryRoasting
Comida
e' um
patient
de
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
subclass
?T1C
Tissue
)
(
subclass
?T2C
Tissue
)
(
instance
?T1 ?T1C)
(
instance
?T2 ?T2C)
(
instance
?H
Human
)
(
part
?T1 ?H)
(
part
?T2 ?H)
(
not
(
equal
?T1C ?T2C))
(
not
(
subclass
?T1C ?T2C))
(
not
(
subclass
?T2C ?T1C))
(
orientation
?T1 ?T2
Adjacent
))
(
modalAttribute
(
exists
(?CT)
(
and
(
instance
?CT
ConnectiveTissue
)
(
between
?T1 ?CT ?T2)))
Likely
))
Merge.kif 15166-15187
Classe
e' uma
sub
-classe de
Tecido
Classe
e' uma
sub
-classe de
Tecido
Objeto
e' uma
instancia
de
Classe
Objeto
e' uma
instancia
de
Classe
Objeto
e' uma
instancia
de
Humano
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Classe
e'
igual
a
Classe
Classe
e' uma
sub
-classe de
Classe
Classe
e' uma
sub
-classe de
Classe
Objeto
e'
Adjacent
em relacao a
Objeto
o argumento
Entidade
Entidade
e' uma
instancia
de
ConnectiveTissue
Entidade
esta'
entre
Objeto
e
Objeto
tem a
forca
modal
de
Likely
(=>
(
and
(
watchingListings
?USER ?COLL ?SITE)
(
instance
?LISTING
WebListing
)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ)
(
member
?LISTING ?COLL))
(
modalAttribute
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER))))
Likely
))
UXExperimentalTerms.kif 1257-1271
watchingListings
AutonomousAgent
,
Colecao
and
WebSite
Processo
e' uma
instancia
de
WebListing
Entidade
e' uma
instancia
de
Objeto
Entidade
e' um
patient
de
Processo
Processo
e'
membro
de
Colecao
o argumento
AutonomousAgent
deseja
Entidade
Entidade
e' uma
instancia
de
Comprar
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
AutonomousAgent
tem a
forca
modal
de
Likely
(=>
(
and
(
workLocation
?O ?S)
(
member
?P ?O)
(
instance
?W
Working
)
(
agent
?W ?P))
(
modalAttribute
(
located
?W ?S)
Likely
))
Mid-level-ontology.kif 20535-20543
workLocation
Organizacao
and
Artefato Estacionario
AutonomousAgent
e'
membro
de
Organizacao
Processo
e' uma
instancia
de
Working
Processo
e' um
agente
de
AutonomousAgent
o argumento
Processo
e'
situado
em
Artefato Estacionario
tem a
forca
modal
de
Likely
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
equal
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 29841-29845
approximateValue
Numero Real
and
Numero Real
o argumento
Numero Real
e'
igual
a
Numero Real
tem a
forca
modal
de
Likely
(=>
(
attribute
?H
Pyelonephritis
)
(
modalAttribute
(
exists
(?B ?K)
(
and
(
instance
?B
Bacterium
)
(
instance
?K
Kidney
)
(
part
?K ?H)
(
located
?B ?K)))
Likely
))
Medicine.kif 5065-5074
Pyelonephritis
e' um
atributo
de
Objeto
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Bacteria
Entidade
e' uma
instancia
de
Kidney
Entidade
e' uma &parte de
Objeto
Entidade
e'
situado
em
Entidade
tem a
forca
modal
de
Likely
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