located
(=>
(
and
(
instance
?MT
MusicalTone
)
(
soundFrequency
?MT
(
MeasureFn
?FREQ
Hertz
))
(
loudness
?MT
(
MeasureFn
?LLB
Decibel
))
(
located
?MT
(
WhereFn
?H
(
BeginFn
(
WhenFn
?MT))))
(
greaterThan
?LLIMIT ?LLB)
(
greaterThan
?LLB ?ULIMIT)
(
greaterThan
?FREQ 250)
(
greaterThan
8000 ?FREQ)
(
instance
?H
Human
)
(
instance
?L
Listening
)
(
agent
?L ?H))
(
hearingAcuity
?H
(
MeasureFn
?LLIMIT
Decibel
)
(
MeasureFn
?ULIMIT
Decibel
)))
Medicine.kif 1753-1773
MusicalTone
è un'
istanza
di
MusicalTone
soundFrequency
MusicalTone
and
NumeroReale
Hertz
(s
loudness
MusicalTone
and
NumeroReale
Decibel
(s
MusicalTone
è
localizzato
in il luogo
dove
Umano
era in l'
inizio
di il
tempo
di esistenza di
MusicalTone
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di 250 8000 è
pi
ù grande di
NumeroReale
Umano
è un'
istanza
di
Umano
Processo
è un'
istanza
di
Listening
Processo
è un
agente
di
Umano
hearingAcuity
Umano
,
NumeroReale
Decibel
(s and
NumeroReale
Decibel
(s
(=>
(
and
(
instance
?P
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17637-17655
IntervalloTemporale
è un'
istanza
di
Pulling
IntervalloTemporale
si
originas in
Oggetto
IntervalloTemporale
è un
agente
di
AutonomousAgent
AutonomousAgent
è
localizzato
in
AutonomousAgent
LOC vales
durante
l'
inizio
di
IntervalloTemporale
IntervalloTemporale
fine
s in
Entit�
Entit�
Entit�
and
Entit�
la
distanza
tra
AutonomousAgent
LOC e
Entit�
è
Entit�
Entit�
(s la
distanza
tra
AutonomousAgent
LOC e
Oggetto
è
Entit�
Entit�
(s
Entit�
è
pi
ù grande di
Entit�
vales
durante
immediatamente
dopo
l'
inizio
di
IntervalloTemporale
(=>
(
and
(
instance
?P
Pushing
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17615-17633
IntervalloTemporale
è un'
istanza
di
Pushing
IntervalloTemporale
si
originas in
Oggetto
IntervalloTemporale
è un
agente
di
AutonomousAgent
AutonomousAgent
è
localizzato
in
AutonomousAgent
LOC vales
durante
l'
inizio
di
IntervalloTemporale
IntervalloTemporale
fine
s in
Entit�
Entit�
Entit�
and
Entit�
la
distanza
tra
AutonomousAgent
LOC e
Entit�
è
Entit�
Entit�
(s la
distanza
tra
AutonomousAgent
LOC e
Oggetto
è
Entit�
Entit�
(s
Entit�
è
pi
ù grande di
Entit�
vales
durante
immediatamente
dopo
l'
inizio
di
IntervalloTemporale
(=>
(
and
(
instance
?PLACE
GeographicArea
)
(
located
?PLACE ?T)
(
instance
?T
Tropics
))
(
exists
(?NUM1 ?LONG ?DIR ?NUM2 ?U)
(
and
(
objectGeographicCoordinates
?PLACE
(
MeasureFn
?NUM1 ?U) ?LONG)
(
instance
?U
UnitOfAngularMeasure
)
(
lessThan
?NUM1 ?NUM2)
(
equal
(
MeasureFn
?NUM2 ?U)
(
LatitudeFn
?DIR
(
MeasureFn
23.0
AngularDegree
)
(
MeasureFn
26.0
ArcMinute
)
(
MeasureFn
11.5
ArcSecond
)))
(
instance
?DIR
DirectionalAttribute
)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
)))))
Geography.kif 3595-3615
Oggetto
è un'
istanza
di
AreaGeografica
Oggetto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Tropics
NumeroReale
Longitude
,
AttributoDirezionale
,
NumeroReale
and
Unit�DiMisura
objectGeographicCoordinates
Oggetto
,
NumeroReale
Unit�DiMisura
(s and
Longitude
Unit�DiMisura
è un'
istanza
di
UnitOfAngularMeasure
NumeroReale
è
meno
di
NumeroReale
NumeroReale
Unit�DiMisura
(s is
uguale
a
LatitudeFn
AttributoDirezionale
, 23.0
AngularDegree
(s, 26.0
ArcMinute
(s and 11.5
ArcSecond
(s
AttributoDirezionale
è un'
istanza
di
AttributoDirezionale
AttributoDirezionale
is
uguale
a
North
AttributoDirezionale
is
uguale
a
South
(=>
(
and
(
instance
?PURCHASES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PURCHASES)
(
instance
?MEMBER
Buying
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?BUYER ?BUYING)
(=>
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?PURCHASES)
(
agent
?BUYING ?BUYER))
(
located
?BUYER ?REGION))))))
(
exists
(?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE ?PURCHASES)
(
transactionAmount
?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
GMBFn
?PURCHASES) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 2956-2983
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Acquistare
Oggetto
Oggetto
è un'
istanza
di
AreaGeopolitica
AutonomousAgent
Processo
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Processo
è un'
istanza
di
Acquistare
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è
localizzato
in
Oggetto
Stringa
Entit�
and
Entit�
_PURCHASE_AMOUNT
total
la
classe
descritta da
Stringa
and
Entit�
_PURCHASE_AMOUNT
GMBFn
InsiemeConcreto
is
uguale
a
Entit�
_PURCHASE_AMOUNT
(=>
(
and
(
instance
?RC
RibCage
)
(
part
?RC ?H)
(
instance
?H
Human
)
(
attribute
?H
Living
)
(
not
(
and
(
instance
?P
PathologicProcess
)
(
located
?P ?H))))
(
exists
(?HT ?LG)
(
and
(
instance
?HT
Heart
)
(
instance
?HT
Lung
)
(
contains
?RC ?LG)
(
contains
?RC ?HT))))
Mid-level-ontology.kif 11246-11261
OggettoIntegro
è un'
istanza
di
RibCage
OggettoIntegro
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
Living
~{
Entit�Concreta
è un'
istanza
di
ProcessoPatologico
} ~{
Entit�Concreta
è
localizzato
in
Oggetto
}
Oggetto
T
Oggetto
Oggetto
T è un'
istanza
di
Heart
Oggetto
T è un'
istanza
di
Lung
contains
OggettoIntegro
and
Oggetto
contains
OggettoIntegro
and
Oggetto
T
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
AntarcticArea
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3631-3640
Entit�Concreta
è un'
istanza
di
AreaGeografica
Entit�Concreta
è
localizzato
in
AntarcticArea
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
Giorno
attribute
Entit�Concreta
and
Illuminated
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
ArcticRegion
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3570-3579
Entit�Concreta
è un'
istanza
di
AreaGeografica
Entit�Concreta
è
localizzato
in
ArcticRegion
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
Giorno
attribute
Entit�Concreta
and
Illuminated
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?S
Stroke
)
(
instance
?B
Brain
)
(
located
?S ?B))
(
exists
(?N ?D)
(
and
(
instance
?N
NerveCell
)
(
located
?N ?B)
(
instance
?D
Destruction
)
(
subProcess
?D ?S)
(
patient
?D ?N))))
Mid-level-ontology.kif 11933-11944
Processo
è un'
istanza
di
Stroke
Oggetto
è un'
istanza
di
Brain
Processo
è
localizzato
in
Oggetto
Entit�Concreta
Processo
Entit�Concreta
è un'
istanza
di
NerveCell
Entit�Concreta
è
localizzato
in
Oggetto
Processo
è un'
istanza
di
Distruggere
Processo
è un
sottoprocesso
di
Processo
Entit�Concreta
è un
paziente
di
Processo
(=>
(
and
(
instance
?SALES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?SALES)
(
instance
?MEMBER
Selling
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?SELLER ?SELLING)
(=>
(
and
(
instance
?SELLER
AutonomousAgent
)
(
instance
?SELLING
Buying
)
(
member
?SELLING ?SALES)
(
agent
?SELLING ?SELLER))
(
located
?SELLER ?REGION))))))
(
exists
(?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?SALE
Selling
)
(
member
?SALE ?SALES)
(
transactionAmount
?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
(
equal
(
GMVFn
?SALES) ?TOTAL_SALE_AMOUNT))))
UXExperimentalTerms.kif 2999-3026
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Vendere
Oggetto
Oggetto
è un'
istanza
di
AreaGeopolitica
AutonomousAgent
Processo
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Processo
è un'
istanza
di
Acquistare
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è
localizzato
in
Oggetto
Stringa
Entit�
and
Entit�
_SALE_AMOUNT
total
la
classe
descritta da
Stringa
and
Entit�
_SALE_AMOUNT
GMVFn
InsiemeConcreto
is
uguale
a
Entit�
_SALE_AMOUNT
(=>
(
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
?SEEING
Seeing
)
(
patient
?SEEING ?OBJ)
(
agent
?SEEING ?AGENT)
(
instance
?OBJ
Object
)
(
time
?SEEING ?TIME)
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE)))
(
observedAtTimeInPlace
?OBJ ?AGENT ?TIME ?PLACE))
Justice.kif 61-69
Processo
è un'
istanza
di
Vista
Oggetto
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un'
istanza
di
Oggetto
Processo
esistes
durante
PosizioneTemporale
Oggetto
è
localizzato
in
Oggetto
vales
durante
PosizioneTemporale
observedAtTimeInPlace
Oggetto
,
AutonomousAgent
,
PosizioneTemporale
and
Oggetto
(=>
(
and
(
instance
?T
TemperatureFallingExperiencedAsFeelingCold
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
ColdTemperature
))))
emotion.kif 1551-1558
Processo
è un'
istanza
di
TemperatureFallingExperiencedAsFeelingCold
Processo
è
localizzato
in
Oggetto
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
crede
s
attribute
Oggetto
and
ColdTemperature
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?T
TemperatureRisingExperiencedAsFeelingWarm
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
WarmTemperature
))))
emotion.kif 1569-1576
Processo
è un'
istanza
di
TemperatureRisingExperiencedAsFeelingWarm
Processo
è
localizzato
in
Oggetto
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
crede
s
attribute
Oggetto
and
WarmTemperature
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
AutonomousAgent
è un'
istanza
di
Ticket
AutonomousAgent
possiede
es
Oggetto
issuedBy
AutonomousAgent
and
AgenteCognitivo
attribute
AgenteCognitivo
and
AmusementGamblingAndRecreationIndustries
AgenteCognitivo
è
localizzato
in
Oggetto
confersNorm
AgenteCognitivo
,
Entit�
Entit�
è un'
istanza
di
PassatempoOEsercizio
Oggetto
esperisce
s
Entit�
eventLocated
Entit�
and
Oggetto
and
Permission
(=>
(
and
(
instance
?T
Tunnel
)
(
located
?T ?L))
(
instance
?L
UndergroundArea
))
Transportation.kif 1637-1641
Entit�Concreta
è un'
istanza
di
Tunnel
Entit�Concreta
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
UndergroundArea
(=>
(
and
(
instance
?U
SoftwareUnInstallation
)
(
equal
?T2
(
WhenFn
?U))
(
dataProcessed
?U ?P)
(
instance
?P
ComputerProgram
)
(
located
?U ?C))
(
exists
(?I ?T1)
(
and
(
instance
?I
SoftwareInstallation
)
(
equal
?T1
(
WhenFn
?I))
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
located
?I ?C)
(
earlier
?T1 ?T2))))
ComputingBrands.kif 3603-3617
ComputerProcess
è un'
istanza
di
SoftwareUnInstallation
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
ComputerProcess
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
è un'
istanza
di
ProgrammaDiComputer
ComputerProcess
è
localizzato
in
Oggetto
ComputerProcess
IntervalloTemporale
ComputerProcess
è un'
istanza
di
SoftwareInstallation
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
ComputerProcess
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
è un'
istanza
di
ProgrammaDiComputer
ComputerProcess
è
localizzato
in
Oggetto
IntervalloTemporale
accades
prima
di
IntervalloTemporale
(=>
(
and
(
instance
?UNIT
CommercialUnit
)
(
instance
?ORG
Organization
)
(
located
?ORG ?UNIT))
(
not
(
exists
(?OTHER)
(
and
(
instance
?OTHER
Organization
)
(
located
?OTHER ?UNIT)
(
not
(
equal
?OTHER ?ORG))))))
Mid-level-ontology.kif 7067-7076
Oggetto
è un'
istanza
di
CommercialUnit
Entit�Concreta
è un'
istanza
di
Organizzazione
Entit�Concreta
è
localizzato
in
Oggetto
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Organizzazione
Entit�Concreta
è
localizzato
in
Oggetto
Entit�Concreta
is
uguale
a
Entit�Concreta
(=>
(
and
(
instance
?W
Wind
)
(
located
?W ?L)
(
equal
?T
(
WhenFn
?W))
(
holdsDuring
?T
(
surfaceWindSpeed
?L
(
MeasureFn
?N
MilesPerHour
))))
(
greaterThan
?N 20.0))
Merge.kif 11286-11294
Entit�Concreta
è un'
istanza
di
Wind
Entit�Concreta
è
localizzato
in
Oggetto
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
Entit�Concreta
surfaceWindSpeed
Oggetto
and
NumeroReale
MilesPerHour
(s vales
durante
IntervalloTemporale
NumeroReale
è
pi
ù grande di 20.0
(=>
(
and
(
instance
?X
Buffet
)
(
member
?ITEM ?X)
(
located
?X ?LOC1)
(
instance
?E
Eating
)
(
agent
?E ?AGENT)
(
eventLocated
?E ?LOC2)
(
patient
?E ?ITEM))
(
and
(
not
(
equal
?LOC1 ?LOC2))
(
exists
(?G)
(
and
(
instance
?G
Getting
)
(
patient
?G ?ITEM)
(
origin
?G ?LOC1)
(
agent
?G ?AGENT)
(
before
(
WhenFn
?G)
(
WhenFn
?E))))))
Dining.kif 274-291
InsiemeConcreto
è un'
istanza
di
Buffet
Entit�Concreta
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è
localizzato
in
Oggetto
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AutonomousAgent
eventLocated
Processo
and
Oggetto
Entit�Concreta
è un
paziente
di
Processo
Oggetto
is
uguale
a
Oggetto
Processo
Processo
è un'
istanza
di
Ottenere
Entit�Concreta
è un
paziente
di
Processo
Processo
si
originas in
Oggetto
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
succede%{s}
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?X
FireAlarm
)
(
attribute
?X
DeviceOn
)
(
located
?X ?LOC))
(
exists
(?RS)
(
and
(
instance
?RS
RadiatingSound
)
(
instrument
?RS ?X)
(
hasPurpose
?RS
(
exists
(?GRP)
(
and
(
instance
?GRP
GroupOfPeople
)
(
located
?GRP ?LOC)
(
knows
?GRP
(
exists
(?FIRE)
(
and
(
instance
?FIRE
Fire
)
(
eventLocated
?FIRE ?LOC))))))))))
Mid-level-ontology.kif 26445-26463
Oggetto
è un'
istanza
di
FireAlarm
attribute
Oggetto
and
DeviceOn
Oggetto
è
localizzato
in
Oggetto
Processo
Processo
è un'
istanza
di
OndaSonora
Oggetto
è uno
strumento
per
Processo
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
GroupOfPeople
Entit�
è
localizzato
in
Oggetto
Entit�
conosce
s
Entit�
Entit�
è un'
istanza
di
Fire
eventLocated
Entit�
and
Oggetto
(=>
(
and
(
instance
?X
HotTub
)
(
located
?WATER ?X)
(
instance
?WATER
Water
))
(
modalAttribute
(
exists
(?HEAT)
(
and
(
instance
?HEAT
Heating
)
(
instrument
?HEAT ?X)
(
patient
?HEAT ?WATER)))
Possibility
))
Mid-level-ontology.kif 25304-25314
Oggetto
è un'
istanza
di
HotTub
Entit�Concreta
è
localizzato
in
Oggetto
Entit�Concreta
è un'
istanza
di
Acqua
l'affermazione
Entit�
Entit�
è un'
istanza
di
Riscaldamento
Oggetto
è uno
strumento
per
Entit�
Entit�Concreta
è un
paziente
di
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 26961-26987
Entit�Concreta
è un'
istanza
di
SurveillanceSystem
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è
localizzato
in
Oggetto
InsiemeConcreto
è un'
istanza
di
Camera
InsiemeConcreto
è
localizzato
in
Oggetto
Oggetto
is
uguale
a
Oggetto
InsiemeConcreto
è un'
istanza
di
VideoDisplay
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
eventLocated
Entit�
and
Oggetto
Entit�
esprime
Entit�
Camera
è uno
strumento
per
Entit�
Entit�
è un
risultato
di
Entit�
Entit�
è un'
istanza
di
RadiazioneLuminosa
InsiemeConcreto
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
l'
inizio
di
Entit�
succede%{s}
prima
di l'
inizio
di
Entit�
l'
inizio
di
Entit�
succede%{s}
prima
di l'
inizio
di
Entit�
(=>
(
and
(
located
?T ?R)
(
instance
?T
Toilet
)
(
instance
?R
Room
))
(
instance
?R
Bathroom
))
Mid-level-ontology.kif 2202-2207
Entit�Concreta
è
localizzato
in
Oggetto
Entit�Concreta
è un'
istanza
di
Toilet
Oggetto
è un'
istanza
di
Stanza
Oggetto
è un'
istanza
di
Bathroom
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
muscleInsertion
Muscolo
and
ParteDelCorpo
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
StandardAnatomicalPosition
vales
durante
IntervalloTemporale
attribute
Oggetto
and
Healthy
IntervalloTemporale
è un'
istanza
di
MuscularContraction
il
tempo
di esistenza di
IntervalloTemporale
has luogo
durante
IntervalloTemporale
Oggetto
è un'
istanza
di
Muscolo
Oggetto
è una
parte
di
Oggetto
Oggetto
è uno
strumento
per
IntervalloTemporale
physicalEnd
Oggetto
and
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
è
localizzato
in
Entit�
vales
durante
l'
inizio
di
IntervalloTemporale
Oggetto
è
localizzato
in
Entit�
vales
durante
la
fine
di
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