not
(=>
(
and
(
instance
?MONTH
(
MonthFn
February
?YEAR))
(
instance
?Y ?YEAR)
(
not
(
instance
?Y
LeapYear
)))
(
duration
?MONTH
(
MeasureFn
28
DayDuration
)))
Merge.kif 9088-9093
IntervalloTemporale
è un'
istanza
di il
mese
Febbraio
Entit�
è un'
istanza
di
Entit�
EAR
Entit�
è un'
istanza
di
AnnoBisestile
durata
di
IntervalloTemporale
è 28
DayDuration
(s
(=>
(
and
(
instance
?NUMBER
Integer
)
(
not
(
equal
?NUMBER 0)))
(
equal
1
(
MultiplicationFn
?NUMBER
(
ReciprocalFn
?NUMBER))))
Merge.kif 5086-5091
NumeroReale
è un'
istanza
di
NumeroIntero
NumeroReale
is
uguale
a 0
1 is
uguale
a
NumeroReale
+ il
reciproco
di
NumeroReale
(=>
(
and
(
instance
?P
PerniciousAnemia
)
(
experiencer
?P ?H1)
(
amount
VitaminB12
?H1
(
MeasureFn
?N1 ?U))
(
amount
VitaminB12
?H2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
)
(
not
(
equal
?H1 ?H2)))
(
greaterThan
?N2 ?N1))
Medicine.kif 2695-2704
Processo
è un'
istanza
di
PerniciousAnemia
AutonomousAgent
esperisce
s
Processo
amount
VitaminB12
,
AutonomousAgent
and
NumeroReale
Unit�DiMisura
(s
amount
VitaminB12
,
OggettoCorpuscolare
and
NumeroReale
Unit�DiMisura
(s
attribute
OggettoCorpuscolare
and
Healthy
AutonomousAgent
is
uguale
a
OggettoCorpuscolare
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
NegativeInfinity
)))
(
before
NegativeInfinity
?POINT))
Merge.kif 7909-7913
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
is
uguale
a
NegativeInfinity
NegativeInfinity
succede%{s}
prima
di
PuntoTemporale
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
NegativeInfinity
)))
(
exists
(?OTHERPOINT)
(
temporallyBetween
NegativeInfinity
?OTHERPOINT ?POINT)))
Merge.kif 7915-7920
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
is
uguale
a
NegativeInfinity
PuntoTemporale
PuntoTemporale
is
tra
NegativeInfinity
e
PuntoTemporale
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
PositiveInfinity
)))
(
before
?POINT
PositiveInfinity
))
Merge.kif 7891-7895
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
is
uguale
a
PositiveInfinity
PuntoTemporale
succede%{s}
prima
di
PositiveInfinity
(=>
(
and
(
instance
?POINT
TimePoint
)
(
not
(
equal
?POINT
PositiveInfinity
)))
(
exists
(?OTHERPOINT)
(
temporallyBetween
?POINT ?OTHERPOINT
PositiveInfinity
)))
Merge.kif 7897-7902
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
is
uguale
a
PositiveInfinity
PuntoTemporale
PuntoTemporale
is
tra
PuntoTemporale
e
PositiveInfinity
(=>
(
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
?PROCESS
TakingOff
)
(
patient
?PROCESS ?DUD)
(
not
(
exists
(?EXPLOSION)
(
and
(
instance
?EXPLOSION
Explosion
)
(
patient
?EXPLOSION ?DUD)))))
(
instance
?DUD
AbsoluteDud
))
MilitaryDevices.kif 1409-1418
Processo
è un'
istanza
di
TakingOff
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
Explosion
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
AbsoluteDud
(=>
(
and
(
instance
?R
CervicalVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
CervicalVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 561-574
ParteDelCorpo
è un'
istanza
di
CervicalVertebraBone
ParteDelCorpo
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
MalattiaOSindrome
ParteDelCorpo
ParteDelCorpo
è un'
istanza
di
CervicalVertebraBone
ParteDelCorpo
is
uguale
a
ParteDelCorpo
ParteDelCorpo
è una
parte
di
Oggetto
connectedBodyPart
ParteDelCorpo
and
ParteDelCorpo
(=>
(
and
(
instance
?R
FalseRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
not
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connectedBodyPart
?S ?R)))))
Anatomy.kif 505-517
ParteDelCorpo
è un'
istanza
di
FalseRibBone
ParteDelCorpo
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
MalattiaOSindrome
ParteDelCorpo
ParteDelCorpo
è un'
istanza
di
Sternum
ParteDelCorpo
è una
parte
di
Oggetto
connectedBodyPart
ParteDelCorpo
and
ParteDelCorpo
(=>
(
and
(
instance
?R
LumbarVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
LumbarVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 601-614
ParteDelCorpo
è un'
istanza
di
LumbarVertebraBone
ParteDelCorpo
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
MalattiaOSindrome
ParteDelCorpo
ParteDelCorpo
è un'
istanza
di
LumbarVertebraBone
ParteDelCorpo
is
uguale
a
ParteDelCorpo
ParteDelCorpo
è una
parte
di
Oggetto
connectedBodyPart
ParteDelCorpo
and
ParteDelCorpo
(=>
(
and
(
instance
?R
Ratchet
)
(
instance
?A
AttachingDevice
)
(
instance
?RO1
Rotating
)
(
attribute
?RO1 ?DIR1)
(
instance
?RO2
Rotating
)
(
attribute
?RO2 ?DIR2)
(
instance
?DIR1
RotationalAttribute
)
(
instance
?DIR2
RotationalAttribute
)
(
not
(
equal
?RO1 ?RO2))
(
causes
?RO1 ?RO2)
(
patient
?RO1
Ratchet
)
(
patient
?RO2 ?A))
(
equal
?DIR1 ?DIR2))
Cars.kif 4935-4950
Entit�
è un'
istanza
di
Ratchet
Entit�
è un'
istanza
di
AttachingDevice
Entit�
O1 è un'
istanza
di
Rotating
attribute
Entit�
O1 and
Attributo
Entit�
O2 è un'
istanza
di
Rotating
attribute
Entit�
O2 and
Attributo
Attributo
è un'
istanza
di
RotationalAttribute
Attributo
è un'
istanza
di
RotationalAttribute
Entit�
O1 is
uguale
a
Entit�
O2
Entit�
O1
causa
s
Entit�
O2
Ratchet
è un
paziente
di
Entit�
O1
Entit�
è un
paziente
di
Entit�
O2
Attributo
is
uguale
a
Attributo
(=>
(
and
(
instance
?R
ThoracicVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
ThoracicVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 669-682
ParteDelCorpo
è un'
istanza
di
ThoracicVertebraBone
ParteDelCorpo
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
MalattiaOSindrome
ParteDelCorpo
ParteDelCorpo
è un'
istanza
di
ThoracicVertebraBone
ParteDelCorpo
is
uguale
a
ParteDelCorpo
ParteDelCorpo
è una
parte
di
Oggetto
connectedBodyPart
ParteDelCorpo
and
ParteDelCorpo
(=>
(
and
(
instance
?R
TrueRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 492-503
ParteDelCorpo
è un'
istanza
di
TrueRibBone
ParteDelCorpo
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
MalattiaOSindrome
ParteDelCorpo
ParteDelCorpo
è un'
istanza
di
Sternum
ParteDelCorpo
è una
parte
di
Oggetto
connectedBodyPart
ParteDelCorpo
and
ParteDelCorpo
(=>
(
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
?S
Soldering
)
(
patient
?S ?OBJ1)
(
patient
?S ?OBJ2)
(
not
(
equal
?OBJ1 ?OBJ2)))
(
exists
(?A)
(
and
(
instance
?A
MetallicAlloy
)
(
connects
?A ?OBJ1 ?OBJ2))))
Mid-level-ontology.kif 5629-5638
Processo
è un'
istanza
di
Soldering
Oggetto
è un
paziente
di
Processo
Oggetto
è un
paziente
di
Processo
Oggetto
is
uguale
a
Oggetto
Oggetto
Oggetto
è un'
istanza
di
MetallicAlloy
Oggetto
connette
Oggetto
e
Oggetto
(=>
(
and
(
instance
?SEA
Ocean
)
(
not
(
equal
?SEA
ArcticOcean
)))
(
smaller
ArcticOcean
?SEA))
Geography.kif 4643-4647
Oggetto
è un'
istanza
di
Ocean
Oggetto
is
uguale
a
ArcticOcean
ArcticOcean
è
minore
di
Oggetto
(=>
(
and
(
instance
?SH1
Shaft
)
(
instance
?SH2
Shaft
)
(
not
(
equal
?SH1 ?SH2))
(
instance
?R1
Rotating
)
(
patient
?R1 ?SH1)
(
instance
?R2
Rotating
)
(
patient
?R2 ?SH2)
(
causes
?R1 ?R2)
(
instance
?CV
CVJoint
)
(
connectedEngineeringComponents
?R1 ?CV)
(
connectedEngineeringComponents
?R2 ?CV)
(
holdsDuring
(
WhenFn
?R1)
(
equal
?SH1
(
RotationFn
?N ?T))))
(
holdsDuring
(
WhenFn
?R2)
(
equal
?SH2
(
RotationFn
?N ?T))))
Cars.kif 2120-2139
Entit�
è un'
istanza
di
Shaft
Entit�
è un'
istanza
di
Shaft
Entit�
is
uguale
a
Entit�
Meccanismo
è un'
istanza
di
Rotating
Entit�
è un
paziente
di
Meccanismo
Meccanismo
è un'
istanza
di
Rotating
Entit�
è un
paziente
di
Meccanismo
Meccanismo
causa
s
Meccanismo
Meccanismo
è un'
istanza
di
CVJoint
Meccanismo
è
connesso
a
Meccanismo
Meccanismo
è
connesso
a
Meccanismo
Entit�
is
uguale
a
RotationFn
Entit�
and
Entit�
vales
durante
il
tempo
di esistenza di
Meccanismo
Entit�
is
uguale
a
RotationFn
Entit�
and
Entit�
vales
durante
il
tempo
di esistenza di
Meccanismo
(=>
(
and
(
instance
?SM
StripMall
)
(
instance
?RS1
RetailStore
)
(
part
?RS1 ?SM)
(
instance
?RS2
RetailStore
)
(
part
?RS2 ?SM)
(
not
(
equal
?RS1 ?RS2)))
(
not
(
exists
(?H)
(
and
(
instance
?H
Hallway
)
(
connects
?RS1 ?H ?RS2)))))
Medicine.kif 5132-5145
Oggetto
è un'
istanza
di
StripMall
Oggetto
è un'
istanza
di
RetailStore
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
RetailStore
Oggetto
è una
parte
di
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
Oggetto
è un'
istanza
di
Hallway
Oggetto
connette
Oggetto
e
Oggetto
(=>
(
and
(
instance
?STATE
AmericanState
)
(
not
(
equal
?STATE
California
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
California
))
(
CardinalityFn
(
ResidentFn
?STATE))))
CountriesAndRegions.kif 897-901
AreaGeopolitica
è un'
istanza
di
AmericanState
AreaGeopolitica
is
uguale
a
California
il numero di
istanzia
in
ResidentFn
California
è
pi
ù grande di il numero di
istanzia
in
ResidentFn
AreaGeopolitica
(=>
(
and
(
instance
?SYSTEM
InlandWaterSystem
)
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
not
(
equal
?WATER1 ?WATER2))
(
not
(
connected
?WATER1 ?WATER2))
(
geographicSubregion
?WATER1 ?SYSTEM)
(
geographicSubregion
?WATER2 ?SYSTEM))
(
exists
(?WATER3)
(
and
(
instance
?WATER3
WaterArea
)
(
not
(
equal
?WATER3 ?WATER1))
(
not
(
equal
?WATER3 ?WATER1))
(
part
?WATER3 ?SYSTEM)
(
connects
?WATER3 ?WATER1 ?WATER2))))
Geography.kif 5380-5395
AreaGeografica
è un'
istanza
di
InlandWaterSystem
AreaGeografica
è un'
istanza
di
SuperficieAcquatica
AreaGeografica
è un'
istanza
di
SuperficieAcquatica
AreaGeografica
is
uguale
a
AreaGeografica
AreaGeografica
è
connesso
a
AreaGeografica
geographicSubregion
AreaGeografica
and
AreaGeografica
geographicSubregion
AreaGeografica
and
AreaGeografica
Oggetto
Oggetto
è un'
istanza
di
SuperficieAcquatica
Oggetto
is
uguale
a
AreaGeografica
Oggetto
is
uguale
a
AreaGeografica
Oggetto
è una
parte
di
AreaGeografica
Oggetto
connette
AreaGeografica
e
AreaGeografica
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
IntervalloTemporale
è un'
istanza
di
TimePeriod
durata
di
IntervalloTemporale
è
NumeroReale
MinuteDuration
(s
NumeroReale
è
pi
ù grande di 5.0
Entit�
è un'
istanza
di
Umano
Processo
Processo
è un'
istanza
di
Respirazione
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Entit�
è un
paziente
di
Processo
l'affermazione
Entit�
Entit�
è un'
istanza
di
Morte
Entit�
esperisce
s
Entit�
IntervalloTemporale
incontra
s il
tempo
di esistenza di
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
instance
?UNIT
AreaMeasure
)
(
measure
Alaska
(
MeasureFn
?NUMBER1 ?UNIT))
(
measure
?STATE
(
MeasureFn
?NUMBER2 ?UNIT))
(
instance
?STATE
AmericanState
)
(
not
(
equal
Alaska
?STATE)))
(
lessThan
?NUMBER2 ?NUMBER1))
CountriesAndRegions.kif 871-878
Unit�DiMisura
è un'
istanza
di
MisuraDiArea
la
misura
Alaska
è
NumeroReale
Unit�DiMisura
(s la
misura
Entit�Concreta
è
NumeroReale
Unit�DiMisura
(s
Entit�Concreta
è un'
istanza
di
AmericanState
Alaska
is
uguale
a
Entit�Concreta
NumeroReale
è
meno
di
NumeroReale
(=>
(
and
(
instance
?UNIT
SingleFamilyResidence
)
(
home
?PERSON ?UNIT)
(
possesses
?PERSON ?UNIT)
(
not
(
instance
?UNIT
Building
)))
(
instance
?UNIT
CondominiumUnit
))
Mid-level-ontology.kif 6920-6926
PermanentResidence
è un'
istanza
di
SingleFamilyResidence
home
Umano
and
PermanentResidence
Umano
possiede
es
PermanentResidence
PermanentResidence
è un'
istanza
di
Costruzione
PermanentResidence
è un'
istanza
di
CondominiumUnit
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