part
(=>
(
and
(
instance
?A
AntibodyCOVIDTest
)
(
instrument
?M ?A)
(
instance
?M
Measuring
)
(
patient
?M ?H)
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))
(
modalAttribute
(
knows
?H
(
exists
(?CA)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))))
Likely
))
Medicine.kif 2763-2777
Objeto
e' uma
instancia
de
AntibodyCOVIDTest
Objeto
e' um
instrumento
para
Processo
Processo
e' uma
instancia
de
Medir
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
COVIDAntibody
Objeto
e' uma &parte de
Objeto
o argumento
Objeto
sabe
Objeto
Objeto
e' uma
instancia
de
COVIDAntibody
Objeto
e' uma &parte de
Objeto
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?A
Biped
)
(
instance
?W
Ambulating
)
(
agent
?W ?A))
(
modalAttribute
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Leg
)
(
instance
?L2
Leg
)
(
part
?L1 ?A)
(
part
?L2 ?A)
(
instrument
?W ?L1)
(
instrument
?W ?L2)))
Likely
))
Mid-level-ontology.kif 4411-4425
AutonomousAgent
e' uma
instancia
de
Biped
Processo
e' uma
instancia
de
Ambulating
Processo
e' um
agente
de
AutonomousAgent
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Leg
Entidade
e' uma
instancia
de
Leg
Entidade
e' uma &parte de
AutonomousAgent
Entidade
e' uma &parte de
AutonomousAgent
Entidade
e' um
instrumento
para
Processo
Entidade
e' um
instrumento
para
Processo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?AI
AutoImmuneDisorder
)
(
experiencer
?AI ?H))
(
exists
(?A ?D ?C)
(
and
(
instance
?A
Antibody
)
(
part
?A ?H)
(
instance
?C
Cell
)
(
part
?C ?H)
(
instance
?D
Destruction
)
(
instrument
?D ?A)
(
not
(
desires
?H
(
and
(
instance
?D
Destruction
)
(
instrument
?D ?A)))))))
Medicine.kif 2200-2216
Processo
e' uma
instancia
de
AutoImmuneDisorder
Agente Cognitivo
experimenta
Processo
Objeto
Processo
and
Objeto
Objeto
e' uma
instancia
de
Antibody
Objeto
e' uma &parte de
Agente Cognitivo
Objeto
e' uma
instancia
de
Celula
Objeto
e' uma &parte de
Agente Cognitivo
Processo
e' uma
instancia
de
Destrucao
Objeto
e' um
instrumento
para
Processo
Agente Cognitivo
nao
deseja
%n
Processo
e' uma
instancia
de
Destrucao
Objeto
e' um
instrumento
para
Processo
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
AirportWithPavedRunway
))
(
exists
(?RUNWAY)
(
and
(
instance
?RUNWAY
PavedRunway
)
(
part
?RUNWAY ?AIRPORT))))
Transportation.kif 1357-1364
Objeto
e' uma
instancia
de
Airport
AirportWithPavedRunway
e' um
atributo
de
Objeto
Objeto
Objeto
e' uma
instancia
de
PavedRunway
Objeto
e' uma &parte de
Objeto
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
AirportWithUnpavedRunway
))
(
exists
(?RUNWAY)
(
and
(
instance
?RUNWAY
UnpavedRunway
)
(
part
?RUNWAY ?AIRPORT))))
Transportation.kif 1371-1378
Objeto
e' uma
instancia
de
Airport
AirportWithUnpavedRunway
e' um
atributo
de
Objeto
Objeto
Objeto
e' uma
instancia
de
UnpavedRunway
Objeto
e' uma &parte de
Objeto
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
LongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 2438)
(
lessThanOrEqualTo
?LENGTH 3047)))))
Transportation.kif 1445-1457
Objeto
e' uma
instancia
de
Airport
LongRunwayAirport
e' um
atributo
de
Objeto
Objeto
Numero Real
Objeto
e' uma
instancia
de
Runway
Objeto
e' uma &parte de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Meter
(s)
Numero Real
e'
maior
ou igual a 2438
Numero Real
e'
menor
ou igual a 3047
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
MediumLengthRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 1524)
(
lessThanOrEqualTo
?LENGTH 2437)))))
Transportation.kif 1426-1438
Objeto
e' uma
instancia
de
Airport
MediumLengthRunwayAirport
e' um
atributo
de
Objeto
Objeto
Numero Real
Objeto
e' uma
instancia
de
Runway
Objeto
e' uma &parte de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Meter
(s)
Numero Real
e'
maior
ou igual a 1524
Numero Real
e'
menor
ou igual a 2437
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
ShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 914)
(
lessThanOrEqualTo
?LENGTH 1523)))))
Transportation.kif 1407-1419
Objeto
e' uma
instancia
de
Airport
ShortRunwayAirport
e' um
atributo
de
Objeto
Objeto
Numero Real
Objeto
e' uma
instancia
de
Runway
Objeto
e' uma &parte de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Meter
(s)
Numero Real
e'
maior
ou igual a 914
Numero Real
e'
menor
ou igual a 1523
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryLongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
greaterThan
?LENGTH 3047))))
Transportation.kif 1464-1474
Objeto
e' uma
instancia
de
Airport
VeryLongRunwayAirport
e' um
atributo
de
Objeto
Objeto
Numero Real
Objeto
e' uma
instancia
de
Runway
Objeto
e' uma &parte de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Meter
(s)
Numero Real
e'
maior
que 3047
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
lessThan
?LENGTH 914))))
Transportation.kif 1391-1400
Objeto
e' uma
instancia
de
Airport
VeryShortRunwayAirport
e' um
atributo
de
Objeto
Objeto
Numero Real
Objeto
e' uma
instancia
de
Runway
Objeto
e' uma &parte de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Meter
(s)
Numero Real
e'
menos
que 914
(=>
(
and
(
instance
?Application
AutomaticApplication
)
(
instance
?System
SoftwareSystem
)
(
part
?Application ?System))
(
part
(
StartupFn
?Application)
(
StartupFn
?System)))
QoSontology.kif 586-591
Objeto
e' uma
instancia
de
AutomaticApplication
Objeto
e' uma
instancia
de
SoftwareSystem
Objeto
e' uma &parte de
Objeto
StartupFn
Objeto
e' uma &parte de
StartupFn
Objeto
(=>
(
and
(
instance
?B
Bleeding
)
(
experiencer
?B ?H))
(
exists
(?VA ?D)
(
and
(
or
(
instance
?VA
Vein
)
(
instance
?VA
Artery
))
(
part
?VA ?H)
(
instance
?D
Damaging
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
patient
?D ?VA))))
Medicine.kif 80-94
Processo
e' uma
instancia
de
Bleeding
AutonomousAgent
experimenta
Processo
Objeto
Processo
Objeto
e' uma
instancia
de
Vein
Objeto
e' uma
instancia
de
Artery
Objeto
e' uma &parte de
AutonomousAgent
Processo
e' uma
instancia
de
Causar Dano
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
Objeto
e' um
patient
de
Processo
(=>
(
and
(
instance
?B
Breast
)
(
instance
?H
Human
)
(
part
?B ?H))
(
part
?B
(
FrontFn
?H)))
Mid-level-ontology.kif 12848-12854
Objeto
e' uma
instancia
de
Breast
Objeto auto-conectado
e' uma
instancia
de
Humano
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e' uma &parte de
afrente
de
Objeto auto-conectado
(=>
(
and
(
instance
?BITE
Biting
)
(
agent
?BITE ?ANIMAL))
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
Mouth
)
(
part
?MOUTH ?ANIMAL)
(
instrument
?BITE ?MOUTH))))
Mid-level-ontology.kif 6515-6523
Processo
e' uma
instancia
de
Biting
Processo
e' um
agente
de
AutonomousAgent
Objeto
Objeto
e' uma
instancia
de
Mouth
Objeto
e' uma &parte de
AutonomousAgent
Objeto
e' um
instrumento
para
Processo
(=>
(
and
(
instance
?BLEED
Bleeding
)
(
experiencer
?BLEED ?ANIMAL))
(
exists
(?BLOOD)
(
and
(
instance
?BLOOD
Blood
)
(
holdsDuring
(
BeginFn
(
WhenFn
?BLEED))
(
part
?BLOOD ?ANIMAL))
(
holdsDuring
(
EndFn
(
WhenFn
?BLEED))
(
not
(
part
?BLOOD ?ANIMAL))))))
Mid-level-ontology.kif 21395-21403
Processo
e' uma
instancia
de
Bleeding
AutonomousAgent
experimenta
Processo
Entidade
Entidade
e' uma
instancia
de
Sangue
Entidade
e' uma &parte de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e' uma &parte de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?BOIL))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?BOIL))
(
attribute
?PART
Gas
)))))
Merge.kif 13933-13941
Processo
e' uma
instancia
de
Ferver
Objeto
e' um
patient
de
Processo
Objeto
Objeto
e' uma &parte de
Objeto
Liquid
e' um
atributo
de
Objeto
vale
durante o
comeco
de
tempo
de existencia de
Processo
Gas
e' um
atributo
de
Objeto
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?C
Cavitating
)
(
instance
?P
Pump
)
(
attribute
?P
DeviceOn
)
(
attribute
?L1
Liquid
)
(
contains
?P ?L1))
(
exists
(?PP ?L2)
(
and
(
part
?PP ?P)
(
hasPurpose
?PP
(
and
(
attribute
?L2
Liquid
)
(
meetsSpatially
?L2 ?PP)))
(
holdsDuring
(
WhenFn
?C)
(
not
(
exists
(?L3)
(
and
(
attribute
?L3
Liquid
)
(
meetsSpatially
?PP ?L3))))))))
Cars.kif 1741-1761
Fisico
e' uma
instancia
de
Cavitating
Objeto auto-conectado
e' uma
instancia
de
Pump
DeviceOn
e' um
atributo
de
Objeto auto-conectado
Liquid
e' um
atributo
de
Objeto
Objeto auto-conectado
contem
Objeto
Objeto auto-conectado
P
Entidade
Objeto auto-conectado
P e' uma &parte de
Objeto auto-conectado
Objeto auto-conectado
P tem por
fim
Liquid
e' um
atributo
de
Entidade
Entidade
encontra
Objeto auto-conectado
P
Entidade
Liquid
e' um
atributo
de
Entidade
Objeto auto-conectado
P
encontra
Entidade
vale
durante
tempo
de existencia de
Fisico
(=>
(
and
(
instance
?C
Chest
)
(
instance
?A
Animal
)
(
instance
?C ?A)
(
part
?C ?A))
(
exists
(?T)
(
and
(
instance
?T
Torso
)
(
part
?C ?T)
(
part
?T ?A))))
Mid-level-ontology.kif 11219-11229
Objeto
e' uma
instancia
de
Chest
Classe
e' uma
instancia
de
Animal
Objeto
e' uma
instancia
de
Classe
Objeto
e' uma &parte de
Classe
Objeto
Objeto
e' uma
instancia
de
Torso
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Classe
(=>
(
and
(
instance
?C
Chest
)
(
part
?C ?P)
(
equal
?B
(
BackFn
?P)))
(
not
(
part
?C ?B)))
Anatomy.kif 1823-1830
Objeto
e' uma
instancia
de
Chest
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto auto-conectado
e'
igual
a
atras
de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
(=>
(
and
(
instance
?C
Choking
)
(
experiencer
?C ?H))
(
exists
(?O ?T ?L)
(
and
(
instance
?O
Object
)
(
instance
?T
Trachea
)
(
instance
?L
Lung
)
(
part
?T ?H)
(
part
?L ?H)
(
holdsDuring
(
WhenFn
?C)
(
or
(
located
?O ?T)
(
located
?O ?L))))))
Mid-level-ontology.kif 11754-11769
Processo
e' uma
instancia
de
Choking
AutonomousAgent
experimenta
Processo
Entidade
Objeto
and
Objeto
Entidade
e' uma
instancia
de
Objeto
Objeto
e' uma
instancia
de
Trachea
Objeto
e' uma
instancia
de
Lung
Objeto
e' uma &parte de
AutonomousAgent
Objeto
e' uma &parte de
AutonomousAgent
Entidade
e'
situado
em
Objeto
Entidade
e'
situado
em
Objeto
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?C
Coughing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?L ?O ?T)
(
and
(
instance
?L
Lung
)
(
instance
?T
Throat
)
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?L ?H)
(
part
?T ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
or
(
located
?O ?T)
(
located
?O ?L)))))))
Mid-level-ontology.kif 6056-6075
Processo
e' uma
instancia
de
Coughing
AutonomousAgent
experimenta
Processo
Processo
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Lung
Entidade
e' uma
instancia
de
Throat
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma
instancia
de
Remover
Entidade
e' uma &parte de
AutonomousAgent
Entidade
e' uma &parte de
AutonomousAgent
objectTransferred
Entidade
and
Entidade
Entidade
e'
situado
em
Entidade
Entidade
e'
situado
em
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?C
Crawling
)
(
agent
?C ?A))
(
exists
(?ARM)
(
and
(
instance
?ARM
Arm
)
(
part
?ARM ?A)
(
instrument
?C ?ARM))))
Mid-level-ontology.kif 4391-4399
Processo
e' uma
instancia
de
Crawling
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
RM
AutonomousAgent
RM e' uma
instancia
de
Arm
AutonomousAgent
RM e' uma &parte de
AutonomousAgent
AutonomousAgent
RM e' um
instrumento
para
Processo
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?T
(
HoleHostFn
?H))
(
instance
?T
Throat
)
(
part
?T ?O)))))
Medicine.kif 754-765
Processo
e' uma
instancia
de
Cricothyroidotomy
Entidade
e' um
patient
de
Processo
Entidade
Entidade
e' uma
instancia
de
Buraco
Entidade
e'
igual
a o
dono
do buraco
Entidade
Entidade
e' uma
instancia
de
Throat
Entidade
e' uma &parte de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?C
Crying
)
(
experiencer
?C ?H))
(
exists
(?T ?E)
(
and
(
instance
?T
TearSubstance
)
(
origin
?C ?E)
(
objectTransferred
?C ?T)
(
instance
?E
Eye
)
(
part
?E ?H))))
emotion.kif 1129-1139
Transferencia
e' uma
instancia
de
Crying
AutonomousAgent
experimenta
Transferencia
Objeto
Objeto
Objeto
e' uma
instancia
de
TearSubstance
Transferencia
tem como
origem
Objeto
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Eye
Objeto
e' uma &parte de
AutonomousAgent
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7142-7162
Objeto
e' uma
instancia
de
Crystal
MonoCrystalline
e' um
atributo
de
Objeto
Objeto auto-conectado
e' uma
instancia
de
Substancia
Solid
e' um
atributo
de
Objeto auto-conectado
PolyCrystalline
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Substancia
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
LNT
Numero Inteiro
and
Objeto
Objeto
LNT e' uma
instancia
de
Colecao
memberCount
Objeto
LNT and
Numero Inteiro
Numero Inteiro
e'
maior
ou igual a 4
Objeto
e'
membro
de
Objeto
LNT
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
encontra
Objeto
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