orientation
(=>
(
instance
?X
Courtyard
)
(
and
(
not
(
exists
(?ROOF)
(
and
(
instance
?ROOF
Roof
)
(
top
?ROOF ?X))))
(
exists
(?BLDG)
(
and
(
instance
?BLDG
Building
)
(
orientation
?X ?BLDG
Surrounded
)))))
Mid-level-ontology.kif 26009-26020
OggettoIntegro
è un'
istanza
di
Courtyard
OggettoIntegro
OggettoIntegro
è un'
istanza
di
Roof
il
vertice
OggettoIntegro
è
OggettoIntegro
Oggetto
Oggetto
è un'
istanza
di
Costruzione
OggettoIntegro
è
Surrounded
a
Oggetto
(=>
(
instance
?X
Earphone
)
(
hasPurpose
?X
(
exists
(?ES ?RS ?SIGNAL ?EAR ?PROC)
(
and
(
instance
?ES
ElectricalSignalling
)
(
patient
?ES ?SIGNAL)
(
destination
?ES ?X)
(
instance
?PROC
Process
)
(
instrument
?PROC ?X)
(
patient
?PROC ?SIGNAL)
(
result
?PROC ?RS)
(
instance
?RS
RadiatingSound
)
(
origin
?RS ?X)
(
before
(
BeginFn
(
WhenFn
?ES))
(
BeginFn
(
WhenFn
?PROC)))
(
before
(
BeginFn
(
WhenFn
?PROC))
(
BeginFn
(
WhenFn
?RS)))
(
instance
?EAR
Ear
)
(
orientation
?X ?EAR
Adjacent
)))))
Mid-level-ontology.kif 26041-26062
Entit�Concreta
è un'
istanza
di
Earphone
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
ElectricalSignalling
Entit�
è un
paziente
di
Entit�
Entit�
fine
s in
Entit�Concreta
Entit�
è un'
istanza
di
Processo
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
risultato
di
Entit�
Entit�
è un'
istanza
di
OndaSonora
Entit�
si
originas in
Entit�Concreta
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
Entit�
è un'
istanza
di
Ear
Entit�Concreta
è
Adjacent
a
Entit�
(=>
(
instance
?X
Exoskeleton
)
(
exists
(?A)
(
and
(
instance
?A
Animal
)
(
part
?X ?A)
(
not
(
exists
(?PART)
(
and
(
properPart
?PART ?A)
(
orientation
?PART ?X
Outside
)))))))
Mid-level-ontology.kif 11690-11700
Oggetto
è un'
istanza
di
Exoskeleton
Oggetto
Oggetto
è un'
istanza
di
Animale
Oggetto
è una
parte
di
Oggetto
Oggetto
Oggetto
è una
Parte
propria di
Oggetto
Oggetto
è
Outside
a
Oggetto
(=>
(
instance
?X
Hammock
)
(
and
(
material
Fabric
?X)
(
exists
(?POLE1 ?POLE2 ?GROUND)
(
and
(
orientation
?POLE1 ?POLE2
Near
)
(
connected
?POLE1 ?X)
(
connected
?POLE2 ?X)
(
instance
?GROUND
LandArea
)
(
located
?X ?GROUND)
(
orientation
?X ?GROUND
Above
)))))
Mid-level-ontology.kif 3958-3969
OggettoCorpuscolare
è un'
istanza
di
Hammock
Stoffa
è
fatto
di
OggettoCorpuscolare
Oggetto
Oggetto
and
Oggetto
Oggetto
è
Near
a
Oggetto
Oggetto
è
connesso
a
OggettoCorpuscolare
Oggetto
è
connesso
a
OggettoCorpuscolare
Oggetto
è un'
istanza
di
SuperficieTerrestre
OggettoCorpuscolare
è
localizzato
in
Oggetto
OggettoCorpuscolare
è
Above
a
Oggetto
(=>
(
instance
?X
Mattress
)
(
hasPurpose
?X
(
exists
(?PERSON)
(
and
(
attribute
?PERSON
Asleep
)
(
orientation
?PERSON ?X
On
)))))
Mid-level-ontology.kif 4041-4047
Entit�Concreta
è un'
istanza
di
Mattress
Entit�Concreta
ha
scopo
Entit�
attribute
Entit�
and
Addormentato
Entit�
è
On
a
Entit�Concreta
(=>
(
instance
?X
Patio
)
(
and
(
modalAttribute
(
attribute
?X
Paved
)
Likely
)
(
exists
(?BLDG)
(
and
(
instance
?BLDG
Building
)
(
orientation
?X ?BLDG
Adjacent
)
(
located
?X
Outdoors
)))))
Mid-level-ontology.kif 26627-26636
Oggetto
è un'
istanza
di
Patio
l'affermazione
attribute
Oggetto
and
Paved
ha il modello di forza di
Likely
Oggetto
Oggetto
è un'
istanza
di
Costruzione
Oggetto
è
Adjacent
a
Oggetto
Oggetto
è
localizzato
in
Outdoors
(=>
(
instance
?X
SubwaySystem
)
(
exists
(?SURF)
(
and
(
surface
?SURF
GeographicArea
)
(
orientation
?X ?SURF
Below
))))
Transportation.kif 328-333
Oggetto
è un'
istanza
di
SubwaySystem
OggettoIntegro
OggettoIntegro
è una
superficie
di
AreaGeografica
Oggetto
è
Below
a
OggettoIntegro
(=>
(
instance
?piedmont
Piedmont
)
(
exists
(?mountains)
(
and
(
instance
?mountains
MountainousTerrain
)
(
orientation
?piedmont ?mountains
Adjacent
))))
Geography.kif 4199-4204
Oggetto
è un'
istanza
di
Piedmont
Oggetto
Oggetto
è un'
istanza
di
MountainousTerrain
Oggetto
è
Adjacent
a
Oggetto
(=>
(
instance
?place
UndergroundArea
)
(
exists
(?area ?ground)
(
and
(
surface
?ground
PlanetEarth
)
(
part
?area ?ground)
(
orientation
?place ?area
Below
))))
Geography.kif 3991-3997
Oggetto
è un'
istanza
di
UndergroundArea
Oggetto
OggettoIntegro
OggettoIntegro
è una
superficie
di
PlanetEarth
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
è
Below
a
Oggetto
(=>
(
meetsSpatially
?OBJECT1 ?OBJECT2)
(
orientation
?OBJECT1 ?OBJECT2
Adjacent
))
Transportation.kif 864-866
Oggetto
incontra
s
Oggetto
Oggetto
è
Adjacent
a
Oggetto
(=>
(
meetsSpatially
?X ?Y)
(
orientation
?X ?Y
Adjacent
))
Geography.kif 6163-6165
Oggetto
incontra
s
Oggetto
Oggetto
è
Adjacent
a
Oggetto
(=>
(
nearOrientation
?OBJ1 ?OBJ2)
(
exists
(?X)
(
and
(
instance
?X ?OBJ2)
(
orientation
?OBJ1 ?X
Near
))))
Hotel.kif 910-915
nearOrientation
Oggetto
and
Entit�Concreta
Oggetto
Oggetto
è un'
istanza
di
Entit�Concreta
Oggetto
è
Near
a
Oggetto
(=>
(
neighbor
?PERSON1 ?PERSON2)
(
exists
(?HOME1 ?HOME2)
(
and
(
home
?PERSON1 ?HOME1)
(
home
?PERSON2 ?HOME2)
(
not
(
equal
?HOME1 ?HOME2))
(
orientation
?HOME1 ?HOME2
Near
))))
Mid-level-ontology.kif 6670-6677
neighbor
Umano
and
Umano
PermanentResidence
PermanentResidence
home
Umano
and
PermanentResidence
home
Umano
and
PermanentResidence
PermanentResidence
is
uguale
a
PermanentResidence
PermanentResidence
è
Near
a
PermanentResidence
(=>
(
onOrientation
?OBJ1 ?OBJ2)
(
exists
(?X)
(
and
(
instance
?X ?OBJ2)
(
orientation
?OBJ1 ?X
On
))))
Hotel.kif 925-930
onOrientation
Oggetto
and
Entit�Concreta
Oggetto
Oggetto
è un'
istanza
di
Entit�Concreta
Oggetto
è
On
a
Oggetto
(=>
(
orientation
?OBJ1 ?OBJ2
Downstairs
)
(
exists
(?LEVEL1 ?LEVEL2 ?BUILDING)
(
and
(
instance
?LEVEL1
BuildingLevel
)
(
instance
?LEVEL2
BuildingLevel
)
(
instance
?BUILDING
Building
)
(
part
?LEVEL1 ?BUILDING)
(
part
?LEVEL2 ?BUILDING)
(
located
?OBJ1 ?LEVEL1)
(
located
?OBJ2 ?LEVEL2)
(
orientation
?LEVEL1 ?LEVEL2
Below
))))
Mid-level-ontology.kif 19236-19247
Oggetto
è
Downstairs
a
Oggetto
Oggetto
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
BuildingLevel
Oggetto
è un'
istanza
di
BuildingLevel
Oggetto
è un'
istanza
di
Costruzione
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è
localizzato
in
Oggetto
Oggetto
è
localizzato
in
Oggetto
Oggetto
è
Below
a
Oggetto
(=>
(
orientation
?OBJ1 ?OBJ2
Near
)
(
orientation
?OBJ2 ?OBJ1
Near
))
Merge.kif 17159-17161
Oggetto
è
Near
a
Oggetto
Oggetto
è
Near
a
Oggetto
(=>
(
orientation
?OBJ1 ?OBJ2
On
)
(
not
(
orientation
?OBJ2 ?OBJ1
On
)))
Merge.kif 17180-17183
Oggetto
è
On
a
Oggetto
Oggetto
è
On
a
Oggetto
(=>
(
orientation
?OBJ1 ?OBJ2
Upstairs
)
(
exists
(?LEVEL1 ?LEVEL2 ?BUILDING)
(
and
(
instance
?LEVEL1
BuildingLevel
)
(
instance
?LEVEL2
BuildingLevel
)
(
instance
?BUILDING
Building
)
(
part
?LEVEL1 ?BUILDING)
(
part
?LEVEL2 ?BUILDING)
(
located
?OBJ1 ?LEVEL1)
(
located
?OBJ2 ?LEVEL2)
(
orientation
?LEVEL1 ?LEVEL2
Above
))))
Mid-level-ontology.kif 19219-19230
Oggetto
è
Upstairs
a
Oggetto
Oggetto
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
BuildingLevel
Oggetto
è un'
istanza
di
BuildingLevel
Oggetto
è un'
istanza
di
Costruzione
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è
localizzato
in
Oggetto
Oggetto
è
localizzato
in
Oggetto
Oggetto
è
Above
a
Oggetto
(=>
(
orientation
?ONE ?TWO
Adjacent
)
(
orientation
?TWO ?ONE
Adjacent
))
Geography.kif 716-718
Oggetto
è
Adjacent
a
Oggetto
Oggetto
è
Adjacent
a
Oggetto
(=>
(
orientation
?ONE ?TWO
Near
)
(
orientation
?TWO ?ONE
Near
))
Geography.kif 720-722
Oggetto
è
Near
a
Oggetto
Oggetto
è
Near
a
Oggetto
(=>
(
part
?OBJ ?REGION)
(
not
(
orientation
?OBJ ?REGION
Outside
)))
Mid-level-ontology.kif 9123-9126
Oggetto
è una
parte
di
Oggetto
Oggetto
è
Outside
a
Oggetto
(=>
(
postStreet
?POSTPLACE ?ROADWAY)
(
orientation
?POSTPLACE ?ROADWAY
Adjacent
))
Mid-level-ontology.kif 24818-24820
postStreet
PostalPlace
and
Roadway
PostalPlace
è
Adjacent
a
Roadway
(=>
(
surfaceWindDirection
?PLACE ?DIR)
(
exists
(?WIND ?FROM)
(
and
(
instance
?WIND
Wind
)
(
instance
?FROM
Region
)
(
eventPartlyLocated
?WIND ?PLACE)
(
origin
?WIND ?FROM)
(
orientation
?FROM ?PLACE ?DIR))))
Weather.kif 178-186
surfaceWindDirection
Oggetto
and
AttributoDirezionale
Processo
Oggetto
Processo
è un'
istanza
di
Wind
Oggetto
è un'
istanza
di
Regione
eventPartlyLocated
Processo
and
Oggetto
Processo
si
originas in
Oggetto
Oggetto
è
AttributoDirezionale
a
Oggetto
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