or
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5258-5265
Oggetto
is
uguale
a
OrganicObjectFn
Entit�Organica
Oggetto
è una
sottoclasse
di
Oggetto
Entit�Organica
è una
sottoclasse
di
Organismo
Entit�Organica
è una
sottoclasse
di
StrutturaAnatomica
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?F))
(
subclass
?S
Suet
)
(
subclass
?F
FatTissue
))
(
or
(
initialPart
?F
Cattle
)
(
initialPart
?F
Sheep
)))
Food.kif 2906-2914
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
Suet
Oggetto
è una
sottoclasse
di
TessutoGrasso
initialPart
Oggetto
and
Cattle
initialPart
Oggetto
and
Sheep
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CherryWood
)
(
subclass
?S
PlantStem
))
(
or
(
initialPart
?S
BlackCherryTree
)
(
initialPart
?S
SweetCherryTree
)))
Economy.kif 5326-5333
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
CherryWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
BlackCherryTree
initialPart
Oggetto
and
SweetCherryTree
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
functionRoomAmenity
HotelFunctionRoom
and
Entit�Concreta
Entit�
è un'
istanza
di
HotelFunctionRoom
%è un
elemento
di %2
Processo
è un'
istanza
di
Renting
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Entit�
Entit�Concreta
è una
sottoclasse
di
Oggetto
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un'
istanza
di
Processo
Entit�
è una
risorsa
per
Entit�
Entit�
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
Entit�
Entit�
esperisce
s
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
guest
Umano
and
AutonomousAgent
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
TemporaryResidence
è un'
istanza
di
TemporaryResidence
OOM
roomAmenity
TemporaryResidence
OOM and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Entit�Concreta
Entit�Concreta
è
localizzato
in
TemporaryResidence
AutonomousAgent
permette
a
Umano
di compiere il compito di tipo
Entit�
Entit�
è un
agente
di
Umano
Entit�Concreta
è uno
strumento
per
Entit�
Entit�Concreta
è un
paziente
di
Entit�
Entit�Concreta
è una
risorsa
per
Entit�
(=>
(
and
(
hasGUEState
?WIN1
GUE_UncoveredState
)
(
hasGUEState
?WIN1
GUE_MaximizedWindowState
)
(
screenOfGUIE
?WIN1 ?SCREEN)
(
instance
?WIN2
InterfaceWindow
)
(
screenOfGUIE
?WIN2 ?SCREEN)
(
not
(
equal
?WIN1 ?WIN2)))
(
or
(
hasGUEState
?WIN2
GUE_CoveredState
)
(
hasGUEState
?WIN2
GUE_PartiallyCoveredState
)
(
hasGUEState
?WIN2
GUE_OffscreenState
)))
ComputerInput.kif 2120-2131
hasGUEState
GUIElement
and
GUE_UncoveredState
hasGUEState
GUIElement
and
GUE_MaximizedWindowState
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
è un'
istanza
di
InterfaceWindow
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
is
uguale
a
GUIElement
hasGUEState
GUIElement
and
GUE_CoveredState
hasGUEState
GUIElement
and
GUE_PartiallyCoveredState
hasGUEState
GUIElement
and
GUE_OffscreenState
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9925-9931
Apertura
è un'
apertura
in
OggettoIntegro
OggettoIntegro
è una
parte
di
OggettoIntegro
apertura
si
sovrappones a
OggettoIntegro
apertura
è un'
apertura
in
OggettoIntegro
(=>
(
and
(
inList
?ITEM ?RESULTS)
(
instance
?RESULTS
SRPResults
))
(
or
(
instance
?ITEM
WebListing
)
(
instance
?ITEM
WebPage
)))
UXExperimentalTerms.kif 2483-2489
Entit�
è un
Lista
Lista
è un'
istanza
di
SRPResults
Entit�
è un'
istanza
di
WebListing
Entit�
è un'
istanza
di
WebPage
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
or
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 949-958
Processo
è un'
istanza
di
Anesthetizing
Entit�
è un
paziente
di
Processo
attribute
Entit�
and
Inconscio
attribute
Entit�
and
Pain
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?A
Animal
)
(
instance
?S
AnimalShell
)
(
part
?S ?A))
(
or
(
instance
?A
Invertebrate
)
(
instance
?A
Reptile
)))
Mid-level-ontology.kif 11530-11537
Oggetto
è un'
istanza
di
Animale
Oggetto
è un'
istanza
di
AnimalShell
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Invertebrato
Oggetto
è un'
istanza
di
Rettile
(=>
(
and
(
instance
?ACCELERATE
Accelerating
)
(
agent
?ACCELERATE ?AGENT))
(
exists
(?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH1 ?U1)
(
MeasureFn
?TIME1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH2 ?U1)
(
MeasureFn
?TIME2 ?U2))))
(
or
(
greaterThan
?LENGTH2 ?LENGTH1)
(
greaterThan
?TIME2 ?TIME1)))))
Mid-level-ontology.kif 17142-17163
Processo
è un'
istanza
di
Accelerating
Processo
è un
agente
di
AutonomousAgent
NumeroReale
NumeroReale
,
NumeroReale
,
NumeroReale
,
Entit�
and
Entit�
la
misura
AutonomousAgent
è
NumeroReale
Entit�
(s
per
NumeroReale
Entit�
(s vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
la
misura
AutonomousAgent
è
NumeroReale
Entit�
(s
per
NumeroReale
Entit�
(s vales
durante
la
fine
di il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?ACT
Ingesting
)
(
resource
?ACT ?F))
(
or
(
instance
?F
(
FoodForFn
Organism
))
(
instance
?F
Medicine
)))
Merge.kif 10274-10280
Processo
è un'
istanza
di
Ingestione
Oggetto
è una
risorsa
per
Processo
Oggetto
è un'
istanza
di
FoodForFn
Organismo
Oggetto
è un'
istanza
di
Medicine
(=>
(
and
(
instance
?ACT
OrganizationalProcess
)
(
agent
?ACT ?AGENT))
(
or
(
instance
?AGENT
Organization
)
(
exists
(?ORG)
(
and
(
instance
?ORG
Organization
)
(
member
?AGENT ?ORG)))))
Merge.kif 10562-10571
Processo
è un'
istanza
di
ProcessoOrganizzativo
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Organizzazione
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
Organizzazione
AutonomousAgent
è un
membro
di
InsiemeConcreto
(=>
(
and
(
instance
?ACT
ReligiousProcess
)
(
agent
?ACT ?AGENT))
(
or
(
instance
?AGENT
ReligiousOrganization
)
(
exists
(?ORG)
(
and
(
member
?AGENT ?ORG)
(
instance
?ORG
ReligiousOrganization
)))))
Merge.kif 10584-10593
Processo
è un'
istanza
di
ProcessoReligioso
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
OrganizzazioneReligiosa
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
OrganizzazioneReligiosa
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
subclass
(
ElectionFn
?AGENT)
Election
))
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 1692-1698
AutonomousAgent
è un'
istanza
di
AutonomousAgent
ElectionFn
AutonomousAgent
è una
sottoclasse
di
Election
AutonomousAgent
è un'
istanza
di
Organizzazione
AutonomousAgent
è un'
istanza
di
AreaGeopolitica
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
LongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 2438)
(
lessThanOrEqualTo
?LENGTH 3047)))))
Transportation.kif 1445-1457
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
LongRunwayAirport
Oggetto
NumeroReale
Oggetto
è un'
istanza
di
Runway
Oggetto
è una
parte
di
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 2438
NumeroReale
è
minore
o uguale a 3047
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
MediumLengthRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 1524)
(
lessThanOrEqualTo
?LENGTH 2437)))))
Transportation.kif 1426-1438
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
MediumLengthRunwayAirport
Oggetto
NumeroReale
Oggetto
è un'
istanza
di
Runway
Oggetto
è una
parte
di
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 1524
NumeroReale
è
minore
o uguale a 2437
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
ShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 914)
(
lessThanOrEqualTo
?LENGTH 1523)))))
Transportation.kif 1407-1419
Oggetto
è un'
istanza
di
Airport
attribute
Oggetto
and
ShortRunwayAirport
Oggetto
NumeroReale
Oggetto
è un'
istanza
di
Runway
Oggetto
è una
parte
di
Oggetto
la
lunghezza
di
Oggetto
è
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 914
NumeroReale
è
minore
o uguale a 1523
(=>
(
and
(
instance
?ALT
ShapeChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PROPERTY)
(
and
(
instance
?PROPERTY
ShapeAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?OBJ ?PROPERTY)))))))
Merge.kif 12678-12691
Processo
è un'
istanza
di
CambiamentoDiForma
Entit�
è un
paziente
di
Processo
Entit�
Entit�
è un'
istanza
di
AttributoDiForma
attribute
Entit�
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?ALT
SurfaceChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PART ?PROPERTY)
(
and
(
superficialPart
?PART ?OBJ)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12638-12651
Processo
è un'
istanza
di
CambiamentoDiSuperficie
Oggetto
è un
paziente
di
Processo
Oggetto
Entit�
Oggetto
è una
parte
superficiale di
Oggetto
attribute
Oggetto
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?ATTR
MusicGenre
)
(
attribute
?A ?ATTR))
(
or
(
instance
?A
MakingMusic
)
(
instance
?A
MusicRecording
)))
Music.kif 511-517
Attributo
è un'
istanza
di
MusicGenre
attribute
Oggetto
and
Attributo
Oggetto
è un'
istanza
di
MakingMusic
Oggetto
è un'
istanza
di
MusicRecording
(=>
(
and
(
instance
?Account
CheckingAccount
)
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account)))
(
or
(
exists
(?Check)
(
and
(
instance
?Check
Check
)
(
instrument
?Transaction ?Check)))
(
exists
(?DebitCard)
(
and
(
instance
?DebitCard
DebitCard
)
(
instrument
?Transaction ?DebitCard)))))
FinancialOntology.kif 1129-1142
FinancialAccount
è un'
istanza
di
CheckingAccount
Processo
è un'
istanza
di
ScambioFinanziario
Processo
si
originas in
CurrencyFn
FinancialAccount
Oggetto
Oggetto
è un'
istanza
di
Check
Oggetto
è uno
strumento
per
Processo
Oggetto
Oggetto
è un'
istanza
di
DebitCard
Oggetto
è uno
strumento
per
Processo
(=>
(
and
(
instance
?B
Bleeding
)
(
experiencer
?B ?H))
(
exists
(?VA ?D)
(
and
(
or
(
instance
?VA
Vein
)
(
instance
?VA
Artery
))
(
part
?VA ?H)
(
instance
?D
Damaging
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
patient
?D ?VA))))
Medicine.kif 80-94
Processo
è un'
istanza
di
Bleeding
AutonomousAgent
esperisce
s
Processo
Oggetto
Processo
Oggetto
è un'
istanza
di
Vein
Oggetto
è un'
istanza
di
Artery
Oggetto
è una
parte
di
AutonomousAgent
Processo
è un'
istanza
di
Danneggiare
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
Oggetto
è un
paziente
di
Processo
(=>
(
and
(
instance
?C
Choking
)
(
experiencer
?C ?H))
(
exists
(?O ?T ?L)
(
and
(
instance
?O
Object
)
(
instance
?T
Trachea
)
(
instance
?L
Lung
)
(
part
?T ?H)
(
part
?L ?H)
(
holdsDuring
(
WhenFn
?C)
(
or
(
located
?O ?T)
(
located
?O ?L))))))
Mid-level-ontology.kif 11753-11768
Processo
è un'
istanza
di
Choking
AutonomousAgent
esperisce
s
Processo
Entit�
Oggetto
and
Oggetto
Entit�
è un'
istanza
di
Oggetto
Oggetto
è un'
istanza
di
Trachea
Oggetto
è un'
istanza
di
Lung
Oggetto
è una
parte
di
AutonomousAgent
Oggetto
è una
parte
di
AutonomousAgent
Entit�
è
localizzato
in
Oggetto
Entit�
è
localizzato
in
Oggetto
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?C
Coughing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?L ?O ?T)
(
and
(
instance
?L
Lung
)
(
instance
?T
Throat
)
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?L ?H)
(
part
?T ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
or
(
located
?O ?T)
(
located
?O ?L)))))))
Mid-level-ontology.kif 6055-6074
Processo
è un'
istanza
di
Coughing
AutonomousAgent
esperisce
s
Processo
Processo
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Lung
Entit�
è un'
istanza
di
Throat
Entit�
è un'
istanza
di
Oggetto
Entit�
è un'
istanza
di
Spostamento
Entit�
è una
parte
di
AutonomousAgent
Entit�
è una
parte
di
AutonomousAgent
objectTransferred
Entit�
and
Entit�
Entit�
è
localizzato
in
Entit�
Entit�
è
localizzato
in
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