subclass
(=>
(
and
(
instance
?MENU
SetMenu
)
(
offers
?AGENT ?MENU)
(
catalogItem
?CLASS ?MENU)
(
subclass
?CLASS
PreparedFood
)
(
instance
?X ?VLASS)
(
instance
?Y ?CLASS)
(
not
(
equal
?X ?Y))
(
price
?X ?PRICE1 ?AGENT1)
(
price
?Y ?PRICE2 ?AGENT2))
(
equal
?PRICE1 ?PRICE2))
Dining.kif 189-201
Catalog
è un'
istanza
di
SetMenu
offers
AutonomousAgent
and
Catalog
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
PreparedFood
Entit�Concreta
è un'
istanza
di
Classe
Entit�Concreta
è un'
istanza
di
Entit�
Entit�Concreta
is
uguale
a
Entit�Concreta
price
Entit�Concreta
,
MisuraMonetaria
and
AutonomousAgent
price
Entit�Concreta
,
MisuraMonetaria
and
AutonomousAgent
MisuraMonetaria
is
uguale
a
MisuraMonetaria
(=>
(
and
(
instance
?NUCLEUS ?CLASS)
(
subclass
?CLASS
CellNucleus
)
(
initialPart
?CLASS
EukaryoticCell
))
(
exists
(?CHROMOTIN)
(
and
(
instance
?CHROMOTIN
Chromotin
)
(
part
?CHROMOTIN ?NUCLEUS))))
VirusProteinAndCellPart.kif 599-607
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è una
sottoclasse
di
CellNucleus
initialPart
Oggetto
and
EukaryoticCell
Oggetto
Oggetto
è un'
istanza
di
Chromotin
Oggetto
è una
parte
di
Oggetto
(=>
(
and
(
instance
?PLACE
AutonomousAgent
)
(
subclass
?YEAR
Year
))
(
instance
(
FiscalYearStartingFn
?PLACE ?YEAR)
(
FiscalYearFn
?PLACE)))
Economy.kif 3738-3742
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Anno
è una
sottoclasse
di
Anno
FiscalYearStartingFn
AutonomousAgent
and
Anno
è un'
istanza
di
FiscalYearFn
AutonomousAgent
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
_CLASS
IntervalloTemporale
_CLASS è una
sottoclasse
di
Processo
AccessingWebPage
è un'
istanza
di
AccessingWebPage
AutonomousAgent
è un'
istanza
di
AutonomousAgent
IntervalloTemporale
è un
agente
di
AutonomousAgent
AccessingWebPage
è un
agente
di
AutonomousAgent
IntervalloTemporale
has luogo
durante
AccessingWebPage
Entit�Concreta
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
2
IntervalloTemporale
2 è un'
istanza
di
IntervalloTemporale
_CLASS
IntervalloTemporale
2 è un
agente
di
AutonomousAgent
IntervalloTemporale
2 has luogo
durante
AccessingWebPage
l'
inizio
di il
tempo
di esistenza di
IntervalloTemporale
2 succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
IntervalloTemporale
l'
inizio
di il
tempo
di esistenza di
AccessingWebPage
is
uguale
a l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
l'
inizio
di il
tempo
di esistenza di
IntervalloTemporale
is
uguale
a la
fine
di il
tempo
di esistenza di
Entit�Concreta
TTFxFn
IntervalloTemporale
_CLASS and
AccessingWebPage
is
uguale
a
Entit�Concreta
(=>
(
and
(
instance
?R
RecreationOrExercise
)
(
instrument
?R ?RM)
(
instance
?RM
RowingMachine
)
(
experiencer
?R ?H)
(
instance
?ROW
Rowing
)
(
subProcess
?RMOT ?R)
(
subclass
?C
BodyMotion
)
(
instance
?RMOT ?C))
(
exists
(?ROWMOT)
(
and
(
instance
?ROWMOT ?C)
(
subProcess
?ROWMOT ?R)
(
agent
?ROWMOT ?H))))
Mid-level-ontology.kif 8242-8256
Processo
è un'
istanza
di
PassatempoOEsercizio
Processo
M è uno
strumento
per
Processo
Processo
M è un'
istanza
di
RowingMachine
AutonomousAgent
esperisce
s
Processo
Processo
OW è un'
istanza
di
Rowing
Processo
MOT è un
sottoprocesso
di
Processo
Classe
è una
sottoclasse
di
MovimentoCorporeo
Processo
MOT è un'
istanza
di
Classe
Processo
OWMOT
Processo
OWMOT è un'
istanza
di
Classe
Processo
OWMOT è un
sottoprocesso
di
Processo
Processo
OWMOT è un
agente
di
AutonomousAgent
(=>
(
and
(
instance
?REL
SheddingPart
)
(?REL ?O ?P)
(
instance
?O ?ORG)
(
subclass
?ORG
Organism
))
(
exists
(?PART)
(
and
(
instance
?P
(
DeadFn
?PART))
(
initialPart
?PART ?ORG))))
Geography.kif 6425-6434
Entit�
è un'
istanza
di
SheddingPart
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Entit�
RG
Entit�
RG è una
sottoclasse
di
Organismo
Entit�
ART
Entit�
è un'
istanza
di
DeadFn
Entit�
ART
initialPart
Entit�
ART and
Entit�
RG
(=>
(
and
(
instance
?REM
OrganismRemains
)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?ORG)
(
instance
?ORG ?ORGTYPE)
(
subclass
?ORGTYPE
OrganicObject
)
(
result
?DEATH ?REM))
(
instance
?REM
(
DeadFn
?ORGTYPE)))
Mid-level-ontology.kif 129-137
Entit�
è un'
istanza
di
OrganismRemains
Processo
è un'
istanza
di
Morte
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
è un'
istanza
di
AutonomousAgent
TYPE
AutonomousAgent
TYPE è una
sottoclasse
di
Entit�Organica
Entit�
è un
risultato
di
Processo
Entit�
è un'
istanza
di
DeadFn
AutonomousAgent
TYPE
(=>
(
and
(
instance
?ROLE
CaseRole
)
(?ROLE ?ARG1 ?ARG2)
(
instance
?ARG1 ?PROC)
(
subclass
?PROC
Process
))
(
capability
?PROC ?ROLE ?ARG2))
Merge.kif 3910-3916
RuoloSemantico
è un'
istanza
di
RuoloSemantico
RuoloSemantico
Entit�
and
Oggetto
Entit�
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Processo
Oggetto
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
(=>
(
and
(
instance
?S ?C)
(
subclass
?C
Seafood
))
(
exists
(?X ?SEA ?ANIMAL)
(
and
(
meatOfAnimal
?C ?ANIMAL)
(
instance
?X ?ANIMAL)
(
instance
?SEA
BodyOfWater
)
(
inhabits
?X ?SEA))))
Food.kif 1928-1937
Entit�
è un'
istanza
di
Carne
Carne
è una
sottoclasse
di
Seafood
Organismo
Entit�
EA and
Animale
meatOfAnimal
Carne
and
Animale
Organismo
è un'
istanza
di
Animale
Entit�
EA è un'
istanza
di
BodyOfWater
Organismo
abita
s in
Entit�
EA
(=>
(
and
(
instance
?SEAT
AuditoriumSeat
)
(
part
?SEAT ?AUDITORIUM)
(
part
?STAGE ?AUDITORIUM)
(
instance
?AUDITORIUM
Auditorium
)
(
instance
?STAGE
PerformanceStage
)
(
located
?PERSON ?SEAT)
(
instance
?PERSON
Human
)
(
subclass
?SEE
Seeing
)
(
forall
(?INST)
(=>
(
instance
?INST ?SEE)
(
patient
?INST ?STAGE))))
(
capability
?SEE
agent
?PERSON))
Mid-level-ontology.kif 7350-7364
Oggetto
è un'
istanza
di
AuditoriumSeat
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Auditorium
Oggetto
è un'
istanza
di
PerformanceStage
Oggetto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Umano
Processo
è una
sottoclasse
di
Vista
Processo
Processo
è un'
istanza
di
Processo
Oggetto
è un
paziente
di
Processo
Oggetto
è
capace
di fare
Processo
nel ruolo
agent
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FactualText
)
(
authors
?AGENT ?CLASS)
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
))
(
believes
?AGENT ?CONTENT))
Merge.kif 15422-15429
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
OggettoSemiotico
è una
sottoclasse
di
FactualText
AgenteCognitivo
è l'
autore
di
OggettoSemiotico
ContentBearingPhysical
sussume
il contenuto di
Formula
Formula
è un'
istanza
di
Formula
AgenteCognitivo
crede
s
Formula
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FictionalText
)
(
authors
?AGENT ?CLASS))
(
exists
(?CONTENT)
(
and
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
)
(
not
(
believes
?AGENT ?CONTENT)))))
Merge.kif 15453-15462
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
OggettoSemiotico
è una
sottoclasse
di
FictionalText
AgenteCognitivo
è l'
autore
di
OggettoSemiotico
Formula
ContentBearingPhysical
sussume
il contenuto di
Formula
Formula
è un'
istanza
di
Formula
AgenteCognitivo
non
crede
Formula
(=>
(
and
(
instance
?WATER
River
)
(
trafficableForTrafficType
?WATER ?TYPE)
(
subclass
?TYPE
WaterVehicle
))
(
instance
?WATER
Waterway
))
Transportation.kif 1683-1688
Oggetto
è un'
istanza
di
River
trafficableForTrafficType
Oggetto
and
OggettoIntegro
OggettoIntegro
è una
sottoclasse
di
WaterVehicle
Oggetto
è un'
istanza
di
Waterway
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
29.92 ?PRES)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?BOIL))
(
attribute
?X
Gas
))
Merge.kif 13820-13829
Oggetto
è un'
istanza
di
SostanzaPura
SostanzaPura
è una
sottoclasse
di
SostanzaPura
barometricPressure
Oggetto
and
NumeroReale
InchMercury
(s 29.92 è
pi
ù grande di
NumeroReale
boilingPoint
SostanzaPura
and
NumeroReale
KelvinDegree
(s la
misura
Oggetto
è
NumeroReale
KelvinDegree
(s
NumeroReale
è
pi
ù grande di
NumeroReale
attribute
Oggetto
and
Gas
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?MELT)
(
lessThan
?TEMP ?BOIL))
(
attribute
?X
Liquid
))
Merge.kif 13831-13840
Oggetto
è un'
istanza
di
SostanzaPura
SostanzaPura
è una
sottoclasse
di
SostanzaPura
boilingPoint
SostanzaPura
and
NumeroReale
KelvinDegree
(s
meltingPoint
SostanzaPura
and
NumeroReale
KelvinDegree
(s la
misura
Oggetto
è
NumeroReale
KelvinDegree
(s
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
meno
di
NumeroReale
attribute
Oggetto
and
Liquid
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
?PRES 29.92)
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
lessThan
?TEMP ?MELT))
(
attribute
?X
Solid
))
Merge.kif 13842-13851
Oggetto
è un'
istanza
di
SostanzaPura
SostanzaPura
è una
sottoclasse
di
SostanzaPura
meltingPoint
SostanzaPura
and
NumeroReale
KelvinDegree
(s
barometricPressure
Oggetto
and
NumeroReale
InchMercury
(s
NumeroReale
è
pi
ù grande di 29.92 la
misura
Oggetto
è
NumeroReale
KelvinDegree
(s
NumeroReale
è
meno
di
NumeroReale
attribute
Oggetto
and
Solid
(=>
(
and
(
maritimeClaimType
?AREA ?TYPE)
(
subclass
?TYPE
MaritimeClaimArea
))
(
exists
(?CLAIM)
(
and
(
instance
?CLAIM ?TYPE)
(
claimedTerritory
?CLAIM ?AREA))))
Geography.kif 989-996
maritimeClaimType
AreaGeopolitica
and
MaritimeClaimArea
MaritimeClaimArea
è una
sottoclasse
di
MaritimeClaimArea
AreaGeografica
AreaGeografica
è un'
istanza
di
MaritimeClaimArea
claimedTerritory
AreaGeografica
and
AreaGeopolitica
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
subclass
?TYPE
Object
))
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA))))
Geography.kif 2271-2278
naturalHazardTypeInArea
AreaGeografica
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Entit�Concreta
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
subclass
?TYPE
Process
))
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA)
(
overlapsTemporally
(
WhenFn
?ITEM)
(
WhenFn
?AREA)))))
Geography.kif 2280-2290
naturalHazardTypeInArea
AreaGeografica
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Entit�Concreta
Entit�Concreta
è
localizzato
in
AreaGeografica
il
tempo
di esistenza di
AreaGeografica
sovrappone
s il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
not
(
vegetationType
?REGION ?TYPE))
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
not
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION)))))
Geography.kif 6201-6209
vegetationType
AreaGeografica
and
Pianta
Pianta
è una
sottoclasse
di
Pianta
AreaGeografica
è un'
istanza
di
AreaGeografica
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Pianta
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINST ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINST ?OBJ))
(
capability
?PROCESS
agent
?AGENT))
Catalog.kif 98-107
offers
AutonomousAgent
and
Catalog
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
Oggetto
Processo
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Processo
Entit�
è un'
istanza
di
Entit�
Entit�
è un
paziente
di
Processo
AutonomousAgent
è
capace
di fare
Processo
nel ruolo
agent
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
))
(
capability
?CLASS
agent
?AGENT))
Catalog.kif 88-93
offers
AutonomousAgent
and
Catalog
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
Processo
AutonomousAgent
è
capace
di fare
Entit�
nel ruolo
agent
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?OBJ ?CATALOG)
(
subclass
?OBJ
Physical
))
(
modalAttribute
(
exists
(?S ?X)
(
and
(
instance
?X ?OBJ)
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?X)))
Possibility
))
Catalog.kif 51-62
offers
AutonomousAgent
and
Catalog
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
Entit�Concreta
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?PROP ?CATALOG)
(
subclass
?PROP
Proposition
))
(
modalAttribute
(
exists
(?P ?S ?X)
(
and
(
instance
?P ?PROP)
(
realization
?X ?P)
(
instance
?S
Selling
)
(
patient
?S ?X)
(
agent
?S ?AGENT)))
Possibility
))
Catalog.kif 64-76
offers
AutonomousAgent
and
Catalog
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
Proposizione
l'affermazione
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
esprime
il contenuto di
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AutonomousAgent
ha il modello di forza di
Possibility
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINSTANCE ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINSTANCE ?OBJ)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?PROCESS
agent
?AGENT ?TIME))
Catalog.kif 139-150
offersAtTime
AutonomousAgent
,
Catalog
and
IntervalloTemporale
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
Oggetto
Processo
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Processo
Entit�
è un'
istanza
di
Entit�
Entit�
è un
paziente
di
Processo
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
IntervalloTemporale
capabilityDuring
Processo
,
agent
,
AutonomousAgent
and
IntervalloTemporale
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