Likely
(=>
(
and
(
instance
?DUST
DustStorm
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?DUST ?PLACE))
(
holdsDuring
(
WhenFn
?DUST)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2600-2608
Processo
e' uma
instancia
de
DustStorm
Objeto
e' uma
instancia
de
Area Geografica
eventLocated
Processo
and
Objeto
o argumento
BadAirQuality
e' um
atributo
de
Objeto
tem a
forca
modal
de
Likely
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGAbnormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
attribute
?P
(
ImpairedBodyPartFn
Heart
))
Likely
))
Medicine.kif 1882-1891
Objeto
e' uma
instancia
de
Electrocardiogram
EKGAbnormal
e' um
atributo
de
Objeto
Objeto
inclui uma
referencia
a
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Heart
o argumento
ImpairedBodyPartFn
Heart
e' um
atributo
de
Objeto
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGNormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
not
(
attribute
?P
(
ImpairedBodyPartFn
Heart
)))
Likely
))
Medicine.kif 1865-1875
Objeto
e' uma
instancia
de
Electrocardiogram
EKGNormal
e' um
atributo
de
Objeto
Objeto
inclui uma
referencia
a
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Heart
o argumento
ImpairedBodyPartFn
Heart
e' um
atributo
de
Objeto
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?EVP
Process
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?EXP
Experimenting
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
exclusiveEvent
?EXP ?PROC))
(
exists
(?EXPERIMENTER)
(
and
(
instance
?EXPERIMENTER
AutonomousAgent
)
(
experimenter
?EXP ?EXPERIMENTER)
(
believes
?EXPERIMENTER
(
modalAttribute
(
causes
?EVP ?PROC)
Likely
)))))
UXExperimentalTerms.kif 4357-4374
Processo
e' uma
instancia
de
Processo
Humano
e' uma
instancia
de
AutonomousAgent
Experimenting
e' uma
instancia
de
Experimenting
treatedUser
Humano
and
Experimenting
experimentalVariableProcess
Experimenting
and
Processo
Humano
experimenta
Processo
Humano
experimenta
Processo
exclusiveEvent
Experimenting
and
Processo
Experimenting
ERIMENTER
Experimenting
ERIMENTER e' uma
instancia
de
AutonomousAgent
experimenter
Experimenting
and
Experimenting
ERIMENTER
Experimenting
ERIMENTER
acredita
que o argumento
Processo
causa
Processo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25093-25114
TelecomNumber
e' uma
instancia
de
Hotline
telephoneNumber
TelecomNumber
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Organizacao
TelecomNumber
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Telephoning
Entidade
termina
em
AutonomousAgent
o argumento
Entidade
Entidade
e' uma
instancia
de
Communicacao
TelecomNumber
e' um
instrumento
para
Entidade
o
comeco
de
tempo
de existencia de
Entidade
e'
igual
a o
comeco
de imediatemente
apos
tempo
de existencia de
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?HAZE ?PLACE))
(
holdsDuring
(
WhenFn
?HAZE)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2590-2598
Processo
e' uma
instancia
de
AtmosphericHazing
Objeto
e' uma
instancia
de
Area Geografica
eventLocated
Processo
and
Objeto
o argumento
BadAirQuality
e' um
atributo
de
Objeto
tem a
forca
modal
de
Likely
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1328-1340
Processo
e' uma
instancia
de
Impactar
Entidade
e' um
patient
de
Processo
ImpairedBodyPartFn
Brain
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
Processo
o argumento
Concussion
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
Processo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
pathologicSideEffect
?DC ?DIS))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?DIS)
(
experiencer
?H ?P)))
Likely
))
WMD.kif 1563-1575
Transferencia
e' uma
instancia
de
Ingerir
AutonomousAgent
experimenta
Transferencia
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Objeto
C
pathologicSideEffect
Objeto
C and
Objeto
IS
o argumento
Entidade
Entidade
e' uma
instancia
de
Objeto
IS
Entidade
experimenta
AutonomousAgent
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
sideEffect
?DC ?DIS))
(
modalAttribute
(
attribute
?H ?DIS)
Likely
))
WMD.kif 1545-1554
Transferencia
e' uma
instancia
de
Ingerir
AutonomousAgent
experimenta
Transferencia
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Objeto
C
sideEffect
Objeto
C and
Objeto
IS
o argumento
Objeto
IS e' um
atributo
de
AutonomousAgent
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?H)
(
instance
?H
Hallucinogen
)
(
destination
?I ?P))
(
modalAttribute
(
exists
(?HAL)
(
and
(
instance
?HAL
Hallucination
)
(
experiencer
?HAL ?P)))
Likely
))
TransnationalIssues.kif 88-99
Transferencia
e' uma
instancia
de
Ingerir
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Hallucinogen
Transferencia
termina
em
Entidade
o argumento
Objeto
AL
Objeto
AL e' uma
instancia
de
Hallucination
Entidade
experimenta
Objeto
AL tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
Transferencia
e' uma
instancia
de
Injecting
Objeto
e' uma
instancia
de
Adalimumab
objectTransferred
Transferencia
and
Objeto
Transferencia
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Parte do Corpo
Transferencia
termina
em
Entidade
o argumento
Entidade
PainFn
Objeto
e' um
atributo
de
Entidade
vale
durante
Entidade
Entidade
acontece
durante
apos
tempo
de existencia de
Transferencia
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?I
Intestine
)
(
instance
?A
Animal
)
(
part
?I ?A))
(
modalAttribute
(
exists
(?E)
(
and
(
instance
?E
EscherichiaColi
)
(
contains
?I ?E)))
Likely
))
Medicine.kif 5490-5500
Objeto
e' uma
instancia
de
Intestine
Objeto
e' uma
instancia
de
Animal
Objeto
e' uma &parte de
Objeto
o argumento
Entidade
Entidade
e' uma
instancia
de
EscherichiaColi
Objeto
contem
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?L
LeafSpring
)
(
part
?L ?RV)
(
instance
?RV
RoadVehicle
))
(
modalAttribute
(
exists
(?L2)
(
and
(
instance
?L2
LeafSpring
)
(
part
?L2 ?RV)
(
not
(
equal
?L ?L2))
(
meetsSpatially
?L ?L2)))
Likely
))
Cars.kif 902-915
Objeto
e' uma
instancia
de
LeafSpring
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RoadVehicle
o argumento
Objeto
2
Objeto
2 e' uma
instancia
de
LeafSpring
Objeto
2 e' uma &parte de
Objeto
Objeto
e'
igual
a
Objeto
2
Objeto
encontra
Objeto
2 tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?L
Lupus
)
(
experiencer
?L ?H))
(
modalAttribute
(
exists
(?SR)
(
and
(
instance
?SR
SkinRash
)
(
experiencer
?SR ?H)))
Likely
))
Medicine.kif 2265-2274
Processo
e' uma
instancia
de
Lupus
AutonomousAgent
experimenta
Processo
o argumento
Entidade
Entidade
e' uma
instancia
de
SkinRash
AutonomousAgent
experimenta
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Diarrhoea
)
(
experiencer
?D ?H1)
(
causes
?P ?D)))
Likely
))
Medicine.kif 2735-2747
Processo
e' uma
instancia
de
CeliacDisease
AutonomousAgent
experimenta
Processo
Objeto
e' uma
instancia
de
SmallIntestine
Objeto
e' uma &parte de
AutonomousAgent
o argumento
Entidade
Entidade
e' uma
instancia
de
Diarrhoea
AutonomousAgent
experimenta
Entidade
Processo
causa
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
located
?P ?SI)
Likely
))
Medicine.kif 2725-2733
Processo
e' uma
instancia
de
CeliacDisease
AutonomousAgent
experimenta
Processo
Objeto
e' uma
instancia
de
SmallIntestine
Objeto
e' uma &parte de
AutonomousAgent
o argumento
Processo
e'
situado
em
Objeto
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?POLICY
DailyHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY))
(
modalAttribute
(
exists
(?GUEST ?ROOM ?STAY)
(
and
(
guest
?GUEST ?AGENT)
(
stays
?GUEST ?ROOM)
(
equal
?STAY
(
WhenFn
(
stays
?GUEST ?ROOM)))
(
holdsDuring
?STAY
(
forall
(?DAY)
(=>
(
and
(
instance
?DAY
Day
)
(
during
?DAY ?STAY))
(
exists
(?RC)
(
and
(
instance
?RC
RoomCleaningService
)
(
patient
?RC ?ROOM)
(
during
?RC ?DAY))))))))
Likely
))
Hotel.kif 2654-2674
Policy
e' uma
instancia
de
DailyHousekeepingPolicy
policyOwner
Organizacao
and
Policy
o argumento
Entidade
Entidade
and
Entidade
guest
Entidade
and
Organizacao
stays
Entidade
and
Entidade
Entidade
e'
igual
a
tempo
de existencia de
stays
Entidade
and
Entidade
Entidade
Entidade
e' uma
instancia
de
Dia
Entidade
acontece
durante
Entidade
Entidade
Entidade
e' uma
instancia
de
RoomCleaningService
Entidade
e' um
patient
de
Entidade
Entidade
acontece
durante
Entidade
vale
durante
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?POLICY
NoHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))
(
modalAttribute
(
exists
(?GUEST ?ROOM)
(
and
(
guest
?GUEST ?AGENT)
(
holdsDuring
(
WhenFn
(
stays
?GUEST ?ROOM))
(
not
(
exists
(?CLEAN)
(
and
(
instance
?CLEAN
RoomCleaningService
)
(
patient
?CLEAN ?ROOM)))))))
Likely
))
Hotel.kif 2681-2697
Policy
e' uma
instancia
de
NoHousekeepingPolicy
policyOwner
Organizacao
and
Policy
TravelerAccommodation
e' um
atributo
de
Organizacao
o argumento
Entidade
Entidade
guest
Entidade
and
Organizacao
Entidade
Entidade
e' uma
instancia
de
RoomCleaningService
Entidade
e' um
patient
de
Entidade
vale
durante
tempo
de existencia de
stays
Entidade
and
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?POLICY
WithHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))
(
modalAttribute
(
exists
(?GUEST ?ROOM)
(
and
(
guest
?GUEST ?AGENT)
(
holdsDuring
(
WhenFn
(
stays
?GUEST ?ROOM))
(
exists
(?CLEAN)
(
and
(
instance
?CLEAN
RoomCleaningService
)
(
patient
?CLEAN ?ROOM))))))
Likely
))
Hotel.kif 2704-2719
Policy
e' uma
instancia
de
WithHousekeepingPolicy
policyOwner
Organizacao
and
Policy
TravelerAccommodation
e' um
atributo
de
Organizacao
o argumento
Entidade
Entidade
guest
Entidade
and
Organizacao
Entidade
Entidade
e' uma
instancia
de
RoomCleaningService
Entidade
e' um
patient
de
Entidade
vale
durante
tempo
de existencia de
stays
Entidade
and
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?PV
PhysicalViolence
)
(
agent
?PV ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?PV)
(
attribute
?A
Anger
))
Likely
))
emotion.kif 1646-1654
Processo
e' uma
instancia
de
PhysicalViolence
Processo
e' um
agente
de
AutonomousAgent
o argumento
Anger
e' um
atributo
de
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?REST
Restaurant
)
(
instance
?DR
DiningRoom
)
(
attribute
?DR
PrivateAttribute
)
(
possesses
?REST ?DR)
(
customer
?GRP1 ?REST)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
))
(
modalAttribute
(
not
(
exists
(?GRP2 ?E2)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1227-1246
AutonomousAgent
e' uma
instancia
de
Restaurant
Objeto
e' uma
instancia
de
DiningRoom
PrivateAttribute
e' um
atributo
de
Objeto
AutonomousAgent
possui
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
GroupOfPeople
o argumento
Entidade
Entidade
customer
Entidade
and
AutonomousAgent
Agente Cognitivo
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Entidade
eventLocated
Entidade
and
Objeto
vale
durante
tempo
de existencia de
Processo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?S
Laughing
)
(
experiencer
?S ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Happiness
))
Likely
))
emotion.kif 1626-1634
Processo
e' uma
instancia
de
Laughing
AutonomousAgent
experimenta
Processo
o argumento
Happiness
e' um
atributo
de
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?S
SkinRash
)
(
experiencer
?S ?H))
(
modalAttribute
(
exists
(?I)
(
and
(
instance
?I
Itching
)
(
experiencer
?I ?H)
(
during
(
WhenFn
?I)
(
WhenFn
?S))))
Likely
))
Mid-level-ontology.kif 5749-5759
Processo
e' uma
instancia
de
SkinRash
AutonomousAgent
experimenta
Processo
o argumento
Entidade
Entidade
e' uma
instancia
de
Itching
AutonomousAgent
experimenta
Entidade
tempo
de existencia de
Entidade
acontece
durante
tempo
de existencia de
Processo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?S
Smiling
)
(
experiencer
?S ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Happiness
))
Likely
))
emotion.kif 1614-1622
Processo
e' uma
instancia
de
Smiling
AutonomousAgent
experimenta
Processo
o argumento
Happiness
e' um
atributo
de
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?S
Spamming
)
(
instance
?G
GroupOfPeople
)
(
memberCount
?G ?N)
(
destination
?S ?G))
(
modalAttribute
(
greaterThan
?N 100)
Likely
))
ComputingBrands.kif 4187-4195
Processo
e' uma
instancia
de
Spamming
Colecao
e' uma
instancia
de
GroupOfPeople
memberCount
Colecao
and
Numero Inteiro
Processo
termina
em
Colecao
o argumento
Numero Inteiro
e'
maior
que 100 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