not
(=>
(
agreementRevisionDate
?AGR ?DATE ?CHANGE)
(
exists
(?TIME)
(
and
(
instance
?TIME ?DATE)
(
or
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
subProposition
?CHANGE ?AGR)))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
subProposition
?CHANGE ?AGR))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR))))))))
Government.kif 738-753
agreementRevisionDate
Proposicao
,
Posicao Temporal
and
Proposicao
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
vale
durante imediatemente
antes
de
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
vale
durante imediatemente
apos
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
vale
durante imediatemente
antes
de
Posicao Temporal
Proposicao
e' uma &sub-proposicao de
Proposicao
vale
durante imediatemente
apos
Posicao Temporal
(=>
(
albumRelease
?A ?T)
(
and
(
exists
(?R1 ?DS1)
(
releaseForSale
(
AlbumCopiesFn
?A ?DS1) ?R1 ?T))
(
not
(
exists
(?B ?R2 ?DS2)
(
and
(
before
?B ?T)
(
releaseForSale
(
AlbumCopiesFn
?A ?DS2) ?R2 ?B))))))
Music.kif 261-270
albumRelease
Album
and
Ponto no tempo
Area Geografica
DataStorageDevice
releaseForSale
AlbumCopiesFn
Album
and
DataStorageDevice
,
Area Geografica
and
Ponto no tempo
Ponto no tempo
Area Geografica
and
DataStorageDevice
Ponto no tempo
comeca
antes
de
Ponto no tempo
releaseForSale
AlbumCopiesFn
Album
and
DataStorageDevice
,
Area Geografica
and
Ponto no tempo
(=>
(
and
(
attribute
?A
AppraisalAsJustTreatment
)
(
instance
?AJT
AppraisalProcess
)
(
agent
?AJT ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AJT ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
wants
?A ?P))))
emotion.kif 374-387
AppraisalAsJustTreatment
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
JT e' uma
instancia
de
AppraisalProcess
Agente Cognitivo
JT e' um
agente
de
Agente Cognitivo
Processo
Agente Cognitivo
2
Processo
e' uma
instancia
de
Processo
Agente Cognitivo
JT inclui uma
referencia
a
Processo
Processo
e' um
agente
de
Agente Cognitivo
2
Agente Cognitivo
e'
igual
a
Agente Cognitivo
2
Agente Cognitivo
e' um
patient
de
Processo
Agente Cognitivo
quer
Processo
(=>
(
and
(
attribute
?A
AppraisalAsUnjustTreatment
)
(
instance
?AUJ
AppraisalProcess
)
(
agent
?AUJ ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AUJ ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
not
(
wants
?A ?P)))))
emotion.kif 349-363
AppraisalAsUnjustTreatment
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
UJ e' uma
instancia
de
AppraisalProcess
Agente Cognitivo
UJ e' um
agente
de
Agente Cognitivo
Processo
Agente Cognitivo
2
Processo
e' uma
instancia
de
Processo
Agente Cognitivo
UJ inclui uma
referencia
a
Processo
Processo
e' um
agente
de
Agente Cognitivo
2
Agente Cognitivo
e'
igual
a
Agente Cognitivo
2
Agente Cognitivo
e' um
patient
de
Processo
Agente Cognitivo
nao
quer
%n
Processo
(=>
(
and
(
attribute
?ACTOR
VoiceActor
)
(
instance
?DRAMA
DramaticActing
)
(
agent
?DRAMA ?ACTOR)
(
instance
?SPEAK
LinguisticCommunication
)
(
agent
?SPEAK ?ACTOR)
(
subProcess
?SPEAK ?DRAMA))
(
and
(
not
(
exists
(?S ?VIEWER)
(
and
(
instance
?S
Seeing
)
(
patient
?S ?ACTOR)
(
agent
?S ?VIEWER))))
(
exists
(?H ?VIEWER)
(
and
(
instance
?H
Hearing
)
(
patient
?H ?ACTOR)
(
agent
?H ?VIEWER)))))
Biography.kif 757-776
VoiceActor
e' um
atributo
de
AutonomousAgent
Processo
e' uma
instancia
de
DramaticActing
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
LinguisticCommunication
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
sub
-processo de
Processo
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Visao
AutonomousAgent
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Ouvir
AutonomousAgent
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
(=>
(
and
(
attribute
?C
Collectible
)
(
hasPurpose
?C ?P))
(
exists
(?H ?P2)
(
and
(
instance
?H
Human
)
(
wants
?H ?C)
(
desires
?H ?P2)
(
entails
?P2
(
possesses
?H ?C))
(
not
(
equal
?P ?P2)))))
Mid-level-ontology.kif 29495-29507
Collectible
e' um
atributo
de
Objeto
Objeto
tem por
fim
Formula
Agente Cognitivo
Formula
2
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
quer
Objeto
Agente Cognitivo
deseja
Formula
2
Formula
2
implica
Agente Cognitivo
possui
Objeto
Formula
e'
igual
a
Formula
2
(=>
(
and
(
attribute
?D
DeviceDamaged
)
(
hasPurpose
?D ?F))
(
not
(
modalAttribute
?F
Possibility
)))
Mid-level-ontology.kif 29446-29451
DeviceDamaged
e' um
atributo
de
Objeto
Objeto
tem por
fim
Formula
o argumento
Formula
nao %n a
forca
modal
de
Possibility
(=>
(
and
(
attribute
?F
DecafAttribute
)
(
instance
?F
Food
))
(
not
(
exists
(?C)
(
and
(
instance
?C
Caffeine
)
(
piece
?C ?F)))))
Food.kif 437-445
DecafAttribute
e' um
atributo
de
Substancia
Substancia
e' uma
instancia
de
Comida
Substancia
Substancia
e' uma
instancia
de
Caffeine
Substancia
e' uma
peca
de
Substancia
(=>
(
and
(
attribute
?M
MashupRecording
)
(
instance
?M
Recording
))
(
exists
(?M1 ?M2 ?S1 ?S2)
(
and
(
musicInterpretation
?M1 ?S1)
(
musicInterpretation
?M2 ?S2)
(
not
(
equal
?S1 ?S2))
(
part
?M1 ?M)
(
part
?M2 ?M))))
Music.kif 426-436
MashupRecording
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Recording
Objeto
1
Objeto
2,
Musica
and
Musica
musicInterpretation
Objeto
1 and
Musica
musicInterpretation
Objeto
2 and
Musica
Musica
e'
igual
a
Musica
Objeto
1 e' uma &parte de
Objeto
Objeto
2 e' uma &parte de
Objeto
(=>
(
and
(
attribute
?MR
CoverRecording
)
(
instance
?MR
MusicRecording
)
(
songArtist
?MR ?A)
(
musicInterpretation
?MR ?M)
(
record
?MR ?MM))
(
exists
(?ORIG ?ARTIST ?MUSIC)
(
and
(
musicInterpretation
?ORIG ?M)
(
songArtist
?ORIG ?ARTIST)
(
not
(
equal
?A ?ARTIST))
(
record
?ORIG ?MUSIC)
(
before
(
WhenFn
?MUSIC)
(
WhenFn
?MM)))))
Music.kif 457-470
CoverRecording
e' um
atributo
de
MusicRecording
MusicRecording
e' uma
instancia
de
MusicRecording
songArtist
MusicRecording
and
Agente Cognitivo
musicInterpretation
MusicRecording
and
Musica
record
MusicRecording
and
Musica
M
MusicRecording
Agente Cognitivo
RTIST and
Musica
USIC
musicInterpretation
MusicRecording
and
Musica
songArtist
MusicRecording
and
Agente Cognitivo
RTIST
Agente Cognitivo
e'
igual
a
Agente Cognitivo
RTIST
record
MusicRecording
and
Musica
USIC
tempo
de existencia de
Musica
USIC comeca
antes
de
tempo
de existencia de
Musica
M
(=>
(
and
(
attribute
?SYLLABLE
Stressed
)
(
instance
?WORD
Word
)
(
part
?SYLLABLE ?WORD))
(
not
(
exists
(?SYLLABLE2)
(
and
(
instance
?SYLLABLE2
Syllable
)
(
part
?SYLLABLE2 ?WORD)
(
attribute
?SYLLABLE2
Stressed
)
(
not
(
equal
?SYLLABLE2 ?SYLLABLE))))))
Mid-level-ontology.kif 19442-19452
Stressed
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Palavra
Objeto
e' uma &parte de
Objeto
Objeto
2
Objeto
2 e' uma
instancia
de
Syllable
Objeto
2 e' uma &parte de
Objeto
Stressed
e' um
atributo
de
Objeto
2
Objeto
2 e'
igual
a
Objeto
(=>
(
and
(
attribute
?U
Uninhabited
)
(
instance
?U
Region
))
(
not
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
inhabits
?H ?U)))))
Mid-level-ontology.kif 30092-30100
Uninhabited
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Regiao
Organismo
Organismo
e' uma
instancia
de
Humano
Organismo
vive
em
Objeto
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
CommunalAttribute
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Table
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
GroupOfPeople
eventLocated
Processo
and
Objeto
o argumento
Entidade
Entidade
and
Objeto
2
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Entidade
AutonomousAgent
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
GroupOfPeople
eventLocated
Entidade
and
Objeto
2
tempo
de existencia de
Processo
encontra
tempo
de existencia de
Entidade
Objeto
e'
igual
a
Objeto
2 tem a
forca
modal
de
Possibility
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Product
))
(
not
(
exists
(?DUTY)
(
and
(
instance
?DUTY
DutyTax
)
(
patient
?DUTY ?X)))))
Hotel.kif 1466-1474
DutyFree
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Produto
Processo
Processo
e' uma
instancia
de
DutyTax
Objeto
e' um
patient
de
Processo
(=>
(
and
(
attribute
?X
Multilingual
)
(
instance
?SPEAK
Speaking
)
(
agent
?SPEAK ?X))
(
modalAttribute
(
exists
(?LANG1 ?LANG2)
(
and
(
instance
?LANG1
SpokenHumanLanguage
)
(
instance
?LANG2
SpokenHumanLanguage
)
(
not
(
equal
?LANG1 ?LANG2))
(
or
(
patient
?SPEAK ?LANG1)
(
patient
?SPEAK ?LANG2))))
Possibility
))
Mid-level-ontology.kif 25736-25749
Multilingual
e' um
atributo
de
AutonomousAgent
Processo
e' uma
instancia
de
Speaking
Processo
e' um
agente
de
AutonomousAgent
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
SpokenHumanLanguage
Entidade
e' uma
instancia
de
SpokenHumanLanguage
Entidade
e'
igual
a
Entidade
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
tem a
forca
modal
de
Possibility
(=>
(
and
(
attribute
?X
Suite
)
(
instance
?X
HotelUnit
))
(
exists
(?R1 ?R2)
(
and
(
instance
?R1
HotelRoom
)
(
instance
?R2
HotelRoom
)
(
orientation
?R1 ?X
Inside
)
(
orientation
?R2 ?X
Inside
)
(
not
(
equal
?R1 ?R2)))))
Hotel.kif 1003-1014
Suite
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
HotelUnit
Objeto
Objeto
Objeto
e' uma
instancia
de
HotelRoom
Objeto
e' uma
instancia
de
HotelRoom
Objeto
e'
Inside
em relacao a
Objeto
Objeto
e'
Inside
em relacao a
Objeto
Objeto
e'
igual
a
Objeto
(=>
(
and
(
breathingRate
?H ?T ?R)
(
instance
?T
Minute
)
(
not
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
?T
(
WhenFn
?R)))))
(
holdsDuring
?T
(
attribute
?H
HumanAdult
))
(
or
(
greaterThan
?R 16)
(
lessThan
?R 12)))
(
holdsDuring
?T
(
not
(
attribute
?H
Healthy
))))
Medicine.kif 367-385
breathingRate
AutonomousAgent
,
Intervalo Temporal
and
Numero Inteiro
Intervalo Temporal
e' uma
instancia
de
Minuto
Numero Inteiro
Numero Inteiro
e' uma
instancia
de
Recreacao ou Exercicio
Numero Inteiro
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontece
durante
tempo
de existencia de
Numero Inteiro
HumanAdult
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Numero Inteiro
e'
maior
que 16
Numero Inteiro
e'
menos
que 12
Healthy
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
instance
?ANYO
(
YearFn
?YEAR)))
(
not
(
earlier
?DATE ?ANYO)))
Government.kif 612-617
commemoratesDate
Holiday
and o
dia
Inteiro positivo
Intervalo Temporal
e' uma
instancia
de
Holiday
Intervalo Temporal
e' uma
instancia
de o
ano
Numero Inteiro
Intervalo Temporal
nao acontence %n
antes
de
Intervalo Temporal
(=>
(
and
(
connectedBodyPartTypes
?P1 ?P2 ?O)
(
instance
?OC ?O)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?PC1 ?PC2)
(
and
(
instance
?PC1 ?P1)
(
instance
?PC2 ?P2)
(
not
(
equal
?PC1 ?PC2))
(
part
?PC1 ?OC)
(
part
?PC2 ?OC)
(
connected
?PC1 ?PC2))))
Anatomy.kif 32-46
connectedBodyPartTypes
Parte do Corpo
,
Parte do Corpo
and
Organismo
Organismo
C e' uma
instancia
de
Organismo
Doenca ou Sindrome
e' um
atributo
de
Objeto
Objeto
Objeto
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Organismo
C
Objeto
e' uma &parte de
Organismo
C
Objeto
e'
conectado
com
Objeto
(=>
(
and
(
contraryAttribute
@ROW)
(
equal
?ATTR1
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER1))
(
equal
?ATTR2
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER2))
(
not
(
equal
?NUMBER1 ?NUMBER2))
(
property
?OBJ ?ATTR1))
(
not
(
property
?OBJ ?ATTR2)))
Merge.kif 476-484
@ROW e' &o oposto de
Atributo
e'
igual
a
Entidade
elemento
de (@ROW)
Atributo
e'
igual
a
Entidade
elemento
de (@ROW)
Inteiro positivo
e'
igual
a
Inteiro positivo
Entidade
tem um
atributo
de
Atributo
Entidade
tem um
atributo
de
Atributo
(=>
(
and
(
defenseLawyer
?P ?A)
(
defendant
?P ?D))
(
desires
?A
(
not
(
exists
(?L)
(
and
(
instance
?L
LegalDecision
)
(
refers
?L ?P)
(
not
(
wants
?D ?L)))))))
Law.kif 295-306
defenseLawyer
Acao Legal
and
Agente Cognitivo
defendant
Acao Legal
and
Agente Cognitivo
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
LegalDecision
Entidade
inclui uma
referencia
a
Acao Legal
Agente Cognitivo
nao
quer
%n
Entidade
(=>
(
and
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
attribute
?ROOM
AnnexRoom
)
(
instance
?ROOM
HotelRoom
))
(
exists
(?BLDG1 ?BLDG2 ?FRNT)
(
and
(
subOrganization
?FRNT ?HOTEL)
(
instance
?FRNT
HotelFrontDesk
)
(
located
?FRNT ?BLDG1)
(
element
?BLDG1
(
PropertyFn
?HOTEL))
(
element
?BLDG2
(
PropertyFn
?HOTEL))
(
part
?ROOM ?BLDG2)
(
not
(
equal
?BLDG1 ?BLDG2)))))
Hotel.kif 1127-1140
Objeto
e' um
elemento
de
propriedade
de
Organizacao
AnnexRoom
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
HotelRoom
Objeto
Objeto
and
Organizacao
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma
instancia
de
HotelFrontDesk
Organizacao
e'
situado
em
Objeto
Objeto
e' um
elemento
de
propriedade
de
Organizacao
Objeto
e' um
elemento
de
propriedade
de
Organizacao
Objeto
e' uma &parte de
Objeto
Objeto
e'
igual
a
Objeto
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?GREATER)
(
and
(
greaterThan
?GREATER ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?GREATER) 0)))))))
Merge.kif 4874-4888
O maior divisor comum de @ROW e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
Numero Inteiro
Numero Inteiro
e'
maior
que
Numero Inteiro
Numero Inteiro
Numero Inteiro
e' um
membro
de (@ROW)
Numero Inteiro
mod
Numero Inteiro
e'
igual
a 0
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?LESS)
(
and
(
lessThan
?LESS ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?LESS ?ELEMENT) 0)))))))
Merge.kif 4958-4972
O minimo multiplo comum de
numero
, de
inteiro
@ROW e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
Numero Inteiro
Numero Inteiro
e'
menos
que
Numero Inteiro
Numero Inteiro
Numero Inteiro
e' um
membro
de (@ROW)
Numero Inteiro
mod
Numero Inteiro
e'
igual
a 0
(=>
(
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
Relacao
,
Inteiro positivo
and 1
Relacao
e' uma
instancia
de
Predicado
Relacao
@ARGS
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
Entidade
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
Entidade
e'
igual
a
Entidade
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