not
(=>
(
and
(
instance
?MONTH
(
MonthFn
February
?YEAR))
(
instance
?Y ?YEAR)
(
not
(
instance
?Y
LeapYear
)))
(
duration
?MONTH
(
MeasureFn
28
DayDuration
)))
Merge.kif 9066-9071
Intervalo Temporal
e' uma
instancia
de o
mes
Fevereiro
Entidade
e' uma
instancia
de
Entidade
EAR
Entidade
e' uma
instancia
de
Ano Bissexto
a
duracao
de
Intervalo Temporal
e' 28
DayDuration
(s)
(=>
(
and
(
instance
?NUMBER
Integer
)
(
not
(
equal
?NUMBER 0)))
(
equal
1
(
MultiplicationFn
?NUMBER
(
ReciprocalFn
?NUMBER))))
Merge.kif 5086-5091
Numero Real
e' uma
instancia
de
Numero Inteiro
Numero Real
e'
igual
a 0
1 e'
igual
a
Numero Real
+ o
reciproco
de
Numero Real
(=>
(
and
(
instance
?P
PerniciousAnemia
)
(
experiencer
?P ?H1)
(
amount
VitaminB12
?H1
(
MeasureFn
?N1 ?U))
(
amount
VitaminB12
?H2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
)
(
not
(
equal
?H1 ?H2)))
(
greaterThan
?N2 ?N1))
Medicine.kif 2695-2704
Processo
e' uma
instancia
de
PerniciousAnemia
AutonomousAgent
experimenta
Processo
amount
VitaminB12
,
AutonomousAgent
and
Numero Real
Unidade de Medida
(s)
amount
VitaminB12
,
Objeto Corpuscular
and
Numero Real
Unidade de Medida
(s)
Healthy
e' um
atributo
de
Objeto Corpuscular
AutonomousAgent
e'
igual
a
Objeto Corpuscular
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
NegativeInfinity
)))
(
before
NegativeInfinity
?POINT))
Merge.kif 7887-7891
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
e'
igual
a
NegativeInfinity
NegativeInfinity
comeca
antes
de
Ponto no tempo
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
NegativeInfinity
)))
(
exists
(?OTHERPOINT)
(
temporallyBetween
NegativeInfinity
?OTHERPOINT ?POINT)))
Merge.kif 7893-7898
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
e'
igual
a
NegativeInfinity
Ponto no tempo
Ponto no tempo
e'
entre
NegativeInfinity
e
Ponto no tempo
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
PositiveInfinity
)))
(
before
?POINT
PositiveInfinity
))
Merge.kif 7869-7873
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
e'
igual
a
PositiveInfinity
Ponto no tempo
comeca
antes
de
PositiveInfinity
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
PositiveInfinity
)))
(
exists
(?OTHERPOINT)
(
temporallyBetween
?POINT ?OTHERPOINT
PositiveInfinity
)))
Merge.kif 7875-7880
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
Ponto no tempo
e'
igual
a
PositiveInfinity
Ponto no tempo
Ponto no tempo
e'
entre
Ponto no tempo
e
PositiveInfinity
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
_CLASS
Intervalo Temporal
_CLASS e' uma
sub
-classe de
Processo
AccessingWebPage
e' uma
instancia
de
AccessingWebPage
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Intervalo Temporal
e' um
agente
de
AutonomousAgent
AccessingWebPage
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontece
durante
AccessingWebPage
Fisico
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
2
Intervalo Temporal
2 e' uma
instancia
de
Intervalo Temporal
_CLASS
Intervalo Temporal
2 e' um
agente
de
AutonomousAgent
Intervalo Temporal
2 acontece
durante
AccessingWebPage
o
comeco
de
tempo
de existencia de
Intervalo Temporal
2 comeca
antes
de o
comeco
de
tempo
de existencia de
Intervalo Temporal
o
comeco
de
tempo
de existencia de
AccessingWebPage
e'
igual
a o
comeco
de
tempo
de existencia de
Fisico
o
comeco
de
tempo
de existencia de
Intervalo Temporal
e'
igual
a o
fim
de
tempo
de existencia de
Fisico
TTFxFn
Intervalo Temporal
_CLASS and
AccessingWebPage
e'
igual
a
Fisico
(=>
(
and
(
instance
?PROCESS
TakingOff
)
(
patient
?PROCESS ?DUD)
(
not
(
exists
(?EXPLOSION)
(
and
(
instance
?EXPLOSION
Explosion
)
(
patient
?EXPLOSION ?DUD)))))
(
instance
?DUD
AbsoluteDud
))
MilitaryDevices.kif 1409-1418
Processo
e' uma
instancia
de
TakingOff
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Explosion
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
AbsoluteDud
(=>
(
and
(
instance
?R
CervicalVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
CervicalVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 561-574
Parte do Corpo
e' uma
instancia
de
CervicalVertebraBone
Parte do Corpo
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Humano
Doenca ou Sindrome
e' um
atributo
de
Objeto
Parte do Corpo
Parte do Corpo
e' uma
instancia
de
CervicalVertebraBone
Parte do Corpo
e'
igual
a
Parte do Corpo
Parte do Corpo
e' uma &parte de
Objeto
connectedBodyPart
Parte do Corpo
and
Parte do Corpo
(=>
(
and
(
instance
?R
FalseRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
not
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connectedBodyPart
?S ?R)))))
Anatomy.kif 505-517
Parte do Corpo
e' uma
instancia
de
FalseRibBone
Parte do Corpo
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Humano
Doenca ou Sindrome
e' um
atributo
de
Objeto
Parte do Corpo
Parte do Corpo
e' uma
instancia
de
Sternum
Parte do Corpo
e' uma &parte de
Objeto
connectedBodyPart
Parte do Corpo
and
Parte do Corpo
(=>
(
and
(
instance
?R
LumbarVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
LumbarVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 601-614
Parte do Corpo
e' uma
instancia
de
LumbarVertebraBone
Parte do Corpo
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Humano
Doenca ou Sindrome
e' um
atributo
de
Objeto
Parte do Corpo
Parte do Corpo
e' uma
instancia
de
LumbarVertebraBone
Parte do Corpo
e'
igual
a
Parte do Corpo
Parte do Corpo
e' uma &parte de
Objeto
connectedBodyPart
Parte do Corpo
and
Parte do Corpo
(=>
(
and
(
instance
?R
Ratchet
)
(
instance
?A
AttachingDevice
)
(
instance
?RO1
Rotating
)
(
attribute
?RO1 ?DIR1)
(
instance
?RO2
Rotating
)
(
attribute
?RO2 ?DIR2)
(
instance
?DIR1
RotationalAttribute
)
(
instance
?DIR2
RotationalAttribute
)
(
not
(
equal
?RO1 ?RO2))
(
causes
?RO1 ?RO2)
(
patient
?RO1
Ratchet
)
(
patient
?RO2 ?A))
(
equal
?DIR1 ?DIR2))
Cars.kif 4927-4942
Entidade
e' uma
instancia
de
Ratchet
Entidade
e' uma
instancia
de
AttachingDevice
Entidade
O1 e' uma
instancia
de
Rotating
Atributo
e' um
atributo
de
Entidade
O1
Entidade
O2 e' uma
instancia
de
Rotating
Atributo
e' um
atributo
de
Entidade
O2
Atributo
e' uma
instancia
de
RotationalAttribute
Atributo
e' uma
instancia
de
RotationalAttribute
Entidade
O1 e'
igual
a
Entidade
O2
Entidade
O1
causa
Entidade
O2
Ratchet
e' um
patient
de
Entidade
O1
Entidade
e' um
patient
de
Entidade
O2
Atributo
e'
igual
a
Atributo
(=>
(
and
(
instance
?R
ThoracicVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
ThoracicVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 669-682
Parte do Corpo
e' uma
instancia
de
ThoracicVertebraBone
Parte do Corpo
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Humano
Doenca ou Sindrome
e' um
atributo
de
Objeto
Parte do Corpo
Parte do Corpo
e' uma
instancia
de
ThoracicVertebraBone
Parte do Corpo
e'
igual
a
Parte do Corpo
Parte do Corpo
e' uma &parte de
Objeto
connectedBodyPart
Parte do Corpo
and
Parte do Corpo
(=>
(
and
(
instance
?R
TrueRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 492-503
Parte do Corpo
e' uma
instancia
de
TrueRibBone
Parte do Corpo
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Humano
Doenca ou Sindrome
e' um
atributo
de
Objeto
Parte do Corpo
Parte do Corpo
e' uma
instancia
de
Sternum
Parte do Corpo
e' uma &parte de
Objeto
connectedBodyPart
Parte do Corpo
and
Parte do Corpo
(=>
(
and
(
instance
?RC
RibCage
)
(
part
?RC ?H)
(
instance
?H
Human
)
(
attribute
?H
Living
)
(
not
(
and
(
instance
?P
PathologicProcess
)
(
located
?P ?H))))
(
exists
(?HT ?LG)
(
and
(
instance
?HT
Heart
)
(
instance
?HT
Lung
)
(
contains
?RC ?LG)
(
contains
?RC ?HT))))
Mid-level-ontology.kif 11247-11262
Objeto auto-conectado
e' uma
instancia
de
RibCage
Objeto auto-conectado
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Humano
Living
e' um
atributo
de
Objeto
~{
Fisico
e' uma
instancia
de
Processo Patologico
} ~{
Fisico
e'
situado
em
Objeto
}
Objeto
T
Objeto
Objeto
T e' uma
instancia
de
Heart
Objeto
T e' uma
instancia
de
Lung
Objeto auto-conectado
contem
Objeto
Objeto auto-conectado
contem
Objeto
T
(=>
(
and
(
instance
?S
Soldering
)
(
patient
?S ?OBJ1)
(
patient
?S ?OBJ2)
(
not
(
equal
?OBJ1 ?OBJ2)))
(
exists
(?A)
(
and
(
instance
?A
MetallicAlloy
)
(
connects
?A ?OBJ1 ?OBJ2))))
Mid-level-ontology.kif 5630-5639
Processo
e' uma
instancia
de
Soldering
Objeto
e' um
patient
de
Processo
Objeto
e' um
patient
de
Processo
Objeto
e'
igual
a
Objeto
Objeto
Objeto
e' uma
instancia
de
MetallicAlloy
Objeto
conecta
Objeto
e
Objeto
(=>
(
and
(
instance
?SEA
Ocean
)
(
not
(
equal
?SEA
ArcticOcean
)))
(
smaller
ArcticOcean
?SEA))
Geography.kif 4643-4647
Objeto
e' uma
instancia
de
Ocean
Objeto
e'
igual
a
ArcticOcean
ArcticOcean
e'
menor
do que
Objeto
(=>
(
and
(
instance
?SH1
Shaft
)
(
instance
?SH2
Shaft
)
(
not
(
equal
?SH1 ?SH2))
(
instance
?R1
Rotating
)
(
patient
?R1 ?SH1)
(
instance
?R2
Rotating
)
(
patient
?R2 ?SH2)
(
causes
?R1 ?R2)
(
instance
?CV
CVJoint
)
(
connectedEngineeringComponents
?R1 ?CV)
(
connectedEngineeringComponents
?R2 ?CV)
(
holdsDuring
(
WhenFn
?R1)
(
equal
?SH1
(
RotationFn
?N ?T))))
(
holdsDuring
(
WhenFn
?R2)
(
equal
?SH2
(
RotationFn
?N ?T))))
Cars.kif 2114-2133
Entidade
e' uma
instancia
de
Shaft
Entidade
e' uma
instancia
de
Shaft
Entidade
e'
igual
a
Entidade
Componente de Engenharia
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Componente de Engenharia
Componente de Engenharia
causa
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
CVJoint
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Entidade
e'
igual
a
RotationFn
Entidade
and
Entidade
vale
durante
tempo
de existencia de
Componente de Engenharia
Entidade
e'
igual
a
RotationFn
Entidade
and
Entidade
vale
durante
tempo
de existencia de
Componente de Engenharia
(=>
(
and
(
instance
?SM
StripMall
)
(
instance
?RS1
RetailStore
)
(
part
?RS1 ?SM)
(
instance
?RS2
RetailStore
)
(
part
?RS2 ?SM)
(
not
(
equal
?RS1 ?RS2)))
(
not
(
exists
(?H)
(
and
(
instance
?H
Hallway
)
(
connects
?RS1 ?H ?RS2)))))
Medicine.kif 5132-5145
Objeto
e' uma
instancia
de
StripMall
Objeto
e' uma
instancia
de
RetailStore
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
RetailStore
Objeto
e' uma &parte de
Objeto
Objeto
e'
igual
a
Objeto
Objeto
Objeto
e' uma
instancia
de
Hallway
Objeto
conecta
Objeto
e
Objeto
(=>
(
and
(
instance
?STATE
AmericanState
)
(
not
(
equal
?STATE
California
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
California
))
(
CardinalityFn
(
ResidentFn
?STATE))))
CountriesAndRegions.kif 897-901
Area Geopolitica
e' uma
instancia
de
AmericanState
Area Geopolitica
e'
igual
a
California
o numero de
instancias
dentro de
ResidentFn
California
e'
maior
que o numero de
instancias
dentro de
ResidentFn
Area Geopolitica
(=>
(
and
(
instance
?SYSTEM
InlandWaterSystem
)
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
not
(
equal
?WATER1 ?WATER2))
(
not
(
connected
?WATER1 ?WATER2))
(
geographicSubregion
?WATER1 ?SYSTEM)
(
geographicSubregion
?WATER2 ?SYSTEM))
(
exists
(?WATER3)
(
and
(
instance
?WATER3
WaterArea
)
(
not
(
equal
?WATER3 ?WATER1))
(
not
(
equal
?WATER3 ?WATER1))
(
part
?WATER3 ?SYSTEM)
(
connects
?WATER3 ?WATER1 ?WATER2))))
Geography.kif 5380-5395
Area Geografica
e' uma
instancia
de
InlandWaterSystem
Area Geografica
e' uma
instancia
de
Area Aquatica
Area Geografica
e' uma
instancia
de
Area Aquatica
Area Geografica
e'
igual
a
Area Geografica
Area Geografica
e'
conectado
com
Area Geografica
geographicSubregion
Area Geografica
and
Area Geografica
geographicSubregion
Area Geografica
and
Area Geografica
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e'
igual
a
Area Geografica
Objeto
e'
igual
a
Area Geografica
Objeto
e' uma &parte de
Area Geografica
Objeto
conecta
Area Geografica
e
Area Geografica
(=>
(
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
?UNIT
AreaMeasure
)
(
measure
Alaska
(
MeasureFn
?NUMBER1 ?UNIT))
(
measure
?STATE
(
MeasureFn
?NUMBER2 ?UNIT))
(
instance
?STATE
AmericanState
)
(
not
(
equal
Alaska
?STATE)))
(
lessThan
?NUMBER2 ?NUMBER1))
CountriesAndRegions.kif 871-878
Unidade de Medida
e' uma
instancia
de
Medida de Area
a
medida
de
Alaska
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Fisico
e'
Numero Real
Unidade de Medida
(s)
Fisico
e' uma
instancia
de
AmericanState
Alaska
e'
igual
a
Fisico
Numero Real
e'
menos
que
Numero Real
(=>
(
and
(
instance
?UNIT
SingleFamilyResidence
)
(
home
?PERSON ?UNIT)
(
possesses
?PERSON ?UNIT)
(
not
(
instance
?UNIT
Building
)))
(
instance
?UNIT
CondominiumUnit
))
Mid-level-ontology.kif 6921-6927
PermanentResidence
e' uma
instancia
de
SingleFamilyResidence
a
casa
de
Humano
e'
PermanentResidence
Humano
possui
PermanentResidence
PermanentResidence
e' uma
instancia
de
Predio
PermanentResidence
e' uma
instancia
de
CondominiumUnit
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