Possibility
(=>
(
and
(
instance
?X
ReadOnlyMemoryDataStorage
)
(
instance
?FABRICATION
Manufacture
)
(
result
?FABRICATION ?X))
(
not
(
modalAttribute
(
exists
(?WRITE1 ?DATA1 ?WRITE2)
(
and
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
earlier
(
WhenFn
?FABRICATION)
(
WhenFn
?WRITE1))
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)))
Media.kif 768-788
Entidade
e' uma
instancia
de
ReadOnlyMemoryDataStorage
Processo
e' uma
instancia
de
Manufatura
Entidade
e' o
resultado
de
Processo
o argumento
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Desenvolvimento de Conteudo
Entidade
e' uma
instancia
de
DeletingData
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
stored
Entidade
and
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Entidade
nao %n a
forca
modal
de
Possibility
(=>
(
and
(
instance
?X
Substance
)
(
attribute
?X
Insoluble
))
(
not
(
modalAttribute
(
exists
(?Y ?Z)
(
and
(
instance
?Y
Substance
)
(
instance
?Z
Solution
)
(
piece
?X ?Z)
(
piece
?Y ?Z)))
Possibility
)))
Geography.kif 7380-7392
Objeto
e' uma
instancia
de
Substancia
Insoluble
e' um
atributo
de
Objeto
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Substancia
Entidade
e' uma
instancia
de
Solucao
Objeto
e' uma
peca
de
Entidade
Entidade
e' uma
peca
de
Entidade
nao %n a
forca
modal
de
Possibility
(=>
(
and
(
instance
?X
Substance
)
(
attribute
?X
Soluble
))
(
modalAttribute
(
exists
(?Y ?Z)
(
and
(
instance
?Y
Substance
)
(
instance
?Z
Solution
)
(
piece
?X ?Z)
(
piece
?Y ?Z)))
Possibility
))
Geography.kif 7352-7363
Objeto
e' uma
instancia
de
Substancia
Soluble
e' um
atributo
de
Objeto
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Substancia
Entidade
e' uma
instancia
de
Solucao
Objeto
e' uma
peca
de
Entidade
Entidade
e' uma
peca
de
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
instance
?X
WhirlpoolTub
)
(
attribute
?X
DoubleSize
))
(
modalAttribute
(
exists
(?T1)
(
holdsDuring
?T1
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
not
(
equal
?P1 ?P2))
(
located
?P1 ?X)
(
located
?P2 ?X)))))
Possibility
))
Mid-level-ontology.kif 25333-25346
Objeto
e' uma
instancia
de
WhirlpoolTub
DoubleSize
e' um
atributo
de
Objeto
o argumento
Entidade
Entidade
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Humano
Entidade
e'
igual
a
Entidade
Entidade
e'
situado
em
Objeto
Entidade
e'
situado
em
Objeto
vale
durante
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
maxRoomCapacity
?ROOM ?NUM)
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?AGENT)))
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?NUM)
(
stays
?GRP ?X)))
Possibility
))
Hotel.kif 479-490
maxRoomCapacity
Artefato Estacionario
and
Numero Inteiro
Entidade
e' uma
instancia
de
Artefato Estacionario
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
GroupOfPeople
memberCount
Entidade
and
Entidade
Entidade
e'
menor
ou igual a
Numero Inteiro
stays
Entidade
and
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
offers
?AGENT ?ATTR)
(
instance
?ATTR
Attribute
))
(
modalAttribute
(
exists
(?OBJ ?SELL)
(
and
(
instance
?SELL
Selling
)
(
attribute
?OBJ ?ATTR)
(
patient
?SELL ?OBJ)
(
agent
?SELL ?AGENT)))
Possibility
))
Catalog.kif 109-119
offers
AutonomousAgent
and
Abstrato
Abstrato
e' uma
instancia
de
Atributo
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Vender
Abstrato
e' um
atributo
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
AutonomousAgent
tem a
forca
modal
de
Possibility
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?OBJ ?CATALOG)
(
subclass
?OBJ
Physical
))
(
modalAttribute
(
exists
(?S ?X)
(
and
(
instance
?X ?OBJ)
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?X)))
Possibility
))
Catalog.kif 51-62
offers
AutonomousAgent
and
Catalog
catalogItem
Entidade
and
Catalog
Entidade
e' uma
sub
-classe de
Fisico
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?PROP ?CATALOG)
(
subclass
?PROP
Proposition
))
(
modalAttribute
(
exists
(?P ?S ?X)
(
and
(
instance
?P ?PROP)
(
realization
?X ?P)
(
instance
?S
Selling
)
(
patient
?S ?X)
(
agent
?S ?AGENT)))
Possibility
))
Catalog.kif 64-76
offers
AutonomousAgent
and
Catalog
catalogItem
Entidade
and
Catalog
Entidade
e' uma
sub
-classe de
Proposicao
o argumento
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Entidade
Entidade
exprime
o conteudo de
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
AutonomousAgent
tem a
forca
modal
de
Possibility
(=>
(
and
(
parent
?CHILD ?PARENT)
(
or
(
instance
?CHILD
HumanChild
)
(
instance
?CHILD
HumanBaby
)))
(
modalAttribute
(
exists
(?CARE)
(
and
(
instance
?CARE
ChildCareService
)
(
desires
?PARENT ?CARE)))
Possibility
))
Hotel.kif 1890-1900
Organismo
e' um
genitor
de
Organismo
Organismo
e' uma
instancia
de
HumanChild
Organismo
e' uma
instancia
de
HumanBaby
o argumento
Entidade
Entidade
e' uma
instancia
de
ChildCareService
Organismo
deseja
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
property
?AGREEMENT
Contract
)
(
partyToAgreement
?AGENT1 ?AGREEMENT)
(
partyToAgreement
?AGENT2 ?AGREEMENT)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?AGENT1)
(
realization
?PROC ?PROP)
(
not
(
consistent
?PROP ?AGREEMENT)))
(
modalAttribute
(
exists
(?LEGAL)
(
and
(
instance
?LEGAL
LegalAction
)
(
plaintiff
?LEGAL ?AGENT2)
(
defendant
?LEGAL ?AGENT1)))
Possibility
))
Mid-level-ontology.kif 14149-14163
Agreement
tem um
atributo
de
Contract
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
Processo
e' uma
instancia
de
Processo Intencional
Processo
e' um
agente
de
Agente Cognitivo
Processo
exprime
o conteudo de
Proposicao
consistent
Proposicao
and
Agreement
o argumento
Entidade
Entidade
e' uma
instancia
de
Acao Legal
plaintiff
Entidade
and
Agente Cognitivo
defendant
Entidade
and
Agente Cognitivo
tem a
forca
modal
de
Possibility
(=>
(
and
(
roomAmenity
?ROOM ?SVC)
(
subclass
?SVC
Process
))
(
modalAttribute
(
exists
(?X ?S ?HOTEL ?PROC)
(
and
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?HOTEL))
(
agent
?S ?HOTEL)
(
or
(
instance
?S ?SVC)
(
and
(
instance
?PROC ?SVC)
(
subProcess
?S ?PROC)))
(
located
?S ?X)))
Possibility
))
Hotel.kif 317-332
roomAmenity
HotelUnit
and
Fisico
Fisico
e' uma
sub
-classe de
Processo
o argumento
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
HotelUnit
Entidade
e' um
elemento
de
propriedade
de
Entidade
Entidade
e' um
agente
de
Entidade
Entidade
e' uma
instancia
de
Fisico
Entidade
e' uma
instancia
de
Fisico
Entidade
e' um
sub
-processo de
Entidade
Entidade
e'
situado
em
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
viewType
?ROOM ?OBJ)
(
instance
?ROOM
Room
)
(
instance
?INST ?OBJ)
(
orientation
?INST ?ROOM
Outside
))
(
modalAttribute
(
exists
(?HUMAN ?SEE)
(
and
(
instance
?HUMAN
Human
)
(
located
?HUMAN ?ROOM)
(
instance
?SEE
Seeing
)
(
patient
?SEE ?INST)
(
agent
?SEE ?HUMAN)))
Possibility
))
Hotel.kif 954-967
viewType
Objeto
and
Fisico
Objeto
e' uma
instancia
de
Comodo
Objeto
e' uma
instancia
de
Fisico
Objeto
e'
Outside
em relacao a
Objeto
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e'
situado
em
Objeto
Entidade
e' uma
instancia
de
Visao
Objeto
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Entidade
tem a
forca
modal
de
Possibility
(=>
(
attribute
?O
Translucent
)
(
modalAttribute
(
exists
(?EMIT ?S ?OBJ)
(
and
(
instance
?EMIT
RadiatingLight
)
(
resource
?EMIT ?S)
(
destination
?EMIT ?OBJ)
(
between
?S ?O ?OBJ)
(
holdsDuring
(
WhenFn
?EMIT)
(
attribute
?OBJ
Illuminated
))))
Possibility
))
Mid-level-ontology.kif 15152-15164
Translucent
e' um
atributo
de
Objeto
o argumento
Entidade
Entidade
and
Objeto
BJ
Entidade
e' uma
instancia
de
Luz Irradiante
Entidade
e' um
recurso
para
Entidade
Entidade
termina
em
Objeto
BJ
Objeto
esta'
entre
Entidade
e
Objeto
BJ
Illuminated
e' um
atributo
de
Objeto
BJ
vale
durante
tempo
de existencia de
Entidade
tem a
forca
modal
de
Possibility
(=>
(
attribute
?O
Transparent
)
(
modalAttribute
(
exists
(?S ?A ?D)
(
and
(
instance
?S
Seeing
)
(
agent
?S ?A)
(
destination
?S ?D)
(
between
?O ?A ?D)))
Possibility
))
Mid-level-ontology.kif 15124-15133
Transparent
e' um
atributo
de
Objeto
o argumento
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Visao
Entidade
e' um
agente
de
Entidade
Entidade
termina
em
Entidade
Entidade
esta'
entre
Objeto
e
Entidade
tem a
forca
modal
de
Possibility
(=>
(
attribute
?X
Locked
)
(
exists
(?LOCK ?CLOSE ?MOVE)
(
and
(
instance
?LOCK
Lock
)
(
connected
?LOCK ?X)
(
instance
?CLOSE
Closing
)
(
patient
?CLOSE ?LOCK)
(
instance
?MOVE
Motion
)
(
earlier
(
WhenFn
?CLOSE)
(
WhenFn
(
attribute
?X
Locked
)))
(
holdsDuring
(
WhenFn
(
attribute
?X
Locked
))
(
not
(
modalAttribute
(
patient
?MOVE ?X)
Possibility
))))))
Mid-level-ontology.kif 2698-2714
Locked
e' um
atributo
de
Objeto
Objeto
Processo
and
Entidade
Objeto
e' uma
instancia
de
Lock
Objeto
e'
conectado
com
Objeto
Processo
e' uma
instancia
de
Closing
Objeto
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Movimento
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Locked
e' um
atributo
de
Objeto
o argumento
Objeto
e' um
patient
de
Entidade
nao %n a
forca
modal
de
Possibility
vale
durante
tempo
de existencia de
Locked
e' um
atributo
de
Objeto
(=>
(
capability
?PROCESS ?ROLE ?OBJ)
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PROCESS)
(?ROLE ?P ?OBJ)))
Possibility
))
Merge.kif 3918-3924
Objeto
e'
capaz
de fazer
Processo
no role
Role em Caso
o argumento
Entidade
Entidade
e' uma
instancia
de
Processo
Role em Caso
Entidade
and
Objeto
tem a
forca
modal
de
Possibility
(=>
(
capacityByArrangement
?AREA ?PROP ?INT)
(=>
(
represents
?AREA ?PROP)
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?INT)
(
located
?GRP ?AREA)))
Possibility
)))
Hotel.kif 790-800
capacityByArrangement
Regiao
,
Proposicao
and
Numero Inteiro
Regiao
define
Proposicao
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
GroupOfPeople
memberCount
Entidade
and
Entidade
Entidade
e'
menor
ou igual a
Numero Inteiro
Entidade
e'
situado
em
Regiao
tem a
forca
modal
de
Possibility
(=>
(
diseaseCandidate
?H ?D)
(
exists
(?DOC)
(
believes
?DOC
(
modalAttribute
(
attribute
?H ?D)
Possibility
))))
Medicine.kif 1939-1945
diseaseCandidate
Humano
and
Doenca ou Sindrome
Doenca ou Sindrome
OC
Doenca ou Sindrome
OC
acredita
que o argumento
Doenca ou Sindrome
e' um
atributo
de
Humano
tem a
forca
modal
de
Possibility
(=>
(
equal
?TIME
(
WhenFn
(
stored
?O ?D)))
(
holdsDuring
?TIME
(
modalAttribute
(
exists
(?P)
(
patient
?P ?O))
Possibility
)))
Mid-level-ontology.kif 14370-14375
Intervalo Temporal
e'
igual
a
tempo
de existencia de
stored
Entidade
and
Entidade
o argumento
Entidade
Entidade
e' um
patient
de
Entidade
tem a
forca
modal
de
Possibility
vale
durante
Intervalo Temporal
(=>
(
hazardous
?A ?B)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
patient
?D ?B)
(
or
(
involvedInEvent
?D ?A)
(
causes
?A ?D))))
Possibility
))
Geography.kif 5876-5885
hazardous
Fisico
and
Objeto
o argumento
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Objeto
e' um
patient
de
Entidade
involvedInEvent
Entidade
and
Fisico
Fisico
causa
Entidade
tem a
forca
modal
de
Possibility
(=>
(
holdsDuring
?T
(
and
(
instance
?ICU
IntensiveCareUnit
)
(
stays
?H ?ICU)))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
finishes
(
WhenFn
?D) ?T)))
Possibility
))
Mid-level-ontology.kif 20568-20578
Entidade
e' uma
instancia
de
IntensiveCareUnit
stays
Entidade
and
Entidade
vale
durante
Posicao Temporal
o argumento
Entidade
Entidade
e' uma
instancia
de
Morte
tempo
de existencia de
Entidade
termina
em
Posicao Temporal
tem a
forca
modal
de
Possibility
(=>
(
instance
?D
Disappearing
)
(
exists
(?OBJ ?AGENT ?SEARCH ?TIME)
(
and
(
instance
?SEARCH
Searching
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?SEARCH))
(
agent
?SEARCH ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?D ?OBJ)
(
patient
?SEARCH ?OBJ)
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME
(
WhenFn
?SEARCH))
(
holdsDuring
?TIME
(
not
(
modalAttribute
(
exists
(?DISC)
(
and
(
instance
?DISC
Discovering
)
(
agent
?DISC ?AGENT)
(
patient
?DISC ?OBJ)))
Possibility
))))))
Mid-level-ontology.kif 17323-17345
Processo
e' uma
instancia
de
Disappearing
Entidade
AutonomousAgent
,
Processo
and
Posicao Temporal
Processo
e' uma
instancia
de
Searching
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' uma
instancia
de
Objeto
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Processo
o argumento
Processo
ISC
Processo
ISC e' uma
instancia
de
Discovering
Processo
ISC e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
ISC nao %n a
forca
modal
de
Possibility
vale
durante
Posicao Temporal
(=>
(
instance
?E
Exhaust
)
(
modalAttribute
(
capability
Seeing
patient
?E)
Possibility
))
Cars.kif 1161-1165
Entidade
e' uma
instancia
de
Exhaust
o argumento
Entidade
e'
capaz
de fazer
Visao
no role
patient
tem a
forca
modal
de
Possibility
(=>
(
instance
?E
Exhaust
)
(
modalAttribute
(
not
(
capability
Seeing
patient
?E))
Possibility
))
Cars.kif 1167-1172
Entidade
e' uma
instancia
de
Exhaust
o argumento
Entidade
e'
capaz
de fazer
Visao
no role
patient
tem a
forca
modal
de
Possibility
(=>
(
instance
?SPINE
PlantSpinoseStructure
)
(
modalAttribute
(
exists
(?I ?P ?A)
(
and
(
instance
?I
Inserting
)
(
instrument
?I ?SPINE)
(
instance
?A
Animal
)
(
patient
?I ?A)
(
causes
?I ?P)
(
instance
?P
Pain
)
(
experiencer
?P ?A)))
Possibility
))
Mid-level-ontology.kif 9587-9598
Entidade
e' uma
instancia
de
PlantSpinoseStructure
o argumento
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Inserting
Entidade
e' um
instrumento
para
Entidade
Entidade
e' uma
instancia
de
Animal
Entidade
e' um
patient
de
Entidade
Entidade
causa
Entidade
Entidade
e' uma
instancia
de
Pain
Entidade
experimenta
Entidade
tem a
forca
modal
de
Possibility
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