orientation
(=>
(
and
(
instance
?X
Bed
)
(
component
?BEDFRAME ?X)
(
instance
?BEDFRAME
BedFrame
)
(
component
?MATTRESS ?X)
(
instance
?MATTRESS
Mattress
))
(
orientation
?MATTRESS ?BEDFRAME
On
))
Mid-level-ontology.kif 4054-4061
OggettoCorpuscolare
è un'
istanza
di
Bed
OggettoCorpuscolare
è un
componente
di
OggettoCorpuscolare
OggettoCorpuscolare
è un'
istanza
di
BedFrame
OggettoCorpuscolare
è un
componente
di
OggettoCorpuscolare
OggettoCorpuscolare
è un'
istanza
di
Mattress
OggettoCorpuscolare
è
On
a
OggettoCorpuscolare
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3710-3751
Oggetto
è un'
istanza
di
CarAlarm
Oggetto
è un'
istanza
di
SelfPoweredRoadVehicle
Oggetto
è una
parte
di
Oggetto
Entit�
Entit�
,
Entit�
and
Entit�
Oggetto
ha
scopo
Entit�
è un'
istanza
di
Stealing
Entit�
è un'
istanza
di
Danneggiare
Entit�
è un'
istanza
di
Umano
Entit�
è un
agente
di
Entit�
Oggetto
è un
paziente
di
Entit�
il
tempo
di esistenza di
Entit�
is
uguale
a
Entit�
eventPartlyLocated
Entit�
and
Entit�
Entit�
Entit�
è un'
istanza
di
OndaSonora
Entit�
è un
agente
di
Oggetto
Entit�
causa
s
Entit�
Entit�
ha
scopo
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è
Near
a
Entit�
vales
durante
Entit�
aumenta
s la verosimiglianza di
Entit�
conosce
s
Entit�
Entit�
è un'
istanza
di
Stealing
Entit�
è un'
istanza
di
Danneggiare
eventPartlyLocated
Entit�
and
Entit�
Oggetto
è un
paziente
di
Entit�
vales
durante
Entit�
il
tempo
di esistenza di
Entit�
finisce
es il
tempo
di esistenza di
Entit�
(=>
(
and
(
instance
?X
FruitOrVegetable
)
(
part
?F ?X)
(
instance
?F
FleshOrPulp
)
(
part
?P ?X)
(
instance
?P
PeelOrRind
))
(
orientation
?F ?P
Inside
))
Food.kif 2316-2323
Oggetto
è un'
istanza
di
FruttaOVerdura
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
FleshOrPulp
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
PeelOrRind
Oggetto
è
Inside
a
Oggetto
(=>
(
and
(
instance
?area
LandArea
)
(
groundSurfaceType
?area ?type1)
(
groundSubsurfaceType
?area ?type2))
(
exists
(?above ?below)
(
and
(
instance
?above ?type1)
(
instance
?below ?type2)
(
orientation
?above ?below
Above
))))
Geography.kif 4288-4297
SuperficieTerrestre
è un'
istanza
di
SuperficieTerrestre
groundSurfaceType
SuperficieTerrestre
and
Sostanza
groundSubsurfaceType
SuperficieTerrestre
and
Sostanza
Oggetto
Oggetto
Oggetto
è un'
istanza
di
Sostanza
Oggetto
è un'
istanza
di
Sostanza
Oggetto
è
Above
a
Oggetto
(=>
(
and
(
orientation
?OBJ1 ?OBJ2 ?ATTR1)
(
contraryAttribute
@ROW)
(
inList
?ATTR1
(
ListFn
@ROW))
(
inList
?ATTR2
(
ListFn
@ROW))
(
not
(
equal
?ATTR1 ?ATTR2)))
(
not
(
orientation
?OBJ1 ?OBJ2 ?ATTR2)))
Merge.kif 16921-16929
Oggetto
è
AttributoPosizionale
a
Oggetto
@ROW è
opposto
a
AttributoPosizionale
è un
AttributoPosizionale
è un
AttributoPosizionale
is
uguale
a
AttributoPosizionale
Oggetto
è
AttributoPosizionale
a
Oggetto
(=>
(
and
(
orientation
?OBJ1 ?OBJ2 ?DIR)
(
instance
?DIR
PositionalAttribute
)
(
oppositeDirection
?DIR ?OPPDIR))
(
orientation
?OBJ2 ?OBJ1 ?OPPDIR))
Mid-level-ontology.kif 18136-18141
Oggetto
è
AttributoPosizionale
a
Oggetto
AttributoPosizionale
è un'
istanza
di
AttributoPosizionale
oppositeDirection
AttributoPosizionale
and
AttributoPosizionale
Oggetto
è
AttributoPosizionale
a
Oggetto
(=>
(
and
(
orientation
?X ?Y
Right
)
(
orientation
?Z ?Y
Left
))
(
orientation
?X ?Z
Right
))
Merge.kif 16931-16935
Oggetto
è
Right
a
Oggetto
Oggetto
è
Left
a
Oggetto
Oggetto
è
Right
a
Oggetto
(=>
(
and
(
side
?SIDE ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?SIDE)))
(
exists
(?DIRECT)
(
orientation
?SIDE ?PART ?DIRECT)))
Merge.kif 9745-9751
Un
lato
di
OggettoIntegro
è
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
è
connesso
a
OggettoIntegro
AttributoPosizionale
OggettoIntegro
è
AttributoPosizionale
a
Oggetto
(=>
(
and
(
top
?TOP ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?TOP)))
(
orientation
?PART ?TOP
Below
))
Merge.kif 9730-9735
Il
vertice
OggettoIntegro
è
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
è
connesso
a
OggettoIntegro
Oggetto
è
Below
a
OggettoIntegro
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
))
(
not
(
exists
(?Observe ?A ?B ?D2)
(
and
(
instance
?Observe
Looking
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
during
(
WhenFn
?Observe) ?Time)
(
eventLocated
?Observe ?Area)
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?D2 ?Distance)))))
Weather.kif 2709-2726
visibilityInMeteorology
Regione
,
IntervalloTemporale
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
Processo
AutonomousAgent
,
Oggetto
and
NumeroReale
Processo
è un'
istanza
di
Looking
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
AutonomousAgent
è
Horizontal
a
Oggetto
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
eventLocated
Processo
and
Regione
la
distanza
tra
AutonomousAgent
e
Oggetto
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
attribute
?ROOM
OpenLayout
)
(
and
(
instance
?ROOM
Room
)
(
exists
(?R1 ?R2 ?H)
(
and
(
instance
?R1
Region
)
(
instance
?R2
Region
)
(
located
?R1 ?ROOM)
(
located
?R2 ?ROOM)
(
not
(
equal
?R1 ?R2))
(
orientation
?R1 ?R2
Adjacent
)
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Process
)
(
instance
?P2
Process
)
(
hasPurpose
?R1 ?P1)
(
hasPurpose
?R2 ?P2)))
(=>
(
and
(
instance
?H
AutonomousAgent
)
(
located
?H ?R2))
(
and
(
capability
Seeing
agent
?H)
(
capability
Seeing
patient
?R1)))))))
Dining.kif 956-980
attribute
Oggetto
and
OpenLayout
Oggetto
è un'
istanza
di
Stanza
Oggetto
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Regione
Oggetto
è un'
istanza
di
Regione
Oggetto
è
localizzato
in
Oggetto
Oggetto
è
localizzato
in
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
è
Adjacent
a
Oggetto
Formula
Formula
Formula
è un'
istanza
di
Processo
Formula
è un'
istanza
di
Processo
Oggetto
ha
scopo
Formula
Oggetto
ha
scopo
Formula
Oggetto
è un'
istanza
di
AutonomousAgent
Oggetto
è
localizzato
in
Oggetto
Oggetto
è
capace
di fare
Vista
nel ruolo
agent
Oggetto
è
capace
di fare
Vista
nel ruolo
patient
(=>
(
attribute
?X
AdjoiningRoom
)
(
exists
(?ROOM ?WALL ?DOOR)
(
and
(
attribute
?ROOM
AdjoiningRoom
)
(
not
(
equal
?ROOM ?X))
(
orientation
?X ?ROOM
Adjacent
)
(
instance
?WALL
Wall
)
(
part
?WALL ?ROOM)
(
part
?WALL ?X)
(
instance
?DOOR
Door
)
(
part
?DOOR ?WALL))))
Mid-level-ontology.kif 15237-15248
attribute
Oggetto
and
AdjoiningRoom
Oggetto
Oggetto
and
Oggetto
attribute
Oggetto
and
AdjoiningRoom
Oggetto
is
uguale
a
Oggetto
Oggetto
è
Adjacent
a
Oggetto
Oggetto
è un'
istanza
di
Wall
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Door
Oggetto
è una
parte
di
Oggetto
(=>
(
attribute
?X
DownAndInRoom
)
(
exists
(?LOC ?INDOOR)
(
and
(
instance
?INDOOR
Indoors
)
(
instance
?LOC
Region
)
(
orientation
?LOC ?X
Adjacent
)
(
orientation
?LOC ?X
Outside
)
(
located
?LOC ?INDOOR))))
Hotel.kif 1057-1065
attribute
Oggetto
and
DownAndInRoom
Oggetto
Oggetto
Oggetto
è un'
istanza
di
Indoors
Oggetto
è un'
istanza
di
Regione
Oggetto
è
Adjacent
a
Oggetto
Oggetto
è
Outside
a
Oggetto
Oggetto
è
localizzato
in
Oggetto
(=>
(
attribute
?X
DownAndOutRoom
)
(
exists
(?LOC ?OUTDOOR)
(
and
(
instance
?OUTDOOR
Outdoors
)
(
instance
?LOC
Region
)
(
orientation
?LOC ?X
Adjacent
)
(
orientation
?LOC ?X
Outside
)
(
located
?LOC ?OUTDOOR))))
Hotel.kif 1072-1080
attribute
Oggetto
and
DownAndOutRoom
Oggetto
Oggetto
Oggetto
è un'
istanza
di
Outdoors
Oggetto
è un'
istanza
di
Regione
Oggetto
è
Adjacent
a
Oggetto
Oggetto
è
Outside
a
Oggetto
Oggetto
è
localizzato
in
Oggetto
(=>
(
attribute
?X
LoftStyle
)
(
exists
(?FLOOR ?LOFT ?CEILING)
(
and
(
bottom
?FLOOR ?X)
(
top
?CEILING ?X)
(
instance
?LOFT
StationaryArtifact
)
(
orientation
?LOFT ?FLOOR
Above
)
(
orientation
?LOFT ?CEILING
Below
))))
Hotel.kif 1157-1165
attribute
OggettoIntegro
and
LoftStyle
OggettoIntegro
Oggetto
and
OggettoIntegro
il
fondo
di
OggettoIntegro
è
OggettoIntegro
il
vertice
OggettoIntegro
è
OggettoIntegro
Oggetto
è un'
istanza
di
ManufattoStatico
Oggetto
è
Above
a
OggettoIntegro
Oggetto
è
Below
a
OggettoIntegro
(=>
(
depth
?OBJ1 ?OBJ2 ?DEPTH)
(
orientation
?OBJ1 ?OBJ2
Below
))
Merge.kif 7736-7738
depth
Oggetto
,
Oggetto
and
MisuraDiLunghezza
Oggetto
è
Below
a
Oggetto
(=>
(
elevation
?OBJECT ?HEIGHT)
(
exists
(?DATUM)
(
and
(
properPart
?DATUM
SeaLevel
)
(
orientation
?OBJECT ?DATUM
Vertical
)
(
distance
?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1914-1920
elevation
Oggetto
and
MisuraDiLunghezza
Oggetto
Oggetto
è una
Parte
propria di
SeaLevel
Oggetto
è
Vertical
a
Oggetto
la
distanza
tra
Oggetto
e
Oggetto
è
MisuraDiLunghezza
(=>
(
flows
?FLUID1 ?FLUID2)
(
orientation
?FLUID1 ?FLUID2
Upstream
))
Geography.kif 5446-5448
flows
Oggetto
and
Oggetto
Oggetto
è
Upstream
a
Oggetto
(=>
(
holdsDuring
?T
(
attribute
?L
Cloudy
))
(
exists
(?C)
(
and
(
instance
?C
Cloud
)
(
holdsDuring
?T
(
orientation
?C ?L
Above
)))))
Mid-level-ontology.kif 30316-30323
attribute
Entit�
and
Cloudy
vales
durante
PosizioneTemporale
Entit�
Entit�
è un'
istanza
di
Cloud
Entit�
è
Above
a
Entit�
vales
durante
PosizioneTemporale
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
orientation
?AREA1 ?AREA2
Adjacent
))
Geography.kif 712-714
BorderFn
AreaGeografica
and
AreaGeografica
è un'
istanza
di
AreaGeografica
AreaGeografica
è
Adjacent
a
AreaGeografica
(=>
(
instance
?ATV
AllTerrainVehicle
)
(
hasPurpose
?ATV
(
exists
(?D ?L)
(
and
(
instance
?D
Transportation
)
(
instrument
?D ?ATV)
(
holdsDuring
(
WhenFn
?D)
(
orientation
?ATV ?L
On
))
(
not
(
instance
?L
Roadway
))))))
Cars.kif 4768-4778
Entit�Concreta
è un'
istanza
di
AllTerrainVehicle
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Trasporto
Entit�Concreta
è uno
strumento
per
Entit�
Entit�Concreta
è
On
a
Entit�
vales
durante
il
tempo
di esistenza di
Entit�
Entit�
è un'
istanza
di
Roadway
(=>
(
instance
?BALCONY
Balcony
)
(
exists
(?WALL ?LANDAREA)
(
and
(
meetsSpatially
?WALL ?BALCONY)
(
instance
?LANDAREA
LandArea
)
(
located
?WALL ?LANDAREA)
(
orientation
?BALCONY ?LANDAREA
Above
))))
Mid-level-ontology.kif 15385-15392
Oggetto
è un'
istanza
di
Balcony
Oggetto
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
è un'
istanza
di
SuperficieTerrestre
Oggetto
è
localizzato
in
Oggetto
Oggetto
è
Above
a
Oggetto
(=>
(
instance
?BASEMENT
Basement
)
(
not
(
exists
(?LEVEL ?BUILDING)
(
and
(
instance
?LEVEL
BuildingLevel
)
(
instance
?BUILDING
Building
)
(
part
?LEVEL ?BUILDING)
(
part
?BASEMENT ?BUILDING)
(
not
(
equal
?LEVEL ?BASEMENT))
(
orientation
?LEVEL ?BASEMENT
Below
)))))
Mid-level-ontology.kif 15411-15420
Oggetto
è un'
istanza
di
Basement
Oggetto
Oggetto
Oggetto
è un'
istanza
di
BuildingLevel
Oggetto
è un'
istanza
di
Costruzione
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
è
Below
a
Oggetto
(=>
(
instance
?BOARD
IroningBoard
)
(
hasPurpose
?BOARD
(
exists
(?IRON ?FABRIC ?OBJ)
(
and
(
instance
?IRON
Ironing
)
(
patient
?IRON ?OBJ)
(
part
?FABRIC ?OBJ)
(
instance
?FABRIC
Fabric
)
(
holdsDuring
(
WhenFn
?IRON)
(
orientation
?OBJ ?BOARD
On
))))))
Mid-level-ontology.kif 25202-25213
Entit�Concreta
è un'
istanza
di
IroningBoard
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Ironing
Entit�
è un
paziente
di
Entit�
Entit�
è una
parte
di
Entit�
Entit�
è un'
istanza
di
Stoffa
Entit�
è
On
a
Entit�Concreta
vales
durante
il
tempo
di esistenza di
Entit�
(=>
(
instance
?C
Catheter
)
(
hasPurpose
?C
(
exists
(?M ?O ?OBJ ?L)
(
and
(
instance
?O
Organism
)
(
instance
?M
Motion
)
(
moves
?M ?OBJ)
(
orientation
?L ?O
Outside
)
(
path
?M ?C)
(
or
(
and
(
origin
?M ?L)
(
destination
?M ?O))
(
and
(
origin
?M ?O)
(
destination
?M ?L)))))))
Medicine.kif 548-564
Entit�Concreta
è un'
istanza
di
Catheter
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
BJ and
Entit�
Entit�
è un'
istanza
di
Organismo
Entit�
è un'
istanza
di
Movimento
moves
Entit�
and
Entit�
BJ
Entit�
è
Outside
a
Entit�
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
Entit�
si
originas in
Entit�
Entit�
fine
s in
Entit�
Entit�
si
originas in
Entit�
Entit�
fine
s in
Entit�
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