orientation
(=>
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?O)
(
orientation
?O2 ?O
On
))
(
objectTransferred
?T ?O2))
Merge.kif 11359-11364
Trasferimento
è un'
istanza
di
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Oggetto
2 è
On
a
Oggetto
objectTransferred
Trasferimento
and
Oggetto
2
(=>
(
and
(
instance
?basin
Basin
)
(
instance
?area
LandArea
)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?basin
(
MeasureFn
?height1 ?U))
(
earthAltitude
?area
(
MeasureFn
?height2 ?U))
(
orientation
?basin ?area
Adjacent
))
(
greaterThan
?height2 ?height1))
Geography.kif 4247-4257
Oggetto
è un'
istanza
di
Basin
Oggetto
è un'
istanza
di
SuperficieTerrestre
Unit�DiMisura
è un'
istanza
di
UnitOfLength
earthAltitude
Oggetto
and
NumeroReale
Unit�DiMisura
(s
earthAltitude
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Oggetto
è
Adjacent
a
Oggetto
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?piedmont
Piedmont
)
(
attribute
?mountains
MountainousTerrain
)
(
orientation
?piedmont ?mountains
Adjacent
)
(
instance
?U
UnitOfLength
)
(
height
?piedmont
(
MeasureFn
?height1 ?U))
(
height
?mountains
(
MeasureFn
?height2 ?U)))
(
greaterThan
?height2 ?height1))
Geography.kif 4206-4216
OggettoIntegro
è un'
istanza
di
Piedmont
attribute
OggettoIntegro
and
MountainousTerrain
OggettoIntegro
è
Adjacent
a
OggettoIntegro
Unit�DiMisura
è un'
istanza
di
UnitOfLength
l'
altezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s l'
altezza
di
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?place
UndergroundArea
)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?place
(
MeasureFn
?alt1 ?U))
(
surface
?ground
PlanetEarth
)
(
part
?area ?ground)
(
orientation
?place ?area
Below
)
(
earthAltitude
?area
(
MeasureFn
?alt2 ?U)))
(
greaterThan
?alt2 ?alt1))
Geography.kif 3999-4010
Oggetto
è un'
istanza
di
UndergroundArea
Unit�DiMisura
è un'
istanza
di
UnitOfLength
earthAltitude
Oggetto
and
NumeroReale
Unit�DiMisura
(s
OggettoIntegro
è una
superficie
di
PlanetEarth
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
è
Below
a
Oggetto
earthAltitude
Oggetto
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?valley
Valley
)
(
instance
?area
LandArea
)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?valley
(
MeasureFn
?height1 ?U))
(
earthAltitude
?area
(
MeasureFn
?height2 ?U))
(
orientation
?valley ?area
Adjacent
))
(
greaterThan
?height2 ?height1))
Geography.kif 4231-4241
Oggetto
è un'
istanza
di
Valley
Oggetto
è un'
istanza
di
SuperficieTerrestre
Unit�DiMisura
è un'
istanza
di
UnitOfLength
earthAltitude
Oggetto
and
NumeroReale
Unit�DiMisura
(s
earthAltitude
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Oggetto
è
Adjacent
a
Oggetto
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
greaterThan
(
SubtractionFn
?FAR ?LIMIT) 0.0))
(
not
(
located
?OBJ ?ZONE)))
Geography.kif 863-872
Oggetto
è
Outside
a
Regione
Oggetto
è un'
istanza
di
PerimeterAreaFn
Regione
Oggetto
è un'
istanza
di
UniformPerimeterArea
l'
ampiezza
di
Oggetto
è
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Oggetto
e
Regione
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
(
NumeroReale
+
NumeroReale
è
pi
ù grande di 0.0
Oggetto
è
localizzato
in
Oggetto
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
lessThanOrEqualTo
(
SubtractionFn
?FAR ?LIMIT) 0.0))
(
located
?OBJ ?ZONE))
Geography.kif 852-861
Oggetto
è
Outside
a
Regione
Oggetto
è un'
istanza
di
PerimeterAreaFn
Regione
Oggetto
è un'
istanza
di
UniformPerimeterArea
l'
ampiezza
di
Oggetto
è
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Oggetto
e
Regione
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
(
NumeroReale
+
NumeroReale
è
minore
o uguale a 0.0
Oggetto
è
localizzato
in
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
(
subclass
?T1C
Tissue
)
(
subclass
?T2C
Tissue
)
(
instance
?T1 ?T1C)
(
instance
?T2 ?T2C)
(
instance
?H
Human
)
(
part
?T1 ?H)
(
part
?T2 ?H)
(
not
(
equal
?T1C ?T2C))
(
not
(
subclass
?T1C ?T2C))
(
not
(
subclass
?T2C ?T1C))
(
orientation
?T1 ?T2
Adjacent
))
(
modalAttribute
(
exists
(?CT)
(
and
(
instance
?CT
ConnectiveTissue
)
(
between
?T1 ?CT ?T2)))
Likely
))
Merge.kif 15166-15187
Classe
è una
sottoclasse
di
Tessuto
Classe
è una
sottoclasse
di
Tessuto
Oggetto
è un'
istanza
di
Classe
Oggetto
è un'
istanza
di
Classe
Oggetto
è un'
istanza
di
Umano
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Classe
is
uguale
a
Classe
Classe
è una
sottoclasse
di
Classe
Classe
è una
sottoclasse
di
Classe
Oggetto
è
Adjacent
a
Oggetto
l'affermazione
Entit�
Entit�
è un'
istanza
di
ConnectiveTissue
Entit�
è
tra
Oggetto
e
Oggetto
ha il modello di forza di
Likely
(=>
(
and
(
viewType
?ROOM ?OBJ)
(
instance
?ROOM
Room
)
(
instance
?INST ?OBJ)
(
orientation
?INST ?ROOM
Outside
))
(
modalAttribute
(
exists
(?HUMAN ?SEE)
(
and
(
instance
?HUMAN
Human
)
(
located
?HUMAN ?ROOM)
(
instance
?SEE
Seeing
)
(
patient
?SEE ?INST)
(
agent
?SEE ?HUMAN)))
Possibility
))
Hotel.kif 954-967
viewType
Oggetto
and
Entit�Concreta
Oggetto
è un'
istanza
di
Stanza
Oggetto
è un'
istanza
di
Entit�Concreta
Oggetto
è
Outside
a
Oggetto
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è
localizzato
in
Oggetto
Entit�
è un'
istanza
di
Vista
Oggetto
è un
paziente
di
Entit�
Entit�
è un
agente
di
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
DayTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Object
)
(
color
?B
Black
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2728-2748
visibilityInMeteorology
Regione
,
IntervalloTemporale
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
IntervalloTemporale
è un'
istanza
di
DayTime
Processo
è un'
istanza
di
Looking
Oggetto
è un'
istanza
di
Oggetto
color
Oggetto
and
Black
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
AutonomousAgent
è
Horizontal
a
Oggetto
eventLocated
Processo
and
Regione
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Oggetto
è un'
istanza
di
Oggetto
NumeroReale
la
distanza
tra
AutonomousAgent
e
Oggetto
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
)
(
instance
?Time
NightTime
)
(
instance
?Observe
Looking
)
(
instance
?B
Region
)
(
attribute
?B
Illuminated
)
(
measure
?B
(
MeasureFn
1000.0
Candela
))
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
eventLocated
?Observe ?Area)
(
during
(
WhenFn
?Observe) ?Time)
(
instance
?B
Object
))
(
exists
(?D2)
(
and
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?Distance ?D2))))
Weather.kif 2750-2771
visibilityInMeteorology
Regione
,
IntervalloTemporale
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
IntervalloTemporale
è un'
istanza
di
NightTime
Processo
è un'
istanza
di
Looking
Oggetto
è un'
istanza
di
Regione
attribute
Oggetto
and
Illuminated
la
misura
Oggetto
è 1000.0
Candela
(s
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
AutonomousAgent
è
Horizontal
a
Oggetto
eventLocated
Processo
and
Regione
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Oggetto
è un'
istanza
di
Oggetto
NumeroReale
la
distanza
tra
AutonomousAgent
e
Oggetto
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
orientation
?O1 ?O2
Downstream
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O2)
(
beforeOnPath
?O2 ?O1 ?P ?T)
(
destination
?T ?O1))))
Mid-level-ontology.kif 29801-29810
Oggetto
è
Downstream
a
Oggetto
Trasferimento
Oggetto
and
Oggetto
Trasferimento
è un'
istanza
di
Trasferimento
attribute
Oggetto
and
Liquid
Oggetto
è
cammino
mentre
Trasferimento
si verifica
Trasferimento
si
originas in
Oggetto
beforeOnPath
Oggetto
,
Oggetto
,
Oggetto
and
Trasferimento
Trasferimento
fine
s in
Oggetto
(=>
(
orientation
?O1 ?O2
Downwind
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O2)
(
beforeOnPath
?O2 ?O1 ?P ?T)
(
destination
?T ?O1))))
Mid-level-ontology.kif 29823-29832
Oggetto
è
Downwind
a
Oggetto
Trasferimento
Oggetto
and
Oggetto
Trasferimento
è un'
istanza
di
Trasferimento
attribute
Oggetto
and
Liquid
Oggetto
è
cammino
mentre
Trasferimento
si verifica
Trasferimento
si
originas in
Oggetto
beforeOnPath
Oggetto
,
Oggetto
,
Oggetto
and
Trasferimento
Trasferimento
fine
s in
Oggetto
(=>
(
orientation
?O1 ?O2
Upstream
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O1)
(
beforeOnPath
?O1 ?O2 ?P ?T)
(
destination
?T ?O2))))
Mid-level-ontology.kif 29790-29799
Oggetto
è
Upstream
a
Oggetto
Trasferimento
Oggetto
and
Oggetto
Trasferimento
è un'
istanza
di
Trasferimento
attribute
Oggetto
and
Liquid
Oggetto
è
cammino
mentre
Trasferimento
si verifica
Trasferimento
si
originas in
Oggetto
beforeOnPath
Oggetto
,
Oggetto
,
Oggetto
and
Trasferimento
Trasferimento
fine
s in
Oggetto
(=>
(
orientation
?O1 ?O2
Upwind
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O1)
(
beforeOnPath
?O1 ?O2 ?P ?T)
(
destination
?T ?O2))))
Mid-level-ontology.kif 29812-29821
Oggetto
è
Upwind
a
Oggetto
Trasferimento
Oggetto
and
Oggetto
Trasferimento
è un'
istanza
di
Trasferimento
attribute
Oggetto
and
Liquid
Oggetto
è
cammino
mentre
Trasferimento
si verifica
Trasferimento
si
originas in
Oggetto
beforeOnPath
Oggetto
,
Oggetto
,
Oggetto
and
Trasferimento
Trasferimento
fine
s in
Oggetto
(=>
(
orientation
?OBJ ?REGION
Inside
)
(
instance
?REGION
Region
))
Mid-level-ontology.kif 9115-9117
Oggetto
è
Inside
a
Oggetto
Oggetto
è un'
istanza
di
Regione
(=>
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?REGION
Region
))
Mid-level-ontology.kif 9111-9113
Oggetto
è
Outside
a
Oggetto
Oggetto
è un'
istanza
di
Regione
(=>
(
orientation
?OBJ1 ?OBJ2
Above
)
(
not
(
connected
?OBJ1 ?OBJ2)))
Merge.kif 17079-17082
Oggetto
è
Above
a
Oggetto
Oggetto
è
connesso
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 19237-19248
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
Inside
)
(
located
?OBJ1 ?OBJ2))
Merge.kif 17154-17156
Oggetto
è
Inside
a
Oggetto
Oggetto
è
localizzato
in
Oggetto
(=>
(
orientation
?OBJ1 ?OBJ2
Near
)
(
not
(
connected
?OBJ1 ?OBJ2)))
Merge.kif 17132-17135
Oggetto
è
Near
a
Oggetto
Oggetto
è
connesso
a
Oggetto
(=>
(
orientation
?OBJ1 ?OBJ2
Near
)
(
orientation
?OBJ2 ?OBJ1
Near
))
Merge.kif 17137-17139
Oggetto
è
Near
a
Oggetto
Oggetto
è
Near
a
Oggetto
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