not
(=>
(
and
(
exactCardinality
?REL ?ARG 1)
(
instance
?REL
Predicate
))
(
exists
(?X @ARGS)
(
and
(?REL @ARGS)
(
equal
?X
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
exists
(?Y)
(
and
(
equal
?Y
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
equal
?X ?Y))))))))
Media.kif 2075-2090
exactCardinality
Relacao
,
Inteiro positivo
and 1
Relacao
e' uma
instancia
de
Predicado
Entidade
@ARGS
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
(=>
(
and
(
fOCShipsByOrigin
?MM ?HOME ?COUNT)
(
equal
?MM
(
MerchantMarineFn
?AREA)))
(
not
(
equal
?HOME ?AREA)))
Transportation.kif 1064-1068
fOCShipsByOrigin
MerchantMarine
,
Area Geopolitica
and
Numero Inteiro nao-negativo
MerchantMarine
e'
igual
a
MerchantMarineFn
Area Geopolitica
Area Geopolitica
e'
igual
a
Area Geopolitica
(=>
(
and
(
fills
?OBJ1 ?HOLE)
(
attribute
?OBJ2
Fillable
))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 10054-10059
Objeto
completa
Buraco
Fillable
e' um
atributo
de
Objeto
Objeto
nao
engloba
%n
Objeto
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
earlier
(
WhenFn
?BUYING) ?INT)))))
UXExperimentalTerms.kif 3545-3555
firstTimeBuyers
Intervalo Temporal
,
WebSite
and
Colecao
AutonomousAgent
e'
membro
de
Colecao
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Comprar
Transacao Financeira
e' um
agente
de
AutonomousAgent
eCommerceSite
Transacao Financeira
and
WebSite
tempo
de existencia de
Transacao Financeira
acontence
antes
de
Intervalo Temporal
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
earlier
(
WhenFn
?SELLING) ?INT)))))
UXExperimentalTerms.kif 3593-3603
firstTimeSellers
Intervalo Temporal
,
WebSite
and
Colecao
AutonomousAgent
e'
membro
de
Colecao
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Vender
Transacao Financeira
e' um
agente
de
AutonomousAgent
eCommerceSite
Transacao Financeira
and
WebSite
tempo
de existencia de
Transacao Financeira
acontence
antes
de
Intervalo Temporal
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?LA ?O)
(
meetsSpatially
?LL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?RA ?O))
(
not
(
meetsSpatially
?RL ?O)))))
Anatomy.kif 1838-1860
LateralRecumbant
e' um
atributo
de
Objeto
Objeto
e'
On
em relacao a
Objeto
vale
durante
Posicao Temporal
Objeto
e' uma
instancia
de
LeftArm
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RightArm
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
LeftLeg
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RightLeg
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
encontra
Objeto
Objeto
nao
encontra
%n
Objeto
Objeto
nao
encontra
%n
Objeto
vale
durante
Posicao Temporal
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?RA ?O)
(
meetsSpatially
?RL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?LA ?O))
(
not
(
meetsSpatially
?LL ?O)))))
Anatomy.kif 1862-1884
LateralRecumbant
e' um
atributo
de
Objeto
Objeto
e'
On
em relacao a
Objeto
vale
durante
Posicao Temporal
Objeto
e' uma
instancia
de
LeftArm
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RightArm
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
LeftLeg
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RightLeg
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
encontra
Objeto
Objeto
nao
encontra
%n
Objeto
Objeto
nao
encontra
%n
Objeto
vale
durante
Posicao Temporal
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
DeadOrMissingBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
not
?F))
Merge.kif 18268-18276
DeadOrMissingBodyPartFn
Classe
e' um
atributo
de
Objeto
vale
durante
Posicao Temporal
Classe
I e' uma
instancia
de
Classe
Classe
I e' uma &parte de
Objeto
Classe
I tem por
fim
Formula
Formula
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
modalAttribute
(
not
?F)
Likely
))
Merge.kif 18247-18257
ImpairedBodyPartFn
Classe
e' um
atributo
de
Objeto
vale
durante
Posicao Temporal
Classe
I e' uma
instancia
de
Classe
Classe
I e' uma &parte de
Objeto
Classe
I tem por
fim
Formula
o argumento
Formula
tem a
forca
modal
de
Likely
(=>
(
and
(
holdsDuring
?T
(
measure
?C ?S))
(
engineIdleSpeed
?E ?S)
(
instance
?A
Automobile
)
(
part
?E ?A)
(
part
?C ?E))
(
modalAttribute
(
not
(
exists
(?P ?GP)
(
and
(
during
?P ?T)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?GP ?A))))
Likely
))
Cars.kif 2573-2589
A
medida
de
Objeto
e'
Funcao de Quantidade
vale
durante
Posicao Temporal
engineIdleSpeed
InternalCombustionEngine
and
Funcao de Quantidade
Objeto
e' uma
instancia
de
Automobile
InternalCombustionEngine
e' uma &parte de
Objeto
Objeto
e' uma &parte de
InternalCombustionEngine
o argumento
Entidade
Entidade
Entidade
acontece
durante
Posicao Temporal
Entidade
e' uma
instancia
de
Pushing
Entidade
termina
em
Entidade
Entidade
e' uma &parte de
Objeto
tem a
forca
modal
de
Likely
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?P
Expellee
)
(
citizen
?P ?HOME-NATION)))
(
instance
?T1
TimeInterval
))
(
exists
(?TRANS ?NATION)
(
and
(
instance
?NATION
Nation
)
(
not
(
equal
?NATION ?HOME-NATION))
(
instance
?TRANS
Translocation
)
(
origin
?TRANS ?NATION)
(
patient
?TRANS ?P)
(
destination
?TRANS ?HOME-NATION)
(
temporalPart
?T1
(
WhenFn
?TRANS)))))
MilitaryPersons.kif 151-167
Expellee
e' um
atributo
de
Entidade
Entidade
e' um
cidadao
de
Entidade
-NATION
vale
durante
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Processo
Objeto
Objeto
e' uma
instancia
de
Nacao
Objeto
e'
igual
a
Entidade
-NATION
Processo
e' uma
instancia
de
Translocation
Processo
tem como
origem
Objeto
Entidade
e' um
patient
de
Processo
Processo
termina
em
Entidade
-NATION
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Processo
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?PERSON
DislocatedCivilian
)
(
inhabits
?PERSON ?RESIDENCE)
(
located
?RESIDENCE ?PLACE)))
(
instance
?PLACE
GeographicArea
)
(
instance
?T1
TimeInterval
))
(
exists
(?T0 ?PRIOR-PLACE ?PRIOR-RES)
(
and
(
instance
?T0
TimeInterval
)
(
earlier
?T0 ?T1)
(
instance
?PRIOR-RES
Object
)
(
instance
?PRIOR-PLACE
GeopoliticalArea
)
(
located
?PRIOR-RES ?PRIOR-PLACE)
(
not
(
equal
?PLACE ?PRIOR-PLACE))
(
not
(
equal
?RESIDENCE ?PRIOR-RES))
(
not
(
geographicSubregion
?PLACE ?PRIOR-PLACE))
(
not
(
geographicSubregion
?PRIOR-PLACE ?PLACE))
(
holdsDuring
?T0
(
inhabits
?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
DislocatedCivilian
e' um
atributo
de
Entidade
Entidade
vive
em
Entidade
Entidade
e'
situado
em
Area Geografica
vale
durante
Intervalo Temporal
Area Geografica
e' uma
instancia
de
Area Geografica
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
Entidade
-PLACE and
Entidade
-RES
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
Entidade
-RES e' uma
instancia
de
Objeto
Entidade
-PLACE e' uma
instancia
de
Area Geopolitica
Entidade
-RES e'
situado
em
Entidade
-PLACE
Area Geografica
e'
igual
a
Entidade
-PLACE
Entidade
e'
igual
a
Entidade
-RES
geographicSubregion
Area Geografica
and
Entidade
-PLACE
geographicSubregion
Entidade
-PLACE and
Area Geografica
Entidade
vive
em
Entidade
-RES
vale
durante
Intervalo Temporal
(=>
(
and
(
holdsDuring
?T1
(
attribute
?F
Menopausal
))
(
equal
?BEFORE
(
SubtractionFn
(
MeasureFn
1
YearDuration
)
(
BeginFn
?T1)))
(
equal
?YBEFORE
(
TimeIntervalFn
?YBEFORE
(
BeginFn
?T1))))
(
not
(
exists
(?M)
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?F)))))
Mid-level-ontology.kif 23888-23902
Menopausal
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Numero Real
e'
igual
a (1
YearDuration
(s) + o
comeco
de
Intervalo Temporal
)
Intervalo Temporal
e'
igual
a o
intervalo
entre
Intervalo Temporal
e o
comeco
de
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
Menstruation
AutonomousAgent
experimenta
Processo
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
StatelessPerson
))
(
instance
?NAT
Nation
))
(
holdsDuring
?T1
(
not
(
citizen
?P ?NAT))))
MilitaryPersons.kif 195-201
StatelessPerson
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de
Nacao
Entidade
e' um
cidadao
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Embryonic
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
not
(
overlapsTemporally
?TIME ?BW)))
Merge.kif 18225-18231
Embryonic
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Nascimento
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Processo
AutonomousAgent
experimenta
Processo
Intervalo Temporal
nao
engloba
%n
Intervalo Temporal
(=>
(
and
(
holdsDuring
?Time
(
instance
?Card
ExpiredCard
))
(
cardAccount
?Card ?Account))
(
holdsDuring
?Time
(
not
(
attribute
?Card
ActiveAgreement
))))
FinancialOntology.kif 3529-3534
BankCard
e' uma
instancia
de
ExpiredCard
vale
durante
Posicao Temporal
cardAccount
BankCard
and
FinancialAccount
ActiveAgreement
e' um
atributo
de
BankCard
vale
durante
Posicao Temporal
(=>
(
and
(
humanName
?NAMESTRING ?HUMAN)
(
givenName
?STRING ?HUMAN)
(
subString
?STRING ?NAMESTRING))
(
not
(
keyName
?STRING ?NAMESTRING)))
Media.kif 3461-3466
humanName
Sequencia Simbolica
and
Humano
givenName
Sequencia Simbolica
and
Humano
subString
Sequencia Simbolica
and
Sequencia Simbolica
keyName
Sequencia Simbolica
and
Sequencia Simbolica
(=>
(
and
(
independenceDate
?COUNTRY1 ?DATE)
(
instance
?INST ?DATE))
(
holdsDuring
(
FutureFn
?INST)
(
not
(
exists
(?COUNTRY2)
(
dependentGeopoliticalArea
?COUNTRY1 ?COUNTRY2)))))
Government.kif 546-553
independenceDate
Area Geopolitica
and
Intervalo Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Entidade
dependentGeopoliticalArea
Area Geopolitica
and
Entidade
vale
durante
apos
Posicao Temporal
(=>
(
and
(
instance
?A
Aborting
)
(
patient
?A ?W)
(
instance
?W
Woman
))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
attribute
?W
Pregnant
))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
attribute
?W
Pregnant
)))))
Mid-level-ontology.kif 21494-21505
Processo
e' uma
instancia
de
Aborting
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Woman
Pregnant
e' um
atributo
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Pregnant
e' um
atributo
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?A
Accelerating
)
(
equal
?T
(
WhenFn
?A))
(
experiencer
?A ?E))
(
not
(
exists
(?D)
(
and
(
instance
?D
Decelerating
)
(
experiencer
?D ?E)
(
equal
?T
(
WhenFn
?D))))))
Mid-level-ontology.kif 17192-17202
Processo
e' uma
instancia
de
Accelerating
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Processo
AutonomousAgent
experimenta
Processo
Processo
Processo
e' uma
instancia
de
Decelerating
AutonomousAgent
experimenta
Processo
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Processo
(=>
(
and
(
instance
?A
Amputating
)
(
patient
?A ?H)
(
instance
?L
Limb
))
(
exists
(?P ?B)
(
and
(
part
?P ?L)
(
part
?B ?P)
(
instance
?B
Bone
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
part
?P ?H))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
not
(
part
?P ?H))))))
Medicine.kif 6257-6275
Processo
e' uma
instancia
de
Amputating
Entidade
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Limb
Objeto
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Osso
Objeto
e' uma &parte de
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Objeto
e' uma &parte de
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 966-975
Processo
e' uma
instancia
de
Anesthetizing
Entidade
e' um
patient
de
Processo
Inconsciente
e' um
atributo
de
Entidade
Pain
e' um
atributo
de
Entidade
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
or
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 949-958
Processo
e' uma
instancia
de
Anesthetizing
Entidade
e' um
patient
de
Processo
Inconsciente
e' um
atributo
de
Entidade
Pain
e' um
atributo
de
Entidade
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?A
Apologizing
)
(
agent
?A ?AG)
(
destination
?A ?P))
(
exists
(?ACT)
(
and
(
suffers
?ACT ?P)
(
agent
?ACT ?AG)
(
holdsDuring
(
WhenFn
?A)
(
not
(
wants
?AG ?ACT))))))
Mid-level-ontology.kif 29608-29620
Processo
e' uma
instancia
de
Apologizing
Processo
e' um
agente
de
Processo
G
Processo
termina
em
AutonomousAgent
Processo
CT
suffers
Processo
CT and
AutonomousAgent
Processo
CT e' um
agente
de
Processo
G
Processo
G nao
quer
%n
Processo
CT
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?A
Appointing
)
(
patient
?A ?H))
(
exists
(?P ?ORG)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
occupiesPosition
?H ?P ?ORG)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
occupiesPosition
?H ?P ?ORG)))))
Mid-level-ontology.kif 1042-1055
Processo
e' uma
instancia
de
Appointing
Entidade
e' um
patient
de
Processo
Entidade
Entidade
Entidade
nao ocupa %n a
posicao
de
Entidade
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
ocupa a
posicao
de
Entidade
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
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