=>
(=>
(
and
(
attribute
?X ?M)
(
instance
?M
Musician
))
(
hasSkill
MusicalPerformance
?X))
Mid-level-ontology.kif 22192-22196
attribute
AutonomousAgent
and
Attributo
Attributo
è un'
istanza
di
Musician
AutonomousAgent
ha &n
la
capacità di fare
MusicalPerformance
(=>
(
and
(
attribute
?X ?SHAPE)
(
instance
?X
FourPosterBed
)
(
instance
?SHAPE
Quadrilateral
)
(
sideOfFigure
?SIDE1 ?SHAPE)
(
sideOfFigure
?SIDE2 ?SHAPE)
(
not
(
equal
?SIDE1 ?SIDE2)))
(
exists
(?POST ?FLOOR ?CORNER1 ?CORNER)
(
and
(
part
?POST ?X)
(
instance
?FLOOR
Floor
)
(
orientation
?X ?FLOOR
On
)
(
orientation
?POST ?FLOOR
Vertical
)
(
pointOfIntersection
?SIDE1 ?SIDE2 ?CORNER1)
(
attribute
?CORNER ?CORNER1)
(
meetsSpatially
?CORNER ?POST))))
Mid-level-ontology.kif 4078-4095
attribute
Oggetto
and
GeometricFigure
Oggetto
è un'
istanza
di
FourPosterBed
GeometricFigure
è un'
istanza
di
Quadrilateral
sideOfFigure
OneDimensionalFigure
and
GeometricFigure
sideOfFigure
OneDimensionalFigure
and
GeometricFigure
OneDimensionalFigure
is
uguale
a
OneDimensionalFigure
Oggetto
Oggetto
,
GeometricPoint
and
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Floor
Oggetto
è
On
a
Oggetto
Oggetto
è
Vertical
a
Oggetto
pointOfIntersection
OneDimensionalFigure
,
OneDimensionalFigure
and
GeometricPoint
attribute
Oggetto
and
GeometricPoint
Oggetto
incontra
s
Oggetto
(=>
(
and
(
attribute
?X ?Y)
(
instance
?Y
Cuisine
))
(
instance
?X
PreparedFood
))
Dining.kif 1262-1266
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
Cuisine
Oggetto
è un'
istanza
di
PreparedFood
(=>
(
and
(
attribute
?X ?Y)
(
instance
?Y
HotelLevelAttribute
))
(
and
(
instance
?X
BuildingLevel
)
(
exists
(?BLDG)
(
and
(
instance
?BLDG
HotelBuilding
)
(
part
?X ?BLDG)))))
Hotel.kif 1207-1216
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
HotelLevelAttribute
Oggetto
è un'
istanza
di
BuildingLevel
Oggetto
Oggetto
è un'
istanza
di
HotelBuilding
Oggetto
è una
parte
di
Oggetto
(=>
(
and
(
attribute
?X ?Y)
(
instance
?Y
HotelRoomAttribute
))
(
instance
?X
HotelUnit
))
Hotel.kif 978-982
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
HotelRoomAttribute
Oggetto
è un'
istanza
di
HotelUnit
(=>
(
and
(
attribute
?X ?Y)
(
instance
?Y
TemperatureAttribute
)
(
instance
?X
Object
))
(
exists
(?TEMP)
(
and
(
measure
?X ?TEMP)
(
instance
?TEMP
TemperatureMeasure
)
(
attribute
?TEMP ?Y))))
Mid-level-ontology.kif 25675-25684
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
TemperatureAttribute
Oggetto
è un'
istanza
di
Oggetto
Oggetto
la
misura
Oggetto
è
Oggetto
Oggetto
è un'
istanza
di
MisuraDiTemperatura
attribute
Oggetto
and
Attributo
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
attribute
Oggetto
and
CommunalAttribute
Oggetto
è un'
istanza
di
Table
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
GroupOfPeople
eventLocated
Processo
and
Oggetto
l'affermazione
Entit�
Entit�
and
Oggetto
2
Entit�
è un'
istanza
di
Mangiare
Entit�
è un
agente
di
Entit�
AutonomousAgent
is
uguale
a
Entit�
Entit�
è un'
istanza
di
GroupOfPeople
eventLocated
Entit�
and
Oggetto
2 il
tempo
di esistenza di
Processo
incontra
s il
tempo
di esistenza di
Entit�
Oggetto
is
uguale
a
Oggetto
2 ha il modello di forza di
Possibility
(=>
(
and
(
attribute
?X
DeepSeaCoastalAndGreatLakesWaterTransportation
)
(
instance
?X
TransportationCompany
))
(
exists
(?SERVICE ?PLACE)
(
and
(
instance
?SERVICE
WaterTransportationService
)
(
serviceProvider
?SERVICE ?X)
(
eventLocated
?SERVICE ?PLACE)
(
instance
?PLACE
WaterArea
)
(
located
?X
NorthAmerica
))))
naics.kif 8120-8130
attribute
AgenteCognitivo
and
DeepSeaCoastalAndGreatLakesWaterTransportation
AgenteCognitivo
è un'
istanza
di
TransportationCompany
ServiceProcess
Oggetto
ServiceProcess
è un'
istanza
di
WaterTransportationService
serviceProvider
ServiceProcess
and
AgenteCognitivo
eventLocated
ServiceProcess
and
Oggetto
Oggetto
è un'
istanza
di
SuperficieAcquatica
AgenteCognitivo
è
localizzato
in
NorthAmerica
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Product
))
(
not
(
exists
(?DUTY)
(
and
(
instance
?DUTY
DutyTax
)
(
patient
?DUTY ?X)))))
Hotel.kif 1466-1474
attribute
Oggetto
and
DutyFree
Oggetto
è un'
istanza
di
Prodotto
Processo
Processo
è un'
istanza
di
DutyTax
Oggetto
è un
paziente
di
Processo
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Store
))
(
exists
(?AREA ?OBJ ?O ?SELL)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
located
?X ?AREA)
(
subclass
?O
Object
)
(
importCommodityType
?AREA ?O)
(
instance
?OBJ ?O)
(
instance
?SELL
Selling
)
(
patient
?SELL ?OBJ)
(
located
?SELL ?X))))
Hotel.kif 1478-1491
attribute
Oggetto
and
DutyFree
Oggetto
è un'
istanza
di
Store
AreaGeopolitica
Entit�
,
Oggetto
and
Processo
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
Oggetto
è
localizzato
in
AreaGeopolitica
Oggetto
è una
sottoclasse
di
Oggetto
importCommodityType
AreaGeopolitica
and
Oggetto
Entit�
è un'
istanza
di
Oggetto
Processo
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Processo
Processo
è
localizzato
in
Oggetto
(=>
(
and
(
attribute
?X
Historical
)
(
instance
?X
City
))
(
exists
(?EV)
(
and
(
instance
?EV
Physical
)
(
attribute
?EV
Historical
)
(
eventLocated
?EV ?X))))
Mid-level-ontology.kif 26582-26590
attribute
Oggetto
and
Historical
Oggetto
è un'
istanza
di
Citt�
Oggetto
Oggetto
è un'
istanza
di
Entit�Concreta
attribute
Oggetto
and
Historical
eventLocated
Oggetto
and
Oggetto
(=>
(
and
(
attribute
?X
Multilingual
)
(
instance
?SPEAK
Speaking
)
(
agent
?SPEAK ?X))
(
modalAttribute
(
exists
(?LANG1 ?LANG2)
(
and
(
instance
?LANG1
SpokenHumanLanguage
)
(
instance
?LANG2
SpokenHumanLanguage
)
(
not
(
equal
?LANG1 ?LANG2))
(
or
(
patient
?SPEAK ?LANG1)
(
patient
?SPEAK ?LANG2))))
Possibility
))
Mid-level-ontology.kif 25736-25749
attribute
AutonomousAgent
and
Multilingual
Processo
è un'
istanza
di
Speaking
Processo
è un
agente
di
AutonomousAgent
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
SpokenHumanLanguage
Entit�
è un'
istanza
di
SpokenHumanLanguage
Entit�
is
uguale
a
Entit�
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
ha il modello di forza di
Possibility
(=>
(
and
(
attribute
?X
Produce
)
(
instance
?X
FruitOrVegetable
))
(
hasPurpose
?X
(
exists
(?H)
(
and
(
instance
?H
Harvesting
)
(
result
?H ?X)
(
instance
?X
(
FoodForFn
Human
))))))
Economy.kif 4195-4204
attribute
Oggetto
and
Produce
Oggetto
è un'
istanza
di
FruttaOVerdura
Oggetto
ha
scopo
Entit�
Entit�
è un'
istanza
di
Harvesting
Oggetto
è un
risultato
di
Entit�
Oggetto
è un'
istanza
di
FoodForFn
Umano
(=>
(
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
(
attribute
?X
TravelerAccommodation
)
(
capability
RoomCleaningService
agent
?X))
(
exists
(?MAID ?HOTELROOM)
(
and
(
employs
?X ?MAID)
(
attribute
?MAID
Maid
)
(
instance
?HOTELROOM
HotelUnit
)
(
part
?HOTELROOM
(
PropertyFn
?X))
(
capability
RoomCleaningService
patient
?HOTELROOM)
(
capability
RoomCleaningService
serviceProvider
?MAID))))
Hotel.kif 1935-1946
attribute
AutonomousAgent
and
TravelerAccommodation
AutonomousAgent
è
capace
di fare
RoomCleaningService
nel ruolo
agent
AgenteCognitivo
Oggetto
AutonomousAgent
impiega
s
AgenteCognitivo
attribute
AgenteCognitivo
and
Maid
Oggetto
è un'
istanza
di
HotelUnit
Oggetto
è una
parte
di
appartenenze
di
AutonomousAgent
Oggetto
è
capace
di fare
RoomCleaningService
nel ruolo
patient
AgenteCognitivo
è
capace
di fare
RoomCleaningService
nel ruolo
serviceProvider
(=>
(
and
(
attribute
?X
TravelerAccommodation
)
(
element
?CASINO
(
PropertyFn
?X))
(
instance
?CASINO
Casino
))
(
attribute
?X
CasinoHotels
))
Hotel.kif 1452-1457
attribute
AutonomousAgent
and
TravelerAccommodation
%è un
elemento
di %2
Entit�
è un'
istanza
di
Casino
attribute
AutonomousAgent
and
CasinoHotels
(=>
(
and
(
attribute
?X
Waiter
)
(
instance
?X
Human
)
(
employs
?REST ?X)
(
instance
?REST
Restaurant
)
(
customer
?CUST ?REST)
(
located
?CUST ?TABLE)
(
instance
?TABLE
Table
))
(
exists
(?DINING ?C ?FOOD ?KITCHEN)
(
and
(
possesses
?REST ?KITCHEN)
(
instance
?KITCHEN
KitchenArea
)
(
instance
?DINING
DiningArea
)
(
located
?TABLE ?DINING)
(
hasPurpose
?X
(
and
(
instance
?C
Carrying
)
(
agent
?C ?X)
(
origin
?C ?KITCHEN)
(
destination
?C ?TABLE)
(
patient
?C ?FOOD)
(
instance
?FOOD
(
FoodForFn
Human
)))))))
Mid-level-ontology.kif 20600-20622
attribute
AgenteCognitivo
and
Waiter
AgenteCognitivo
è un'
istanza
di
Umano
AutonomousAgent
impiega
s
AgenteCognitivo
AutonomousAgent
è un'
istanza
di
Restaurant
customer
AgenteCognitivo
and
AutonomousAgent
AgenteCognitivo
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Table
Oggetto
Entit�
,
Entit�
and
Oggetto
AutonomousAgent
possiede
es
Oggetto
Oggetto
è un'
istanza
di
KitchenArea
Oggetto
è un'
istanza
di
DiningArea
Oggetto
è
localizzato
in
Oggetto
AgenteCognitivo
ha
scopo
Entit�
è un'
istanza
di
Carrying
Entit�
è un
agente
di
AgenteCognitivo
Entit�
si
originas in
Oggetto
Entit�
fine
s in
Oggetto
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
FoodForFn
Umano
(=>
(
and
(
attribute
?X
WheelchairAccessible
)
(
or
(
instance
?X
Building
)
(
instance
?X
Room
)))
(
modalAttribute
(
exists
(?MOTION ?WHEELCHAIR)
(
and
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?WHEELCHAIR)
(
instance
?WHEELCHAIR
Wheelchair
)
(
eventLocated
?MOTION ?X)))
Possibility
))
Mid-level-ontology.kif 26147-26159
attribute
Oggetto
and
WheelchairAccessible
Oggetto
è un'
istanza
di
Costruzione
Oggetto
è un'
istanza
di
Stanza
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Movimento
Entit�
è uno
strumento
per
Entit�
Entit�
è un'
istanza
di
Wheelchair
eventLocated
Entit�
and
Oggetto
ha il modello di forza di
Possibility
(=>
(
and
(
attribute
?X
Writer
)
(
instance
?TEXT ?CLASS)
(
or
(
subclass
?CLASS
Text
)
(
subclass
?CLASS
Document
))
(
instance
?WRITE
Writing
)
(
agent
?WRITE ?X)
(
result
?WRITE ?TEXT))
(
authors
?X ?CLASS))
Biography.kif 730-740
attribute
AutonomousAgent
and
Writer
Entit�
è un'
istanza
di
OggettoSemiotico
OggettoSemiotico
è una
sottoclasse
di
Testo
OggettoSemiotico
è una
sottoclasse
di
Document
Processo
è un'
istanza
di
Scrivere
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
risultato
di
Processo
AutonomousAgent
è l'
autore
di
OggettoSemiotico
(=>
(
and
(
before
(
BeginFn
?INTERVAL2)
(
BeginFn
?INTERVAL1))
(
equal
(
EndFn
?INTERVAL2)
(
EndFn
?INTERVAL1)))
(
finishes
?INTERVAL1 ?INTERVAL2))
Merge.kif 8108-8116
L'
inizio
di
IntervalloTemporale
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
la
fine
di
IntervalloTemporale
is
uguale
a la
fine
di
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
(=>
(
and
(
before
?POINT1 ?POINT2)
(
before
?POINT2 ?POINT3))
(
temporallyBetween
?POINT1 ?POINT2 ?POINT3))
Merge.kif 8198-8202
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
PuntoTemporale
is
tra
PuntoTemporale
e
PuntoTemporale
(=>
(
and
(
beforeOrEqual
?POINT1 ?POINT2)
(
beforeOrEqual
?POINT2 ?POINT3))
(
temporallyBetweenOrEqual
?POINT1 ?POINT2 ?POINT3))
Merge.kif 8222-8226
PuntoTemporale
succede
%{s} prima di o con
PuntoTemporale
PuntoTemporale
succede
%{s} prima di o con
PuntoTemporale
PuntoTemporale
è
tra
o in
PuntoTemporale
e
PuntoTemporale
(=>
(
and
(
betweenOnPath
?O1 ?O2 ?O3 ?PATH)
(
instance
?T
Transfer
)
(
path
?T ?PATH)
(
origin
?T ?O1)
(
destination
?T ?O3))
(
and
(
beforeOnPath
?O1 ?O2 ?PATH ?T)
(
beforeOnPath
?O2 ?O3 ?PATH ?T)))
Mid-level-ontology.kif 29767-29776
betweenOnPath
Oggetto
,
Oggetto
,
Oggetto
and
Oggetto
Trasferimento
è un'
istanza
di
Trasferimento
Oggetto
è
cammino
mentre
Trasferimento
si verifica
Trasferimento
si
originas in
Oggetto
Trasferimento
fine
s in
Oggetto
beforeOnPath
Oggetto
,
Oggetto
,
Oggetto
and
Trasferimento
beforeOnPath
Oggetto
,
Oggetto
,
Oggetto
and
Trasferimento
(=>
(
and
(
biochemicalAgentDelivery
?AGENT ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
biochemicalAgentDelivery
?AGENT ?SUB))
WMD.kif 789-793
biochemicalAgentDelivery
BiochemicalAgent
and
Processo
Processo
è una
sottoclasse
di
Processo
biochemicalAgentDelivery
BiochemicalAgent
and
Processo
(=>
(
and
(
biochemicalAgentSyndrome
?AGENT ?SYNDROME)
(
diseaseSymptom
?SYNDROME ?SYMPTOM))
(
biochemicalAgentSyndrome
?AGENT ?SYMPTOM))
WMD.kif 775-779
biochemicalAgentSyndrome
BiochemicalAgent
and
MalattiaOSindrome
diseaseSymptom
MalattiaOSindrome
and
MalattiaOSindrome
biochemicalAgentSyndrome
BiochemicalAgent
and
MalattiaOSindrome
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