holdsDuring
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
LowIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
lessThan
?AMOUNT 756.0))))
Economy.kif 440-447
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
economyType
AreaGeopolitica
and
LowIncomeCountry
vales
durante
IntervalloTemporale
NumeroReale
perCapitaGDPInPeriod
AreaGeopolitica
,
NumeroReale
UnitedStatesDollar
(s and
IntervalloTemporale
NumeroReale
è
meno
di756.0
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
LowerMiddleIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
greaterThanOrEqualTo
?AMOUNT 756.0))))
Economy.kif 456-463
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
economyType
AreaGeopolitica
and
LowerMiddleIncomeCountry
vales
durante
IntervalloTemporale
NumeroReale
perCapitaGDPInPeriod
AreaGeopolitica
,
NumeroReale
UnitedStatesDollar
(s and
IntervalloTemporale
NumeroReale
è
pi
ù grande di o uguale a 756.0
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
LowerMiddleIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
lessThan
?AMOUNT 2996.0))))
Economy.kif 465-472
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
economyType
AreaGeopolitica
and
LowerMiddleIncomeCountry
vales
durante
IntervalloTemporale
NumeroReale
perCapitaGDPInPeriod
AreaGeopolitica
,
NumeroReale
UnitedStatesDollar
(s and
IntervalloTemporale
NumeroReale
è
meno
di2996.0
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
UpperMiddleIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
greaterThanOrEqualTo
?AMOUNT 2996.0))))
Economy.kif 481-488
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
economyType
AreaGeopolitica
and
UpperMiddleIncomeCountry
vales
durante
IntervalloTemporale
NumeroReale
perCapitaGDPInPeriod
AreaGeopolitica
,
NumeroReale
UnitedStatesDollar
(s and
IntervalloTemporale
NumeroReale
è
pi
ù grande di o uguale a 2996.0
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
UpperMiddleIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
lessThan
?AMOUNT 9267.0))))
Economy.kif 490-497
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
economyType
AreaGeopolitica
and
UpperMiddleIncomeCountry
vales
durante
IntervalloTemporale
NumeroReale
perCapitaGDPInPeriod
AreaGeopolitica
,
NumeroReale
UnitedStatesDollar
(s and
IntervalloTemporale
NumeroReale
è
meno
di9267.0
(=>
(
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
(=>
(
and
(
muscleOrigin
?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)
(
located
?E ?L)))
Anatomy.kif 1708-1729
muscleOrigin
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
(=>
(
and
(
not
(
holdsDuring
?T1
(
attribute
?H
Concussion
)))
(
holdsDuring
?T2
(
attribute
?H
Concussion
))
(
meetsTemporally
?T1 ?T2))
(
modalAttribute
(
holdsDuring
(
BeginFn
?T2)
(
attribute
?H
Unconscious
))
Likely
))
Medicine.kif 1314-1326
attribute
Entit�
and
Concussion
non vale
durante
IntervalloTemporale
attribute
Entit�
and
Concussion
vales
durante
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
l'affermazione
attribute
Entit�
and
Inconscio
vales
durante
l'
inizio
di
IntervalloTemporale
ha il modello di forza di
Likely
(=>
(
and
(
not
(
instance
?A
AutonomousAgent
))
(
holdsDuring
?T
(
attribute
?A
Motionless
)))
(
not
(
exists
(?P)
(
and
(
instance
?P
Motion
)
(
patient
?P ?A)
(
during
(
WhenFn
?P) ?T)))))
Mid-level-ontology.kif 30243-30254
Entit�
è un'
istanza
di
AutonomousAgent
attribute
Entit�
and
Motionless
vales
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
Movimento
Entit�
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
(=>
(
and
(
or
(
instance
?ROLE
OccupationalTrade
)
(
instance
?ROLE
Profession
))
(
holdsDuring
?T1
(
attribute
?HUMAN ?ROLE)))
(
exists
(?FIELD)
(
and
(
subclass
?FIELD
FieldOfStudy
)
(
holdsDuring
?T1
(
hasExpertise
?HUMAN ?FIELD)))))
Mid-level-ontology.kif 8292-8301
Entit�
è un'
istanza
di
OccupationalTrade
Entit�
è un'
istanza
di
Profession
attribute
Entit�
and
Entit�
vales
durante
PosizioneTemporale
Classe
Classe
è una
sottoclasse
di
CampoDiStudio
hasExpertise
Entit�
and
Classe
vales
durante
PosizioneTemporale
(=>
(
and
(
parent
?CHILD ?PARENT1)
(
parent
?CHILD ?PARENT2)
(
holdsDuring
?T1
(
and
(
spouse
?PARENT1 ?PARENT2)
(
cohabitant
?PARENT1 ?PARENT2)
(
cohabitant
?CHILD ?PARENT1))))
(
exists
(?FAM)
(
and
(
instance
?FAM
NuclearFamily
)
(
holdsDuring
?T1
(
and
(
member
?CHILD ?FAM)
(
member
?PARENT1 ?FAM)
(
member
?PARENT2 ?FAM))))))
Mid-level-ontology.kif 23185-23201
Organismo
è un
parente
di
Organismo
Organismo
è un
parente
di
Organismo
spouse
Organismo
and
Organismo
cohabitant
Organismo
and
Organismo
cohabitant
Organismo
and
Organismo
vales
durante
PosizioneTemporale
Entit�
Entit�
è un'
istanza
di
NuclearFamily
Organismo
è un
membro
di
Entit�
Organismo
è un
membro
di
Entit�
Organismo
è un
membro
di
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
located
?PROC ?LOC)
(
instance
?LOC
Nation
)
(
located
?PROC ?LOC2)
(
instance
?LOC2
GeopoliticalArea
)
(
ageOfMajorityForProcess
(
MeasureFn
?N2
YearDuration
) ?LOC ?PROC)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
holdsDuring
(
WhenFn
?PROC)
(
and
(
age
?A1
(
MeasureFn
?N3
YearDuration
))
(
greaterThan
?N3 ?N2))))
(
attribute
?AG
Legal
))
Law.kif 554-571
partyToAgreement
AgenteCognitivo
and
Agreement
Processo
è un'
istanza
di
ProcessoIntenzionale
Processo
è
localizzato
in
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
Nazione
Processo
è
localizzato
in
AreaGeopolitica
2
AreaGeopolitica
2 è un'
istanza
di
AreaGeopolitica
ageOfMajorityForProcess
NumeroReale
YearDuration
(s,
AreaGeopolitica
and
Processo
ContentBearingPhysical
è un
risultato
di
Processo
recordForAgreement
ContentBearingPhysical
and
Agreement
il
et
à di
AgenteCognitivo
è
Entit�
YearDuration
(s
Entit�
è
pi
ù grande di
NumeroReale
vales
durante
il
tempo
di esistenza di
Processo
attribute
Agreement
and
Legal
(=>
(
and
(
possesses
?BUS ?PARK)
(
instance
?BUS
CommercialAgent
)
(
instance
?PARK
ParkingLot
)
(
instance
?BLDG
Building
)
(
located
?BUS ?BLDG)
(
customer
?BUS ?CUST)
(
holdsDuring
?T
(
located
?CUST ?BLDG))
(
instance
?DRIVE
Driving
)
(
patient
?DRIVE ?VEHICLE)
(
agent
?DRIVE ?CUST)
(
destination
?DRIVE ?BLDG))
(
holdsDuring
?T
(
confersRight
(
and
(
instance
?PUT
Keeping
)
(
destination
?PUT ?PARK)
(
patient
?PUT ?VEHICLE)) ?BUS ?CUST)))
TransportDetail.kif 102-121
AgenteCognitivo
possiede
es
Oggetto
AgenteCognitivo
è un'
istanza
di
CommercialAgent
Oggetto
è un'
istanza
di
ParkingLot
Oggetto
è un'
istanza
di
Costruzione
AgenteCognitivo
è
localizzato
in
Oggetto
customer
AgenteCognitivo
and
AutonomousAgent
AutonomousAgent
è
localizzato
in
Oggetto
vales
durante
PosizioneTemporale
Processo
è un'
istanza
di
Driving
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Oggetto
AgenteCognitivo
permette
a
AutonomousAgent
di compiere il compito di tipo
Entit�
è un'
istanza
di
Trattenere
Entit�
fine
s in
Oggetto
Entit�
è un
paziente
di
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
resource
?PROC ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?PROC))
(
measure
?OBJ ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?PROC))
(
measure
?OBJ ?QUANT2)))
(
greaterThan
?QUANT1 ?QUANT2))
Merge.kif 8047-8052
Oggetto
è una
risorsa
per
Processo
la
misura
Oggetto
è
NumeroReale
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
la
misura
Oggetto
è
NumeroReale
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
roomTempState
?C ?PS)
(
instance
?S ?C)
(
holdsDuring
?T
(
roomTempState
?C
Liquid
))
(
measure
?S
(
MeasureFn
101
(
KiloFn
Pascal
))))
(
holdsDuring
?T
(
measure
?S
(
MeasureFn
68
FahrenheitDegree
))))
Mid-level-ontology.kif 31674-31685
roomTempState
Sostanza
and
StatoFisico
Entit�Concreta
è un'
istanza
di
Sostanza
roomTempState
Sostanza
and
Liquid
vales
durante
PosizioneTemporale
la
misura
Entit�Concreta
è 101 1
mille
Pascal
s(s
la
misura
Entit�Concreta
è 68
FahrenheitDegree
(s vales
durante
PosizioneTemporale
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
holdsDuring
?T
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))
(
instance
?H ?M)
(
greaterThan
(
MultiplicationFn
?N2 2.0) ?N)
(
lessThan
?N2
(
MultiplicationFn
0.8 ?N)))
(
holdsDuring
?T
(
attribute
?H
SevereBloodLoss
)))
Medicine.kif 5968-5982
typicalBloodVolume
Mammifero
and
NumeroReale
Unit�DiMisura
(s
bloodVolume
Entit�
and
NumeroReale
2
Unit�DiMisura
(s vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Mammifero
NumeroReale
2 + 2.0 è
pi
ù grande di
NumeroReale
NumeroReale
2 è
meno
di0.8 +
NumeroReale
attribute
Entit�
and
SevereBloodLoss
vales
durante
PosizioneTemporale
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
holdsDuring
?T
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))
(
instance
?H ?M)
(
lessThan
(
MultiplicationFn
?N2 2.0) ?N))
(
holdsDuring
?T
(
attribute
?H
CatastrophicBloodLoss
)))
Medicine.kif 5950-5962
typicalBloodVolume
Mammifero
and
NumeroReale
Unit�DiMisura
(s
bloodVolume
Entit�
and
NumeroReale
2
Unit�DiMisura
(s vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Mammifero
NumeroReale
2 + 2.0 è
meno
di
NumeroReale
attribute
Entit�
and
CatastrophicBloodLoss
vales
durante
PosizioneTemporale
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
instance
?MI ?M)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
DiseaseOrSyndrome
))
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))))
(
approximateValue
?N2 ?N))
Medicine.kif 5933-5944
typicalBloodVolume
Mammifero
and
NumeroReale
Unit�DiMisura
(s
Mammifero
I è un'
istanza
di
Mammifero
attribute
Entit�
and
MalattiaOSindrome
bloodVolume
Entit�
and
NumeroReale
2
Unit�DiMisura
(s vales
durante
PosizioneTemporale
approximateValue
NumeroReale
2 and
NumeroReale
(=>
(
holdsDuring
?NOW
(
attribute
?P
CivilianInternee
))
(
not
(
holdsDuring
?NOW
(
instance
?P
MilitaryForce
))))
MilitaryPersons.kif 321-326
attribute
Entit�
and
CivilianInternee
vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di
MilitaryForce
non vale
durante
PosizioneTemporale
(=>
(
holdsDuring
?NOW
(
attribute
?P
Prisoner
))
(
exists
(?BEFORE ?IMPRISONING)
(
and
(
instance
?IMPRISONING
Imprisoning
)
(
earlier
?BEFORE ?NOW)
(
holdsDuring
?BEFORE
(
detainee
?IMPRISONING ?P)))))
MilitaryPersons.kif 242-250
attribute
Entit�
and
Prisoner
vales
durante
IntervalloTemporale
IntervalloTemporale
Entit�
Entit�
è un'
istanza
di
Imprisoning
IntervalloTemporale
accades
prima
di
IntervalloTemporale
detainee
Entit�
and
Entit�
vales
durante
IntervalloTemporale
(=>
(
holdsDuring
?NOW
(
attribute
?P
Widowed
))
(
and
(
exists
(?BEFORE ?SPOUSE)
(
and
(
earlier
?BEFORE ?NOW)
(
holdsDuring
?BEFORE
(
spouse
?SPOUSE ?P))
(
holdsDuring
?NOW
(
attribute
?SPOUSE
Dead
))))
(
not
(
exists
(?OTHER)
(
holdsDuring
?NOW
(
spouse
?OTHER ?P))))))
Mid-level-ontology.kif 22306-22320
attribute
Entit�
and
Widowed
vales
durante
IntervalloTemporale
IntervalloTemporale
Entit�
IntervalloTemporale
accades
prima
di
IntervalloTemporale
spouse
Entit�
and
Entit�
vales
durante
IntervalloTemporale
attribute
Entit�
and
Dead
vales
durante
IntervalloTemporale
Entit�
spouse
Entit�
and
Entit�
vales
durante
IntervalloTemporale
(=>
(
holdsDuring
?T
(
and
(
attribute
?H
InfectiousDisease
)
(
attribute
?H
Diabetes
)
(
attribute
?H
(
ImpairedBodyPartFn
Foot
))))
(
holdsDuring
?T
(
diseaseMedicine
InfectiousDisease
Ertapenem
Injecting
)))
Medicine.kif 1374-1381
attribute
Entit�
and
InfectiousDisease
attribute
Entit�
and
Diabetes
attribute
Entit�
and
ImpairedBodyPartFn
Foot
vales
durante
PosizioneTemporale
diseaseMedicine
InfectiousDisease
,
Ertapenem
and
Injecting
vales
durante
PosizioneTemporale
(=>
(
holdsDuring
?T
(
and
(
attribute
?H
SleepApnea
)
(
attribute
?H
Sleeping
)))
(
exists
(?T2 ?B ?B2)
(
and
(
during
?T2 ?T)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T2)
(
experiencer
?B ?H))))
(
holdsDuring
?T2
(
and
(
instance
?B2
Breathing
)
(
needs
?H ?B2))))))
Medicine.kif 4161-4178
attribute
AutonomousAgent
and
SleepApnea
attribute
AutonomousAgent
and
Sleeping
vales
durante
IntervalloTemporale
IntervalloTemporale
2
Processo
and
Processo
2
IntervalloTemporale
2 has luogo
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
Respirazione
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
2
AutonomousAgent
esperisce
s
Processo
Processo
2 è un'
istanza
di
Respirazione
AutonomousAgent
necessita
dis
Processo
2 vales
durante
IntervalloTemporale
2
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
GoodAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
lessThanOrEqualTo
?I 50))
Weather.kif 3105-3110
attribute
Entit�
and
GoodAQIAirQuality
airQualityIndex
Entit�
and
NumeroReale
vales
durante
PosizioneTemporale
NumeroReale
è
minore
o uguale a 50
(=>
(
holdsDuring
?T
(
and
(
attribute
?L
HazardousAQIAirQuality
)
(
airQualityIndex
?L ?I)))
(
greaterThanOrEqualTo
?I 301))
Weather.kif 3174-3179
attribute
Entit�
and
HazardousAQIAirQuality
airQualityIndex
Entit�
and
NumeroReale
vales
durante
PosizioneTemporale
NumeroReale
è
pi
ù grande di o uguale a 301
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