orientation
(=>
(
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
attribute
Oggetto
and
Suite
Oggetto
è un'
istanza
di
HotelUnit
Oggetto
Oggetto
Oggetto
è un'
istanza
di
HotelRoom
Oggetto
è un'
istanza
di
HotelRoom
Oggetto
è
Inside
a
Oggetto
Oggetto
è
Inside
a
Oggetto
Oggetto
is
uguale
a
Oggetto
(=>
(
and
(
bottom
?BOTTOM ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?BOTTOM)))
(
orientation
?PART ?BOTTOM
Above
))
Merge.kif 9715-9720
Il
fondo
di
OggettoIntegro
è
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
è
connesso
a
OggettoIntegro
Oggetto
è
Above
a
OggettoIntegro
(=>
(
and
(
instance
?A
(
BodyAreaFn
?OC))
(
instance
?H
Animal
)
(
part
?A ?H))
(
exists
(?O)
(
and
(
instance
?O ?OC)
(
orientation
?A ?O
Near
)
(
part
?O ?H))))
Medicine.kif 6237-6246
Oggetto
è un'
istanza
di
BodyAreaFn
ParteDelCorpo
Oggetto
è un'
istanza
di
Animale
Oggetto
è una
parte
di
Oggetto
Oggetto
Oggetto
è un'
istanza
di
ParteDelCorpo
Oggetto
è
Near
a
Oggetto
Oggetto
è una
parte
di
Oggetto
(=>
(
and
(
instance
?A
Animal
)
(
instance
?P
(
BodySideFn
?S ?BPC))
(
contraryAttribute
?S ?SO)
(
attribute
?A
Healthy
))
(
exists
(?PO)
(
and
(
instance
?PO
(
BodySideFn
?SO ?BPC))
(
orientation
?P ?PO ?S))))
Merge.kif 14979-14990
Oggetto
è un'
istanza
di
Animale
Oggetto
è un'
istanza
di
BodySideFn
AntiSymmetricPositionalAttribute
and
ParteDelCorpo
AntiSymmetricPositionalAttribute
è
opposto
a
AntiSymmetricPositionalAttribute
O
attribute
Oggetto
and
Healthy
Oggetto
O
Oggetto
O è un'
istanza
di
BodySideFn
AntiSymmetricPositionalAttribute
O and
ParteDelCorpo
Oggetto
è
AntiSymmetricPositionalAttribute
a
Oggetto
O
(=>
(
and
(
instance
?C
InPersonCommunication
)
(
agent
?C ?A1)
(
agent
?C ?A2)
(
not
(
equal
?A1 ?A2)))
(
holdsDuring
?C
(
orientation
?A1 ?A2
Near
)))
Media.kif 224-231
Processo
è un'
istanza
di
InPersonCommunication
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
is
uguale
a
AutonomousAgent
AutonomousAgent
è
Near
a
AutonomousAgent
vales
durante
Processo
(=>
(
and
(
instance
?CHIN
Chin
)
(
instance
?FACE
Face
)
(
part
?CHIN ?FACE))
(
forall
(?PART)
(=>
(
and
(
part
?PART ?FACE)
(
not
(
part
?PART ?CHIN)))
(
orientation
?PART ?CHIN
Below
))))
Mid-level-ontology.kif 12930-12941
Oggetto
è un'
istanza
di
Chin
Oggetto
è un'
istanza
di
Face
Oggetto
è una
parte
di
Oggetto
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è
Below
a
Oggetto
(=>
(
and
(
instance
?D
Dismounting
)
(
agent
?D ?A)
(
patient
?D ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
orientation
?A ?O
On
))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
not
(
orientation
?A ?O
On
)))))
Mid-level-ontology.kif 20003-20015
Processo
è un'
istanza
di
Dismounting
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
AutonomousAgent
è
On
a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
AutonomousAgent
è
On
a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
orientation
(
DirectionalSubregionFn
?DIRECTION ?AREA)
(
GeographicCenterFn
?AREA) ?DIRECTION))
Geography.kif 500-505
AttributoDirezionale
è un'
istanza
di
AttributoDirezionale
AreaGeografica
è un'
istanza
di
AreaGeografica
DirectionalSubregionFn
AttributoDirezionale
and
AreaGeografica
è un'
istanza
di
AreaGeografica
DirectionalSubregionFn
AttributoDirezionale
and
AreaGeografica
è
AttributoDirezionale
a
GeographicCenterFn
AreaGeografica
(=>
(
and
(
instance
?DROP
Falling
)
(
origin
?DROP ?START)
(
destination
?DROP ?FINISH))
(
orientation
?FINISH ?START
Below
))
Merge.kif 11587-11592
Processo
è un'
istanza
di
Falling
Processo
si
originas in
Oggetto
Processo
fine
s in
Oggetto
Oggetto
è
Below
a
Oggetto
(=>
(
and
(
instance
?E
Eyebrow
)
(
attribute
?H
Healthy
)
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?EYE ?E
Near
))))
Anatomy.kif 1439-1448
Oggetto
è un'
istanza
di
Eyebrow
attribute
Oggetto
and
Healthy
Oggetto
è una
parte
di
Oggetto
Oggetto
YE
Oggetto
YE è un'
istanza
di
Eye
Oggetto
YE è una
parte
di
Oggetto
Oggetto
YE è
Near
a
Oggetto
(=>
(
and
(
instance
?E
Eyebrow
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?E ?EYE
Above
))))
Anatomy.kif 1469-1481
Oggetto
è un'
istanza
di
Eyebrow
attribute
Oggetto
and
Healthy
attribute
Oggetto
and
Standing
vales
durante
PosizioneTemporale
Oggetto
è una
parte
di
Oggetto
Oggetto
YE
Oggetto
YE è un'
istanza
di
Eye
Oggetto
YE è una
parte
di
Oggetto
Oggetto
è
Above
a
Oggetto
YE
(=>
(
and
(
instance
?F
Forehead
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?F ?EYE
Above
))))
Anatomy.kif 1488-1500
Oggetto
è un'
istanza
di
Forehead
attribute
Oggetto
and
Healthy
attribute
Oggetto
and
Standing
vales
durante
PosizioneTemporale
Oggetto
è una
parte
di
Oggetto
Oggetto
YE
Oggetto
YE è un'
istanza
di
Eye
Oggetto
YE è una
parte
di
Oggetto
Oggetto
è
Above
a
Oggetto
YE
(=>
(
and
(
instance
?FALL
Waterfall
)
(
instance
?CURRENT
WaterMotion
)
(
flowCurrent
?CURRENT ?FALL)
(
origin
?CURRENT ?TOP)
(
destination
?CURRENT ?BOTTOM)
(
instance
?TOP
WaterArea
)
(
instance
?BOTTOM
WaterArea
))
(
orientation
?TOP ?BOTTOM
Above
))
Geography.kif 5561-5570
SuperficieAcquatica
è un'
istanza
di
Waterfall
WaterMotion
è un'
istanza
di
WaterMotion
flowCurrent
WaterMotion
and
SuperficieAcquatica
WaterMotion
si
originas in
Oggetto
WaterMotion
fine
s in
Oggetto
Oggetto
è un'
istanza
di
SuperficieAcquatica
Oggetto
è un'
istanza
di
SuperficieAcquatica
Oggetto
è
Above
a
Oggetto
(=>
(
and
(
instance
?LAND
Continent
)
(
not
(
equal
?LAND
Antarctica
)))
(
orientation
Antarctica
?LAND
South
))
Geography.kif 292-296
Oggetto
è un'
istanza
di
Continente
Oggetto
is
uguale
a
Antarctica
Antarctica
è
South
a
Oggetto
(=>
(
and
(
instance
?M
Mounting
)
(
agent
?M ?A)
(
patient
?M ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?M))
(
not
(
orientation
?A ?O
On
)))
(
holdsDuring
(
EndFn
(
WhenFn
?M))
(
orientation
?A ?O
On
))))
Mid-level-ontology.kif 469-480
Processo
è un'
istanza
di
Mounting
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
AutonomousAgent
è
On
a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
AutonomousAgent
è
On
a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?MEET
Meeting
)
(
agent
?MEET ?AGENT1)
(
agent
?MEET ?AGENT2))
(
holdsDuring
(
WhenFn
?MEET)
(
orientation
?AGENT1 ?AGENT2
Near
)))
Merge.kif 13282-13287
Processo
è un'
istanza
di
Incontro
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è
Near
a
AutonomousAgent
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?MID
MiddleCIButton
)
(
component
?MID ?DEV)
(
instance
?DEV
ComputerInputDevice
))
(
exists
(?LEFT ?RIGHT)
(
and
(
instance
?RIGHT
RightCIButton
)
(
instance
?LEFT
LeftCIButton
)
(
component
?RIGHT ?DEV)
(
component
?LEFT ?DEV)
(
between
?LEFT ?MID ?RIGHT)
(
orientation
?MID ?LEFT
Left
)
(
orientation
?MID ?RIGHT
Right
))))
ComputerInput.kif 224-237
OggettoCorpuscolare
è un'
istanza
di
MiddleCIButton
OggettoCorpuscolare
è un
componente
di
OggettoCorpuscolare
OggettoCorpuscolare
è un'
istanza
di
ComputerInputDevice
OggettoCorpuscolare
OggettoCorpuscolare
OggettoCorpuscolare
è un'
istanza
di
RightCIButton
OggettoCorpuscolare
è un'
istanza
di
LeftCIButton
OggettoCorpuscolare
è un
componente
di
OggettoCorpuscolare
OggettoCorpuscolare
è un
componente
di
OggettoCorpuscolare
OggettoCorpuscolare
è
tra
OggettoCorpuscolare
e
OggettoCorpuscolare
OggettoCorpuscolare
è
Left
a
OggettoCorpuscolare
OggettoCorpuscolare
è
Right
a
OggettoCorpuscolare
(=>
(
and
(
instance
?P
AntiSymmetricPositionalAttribute
)
(
orientation
?O1 ?O2 ?P))
(
not
(
orientation
?O2 ?O1 ?P)))
Merge.kif 17065-17069
AttributoPosizionale
è un'
istanza
di
AntiSymmetricPositionalAttribute
Oggetto
è
AttributoPosizionale
a
Oggetto
Oggetto
è
AttributoPosizionale
a
Oggetto
(=>
(
and
(
instance
?P
SymmetricPositionalAttribute
)
(
orientation
?O1 ?O2 ?P))
(
orientation
?O2 ?O1 ?P))
Merge.kif 17054-17058
AttributoPosizionale
è un'
istanza
di
SymmetricPositionalAttribute
Oggetto
è
AttributoPosizionale
a
Oggetto
Oggetto
è
AttributoPosizionale
a
Oggetto
(=>
(
and
(
instance
?RIGHT
PhysicalRightCIButton
)
(
component
?RIGHT ?DEV)
(
instance
?DEV
ComputerInputDevice
))
(
exists
(?LEFT)
(
and
(
instance
?LEFT
PhysicalLeftCIButton
)
(
component
?LEFT ?DEV)
(
orientation
?RIGHT ?LEFT
Left
))))
ComputerInput.kif 204-213
OggettoCorpuscolare
è un'
istanza
di
PhysicalRightCIButton
OggettoCorpuscolare
è un
componente
di
OggettoCorpuscolare
OggettoCorpuscolare
è un'
istanza
di
ComputerInputDevice
OggettoCorpuscolare
OggettoCorpuscolare
è un'
istanza
di
PhysicalLeftCIButton
OggettoCorpuscolare
è un
componente
di
OggettoCorpuscolare
OggettoCorpuscolare
è
Left
a
OggettoCorpuscolare
(=>
(
and
(
instance
?SM
StripMall
)
(
instance
?RS1
RetailStore
)
(
part
?RS1 ?SM))
(
exists
(?PL)
(
and
(
instance
?PL
ParkingLot
)
(
orientation
?RS1 ?PL
Adjacent
))))
Medicine.kif 5147-5155
Oggetto
è un'
istanza
di
StripMall
Oggetto
è un'
istanza
di
RetailStore
Oggetto
è una
parte
di
Oggetto
Oggetto
Oggetto
è un'
istanza
di
ParkingLot
Oggetto
è
Adjacent
a
Oggetto
(=>
(
and
(
instance
?STEM
PlantStem
)
(
instance
?ROOT
PlantRoot
))
(
modalAttribute
(
orientation
?STEM ?ROOT
Above
)
Likely
))
Mid-level-ontology.kif 9539-9544
Entit�
è un'
istanza
di
PlantStem
Entit�
è un'
istanza
di
PlantRoot
l'affermazione
Entit�
è
Above
a
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
instance
?T
Thoracentesis
)
(
patient
?T ?H))
(
exists
(?I ?O ?IN ?L ?C ?F)
(
and
(
instance
?I
Inserting
)
(
subProcess
?I ?T)
(
objectTransferred
?I ?N)
(
origin
?I ?O)
(
destination
?I ?IN)
(
instance
?N
Needle
)
(
attribute
?F
Fluid
)
(
objectTransferred
?T ?F)
(
destination
?F ?O)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
origin
?T ?IN)
(
destination
?T ?O)
(
between
?L ?IN ?C)
(
orientation
?O ?H
Outside
))))
Medicine.kif 895-917
Trasferimento
è un'
istanza
di
Thoracentesis
Oggetto
è un
paziente
di
Trasferimento
Trasferimento
Oggetto
,
Trasferimento
N,
Oggetto
,
Oggetto
and
Oggetto
Trasferimento
è un'
istanza
di
Inserting
Trasferimento
è un
sottoprocesso
di
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
si
originas in
Oggetto
Trasferimento
fine
s in
Trasferimento
N
Oggetto
è un'
istanza
di
Needle
attribute
Oggetto
and
Fluid
objectTransferred
Trasferimento
and
Oggetto
Oggetto
fine
s in
Oggetto
Oggetto
è un'
istanza
di
Lung
Oggetto
è un'
istanza
di
Chest
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Trasferimento
si
originas in
Trasferimento
N
Trasferimento
fine
s in
Oggetto
Trasferimento
N è
tra
Oggetto
e
Oggetto
Oggetto
è
Outside
a
Oggetto
(=>
(
and
(
instance
?VCS
VentedChestSeal
)
(
instance
?A
Attaching
)
(
objectTransferred
?A ?VCS)
(
destination
?A ?H))
(
hasPurpose
?VCS
(
exists
(?A ?L ?C ?H)
(
and
(
instance
?A
Air
)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
between
?L ?A ?C))
(
hasPurpose
?VCS
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
orientation
?A ?H
Outside
)))))))
Medicine.kif 853-875
Oggetto
è un'
istanza
di
VentedChestSeal
Trasferimento
è un'
istanza
di
Attaccare
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
fine
s in
Entit�
Oggetto
ha
scopo
Trasferimento
Entit�
,
Entit�
and
Entit�
Trasferimento
è un'
istanza
di
Air
Entit�
è un'
istanza
di
Lung
Entit�
è un'
istanza
di
Chest
Entit�
è una
parte
di
Entit�
Entit�
è una
parte
di
Entit�
Trasferimento
è
tra
Entit�
e
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Trasferimento
Oggetto
ha
scopo
Trasferimento
è
Outside
a
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Trasferimento
(=>
(
and
(
instance
?X
Argument
)
(
instance
?R
Reasoning
)
(
instance
?A
Archeology
)
(
subProposition
?X ?A)
(
realization
?R ?X))
(
exists
(?D ?S ?O ?T ?W ?L)
(
and
(
instance
?D
Discovering
)
(
instance
?O
Object
)
(
patient
?D ?O)
(
refers
?R ?D)
(
earlier
(
WhenFn
?D)
(
WhenFn
?R))
(
age
?O
(
MeasureFn
?T
YearDuration
))
(
greaterThan
?T 50)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
or
(
and
(
surface
?S ?W)
(
instance
?W
BodyOfWater
)
(
orientation
?O ?S
Below
))
(
and
(
surface
?S ?L)
(
instance
?L
LandArea
)
(
orientation
?O ?S
Below
)))))))
Mid-level-ontology.kif 21147-21177
Proposizione
è un'
istanza
di
Argument
Processo
è un'
istanza
di
Ragionare
Proposizione
è un'
istanza
di
Archeology
Proposizione
è una
sottoproposizione
Proposizione
Processo
esprime
il contenuto di
Proposizione
Processo
Entit�
,
Entit�Concreta
,
NumeroReale
,
Entit�
and
Entit�
Processo
è un'
istanza
di
Discovering
Entit�Concreta
è un'
istanza
di
Oggetto
Entit�Concreta
è un
paziente
di
Processo
Processo
include un
riferimento
a
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
il
et
à di
Entit�Concreta
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di 50
Entit�
è una
superficie
di
Entit�
Entit�
è un'
istanza
di
BodyOfWater
Entit�Concreta
è
Below
a
Entit�
Entit�
è una
superficie
di
Entit�
Entit�
è un'
istanza
di
SuperficieTerrestre
Entit�Concreta
è
Below
a
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
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