holdsDuring
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
modalAttribute
(
not
?F)
Likely
))
Merge.kif 18247-18257
attribute
Oggetto
and
ImpairedBodyPartFn
Classe
vales
durante
PosizioneTemporale
Classe
I è un'
istanza
di
Classe
Classe
I è una
parte
di
Oggetto
Classe
I ha
scopo
Formula
l'affermazione
Formula
ha il modello di forza di
Likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?H ?C))
(
instance
?H
ChronicDisease
)
(
duration
?T ?D))
(
greaterThan
?D
(
MeasureFn
3
MonthDuration
)))
Mid-level-ontology.kif 5918-5925
attribute
Entit�
and
Entit�
vales
durante
IntervalloTemporale
Entit�
è un'
istanza
di
ChronicDisease
durata
di
IntervalloTemporale
è
NumeroReale
NumeroReale
è
pi
ù grande di 3
MonthDuration
(s
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
AVPUPainStatus
))
(
instance
?P
Pain
)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?H))
(
exists
(?BM)
(
and
(
instance
?BM
BodyMotion
)
(
experiencer
?BM ?H)
(
during
(
WhenFn
?BM) ?T)
(
causes
?P ?BM))))
Medicine.kif 6470-6482
attribute
AutonomousAgent
and
AVPUPainStatus
vales
durante
IntervalloTemporale
Processo
è un'
istanza
di
Pain
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
AutonomousAgent
esperisce
s
Processo
Processo
Processo
è un'
istanza
di
MovimentoCorporeo
AutonomousAgent
esperisce
s
Processo
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Processo
causa
s
Processo
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
AVPUVerbalStatus
))
(
instance
?S
Speaking
)
(
destination
?S ?H)
(
during
(
WhenFn
?S) ?T))
(
exists
(?IA)
(
and
(
instance
?IA
IntentionalProcess
)
(
agent
?IA ?H)
(
during
(
WhenFn
?IA) ?T)
(
causes
?S ?IA))))
Medicine.kif 6447-6459
attribute
AutonomousAgent
and
AVPUVerbalStatus
vales
durante
IntervalloTemporale
Processo
è un'
istanza
di
Speaking
Processo
fine
s in
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
ProcessoIntenzionale
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Processo
causa
s
Processo
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
ChronicFatigueSyndrome
))
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
(
WhenFn
?R) ?T))
(
modalAttribute
(
and
(
holdsDuring
?T2
(
attribute
?H
PostExertionalMalaise
))
(
earlier
(
WhenFn
?R) ?T2))
Likely
))
Medicine.kif 1500-1512
attribute
AutonomousAgent
and
ChronicFatigueSyndrome
vales
durante
IntervalloTemporale
Processo
è un'
istanza
di
PassatempoOEsercizio
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
l'affermazione
attribute
AutonomousAgent
and
PostExertionalMalaise
vales
durante
IntervalloTemporale
2 il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
2 ha il modello di forza di
Likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?X
Booting
))
(
holdsDuring
?T2
(
attribute
?X
HostReady
))
(
equal
?T2
(
ImmediateFutureFn
(
WhenFn
?T)))
(
instance
?DIS
ComputerDisplay
)
(
connectedEngineeringComponents
?DIS ?X))
(
modalAttribute
(
exists
(?HS)
(
and
(
instance
?HS
HomeScreen
)
(
displayedUpon
?HS ?DIS)))
Likely
))
ComputingBrands.kif 3231-3245
attribute
Meccanismo
and
Booting
vales
durante
Entit�Concreta
attribute
Meccanismo
and
HostReady
vales
durante
Entit�Concreta
2
Entit�Concreta
2 is
uguale
a immediatamente
dopo
il
tempo
di esistenza di
Entit�Concreta
Meccanismo
è un'
istanza
di
ComputerDisplay
Meccanismo
è
connesso
a
Meccanismo
l'affermazione
Entit�
Entit�
è un'
istanza
di
HomeScreen
displayedUpon
Entit�
and
Meccanismo
ha il modello di forza di
Likely
(=>
(
and
(
holdsDuring
?T
(
desires
?M
(
attribute
?V
Dead
)))
(
instance
?MURDER
Murder
)
(
agent
?MURDER ?M)
(
patient
?MURDER ?V)
(
earlier
?T
(
WhenFn
?MURDER)))
(
attribute
?MURDER
Premeditated
))
Law.kif 480-489
AutonomousAgent
desidera
s
attribute
Entit�
and
Dead
vales
durante
IntervalloTemporale
AutonomousAgent
URDER è un'
istanza
di
Murder
AutonomousAgent
URDER è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
AutonomousAgent
URDER
IntervalloTemporale
accades
prima
di il
tempo
di esistenza di
AutonomousAgent
URDER
attribute
AutonomousAgent
URDER and
Premeditated
(=>
(
and
(
holdsDuring
?T
(
measure
?C ?S))
(
engineIdleSpeed
?E ?S)
(
instance
?A
Automobile
)
(
part
?E ?A)
(
part
?C ?E))
(
modalAttribute
(
not
(
exists
(?P ?GP)
(
and
(
during
?P ?T)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?GP ?A))))
Likely
))
Cars.kif 2573-2589
La
misura
Oggetto
è
FunzioneDiQuantit�
vales
durante
PosizioneTemporale
engineIdleSpeed
InternalCombustionEngine
and
FunzioneDiQuantit�
Oggetto
è un'
istanza
di
Automobile
InternalCombustionEngine
è una
parte
di
Oggetto
Oggetto
è una
parte
di
InternalCombustionEngine
l'affermazione
Entit�
Entit�
Entit�
has luogo
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Pushing
Entit�
fine
s in
Entit�
Entit�
è una
parte
di
Oggetto
ha il modello di forza di
Likely
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4257-4263
Entit�
possiede
es
Oggetto
vales
durante
PosizioneTemporale
Oggetto
è una
parte
di
Oggetto
Entit�
possiede
es
Oggetto
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?P
Expellee
)
(
citizen
?P ?HOME-NATION)))
(
instance
?T1
TimeInterval
))
(
exists
(?TRANS ?NATION)
(
and
(
instance
?NATION
Nation
)
(
not
(
equal
?NATION ?HOME-NATION))
(
instance
?TRANS
Translocation
)
(
origin
?TRANS ?NATION)
(
patient
?TRANS ?P)
(
destination
?TRANS ?HOME-NATION)
(
temporalPart
?T1
(
WhenFn
?TRANS)))))
MilitaryPersons.kif 151-167
attribute
Entit�
and
Expellee
Entit�
è un
cittadino
di
Entit�
-NATION vales
durante
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
Processo
Oggetto
Oggetto
è un'
istanza
di
Nazione
Oggetto
is
uguale
a
Entit�
-NATION
Processo
è un'
istanza
di
Translocation
Processo
si
originas in
Oggetto
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Entit�
-NATION
PosizioneTemporale
è una
parte
diil
tempo
di esistenza di
Processo
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?PERSON
DislocatedCivilian
)
(
inhabits
?PERSON ?RESIDENCE)
(
located
?RESIDENCE ?PLACE)))
(
instance
?PLACE
GeographicArea
)
(
instance
?T1
TimeInterval
))
(
exists
(?T0 ?PRIOR-PLACE ?PRIOR-RES)
(
and
(
instance
?T0
TimeInterval
)
(
earlier
?T0 ?T1)
(
instance
?PRIOR-RES
Object
)
(
instance
?PRIOR-PLACE
GeopoliticalArea
)
(
located
?PRIOR-RES ?PRIOR-PLACE)
(
not
(
equal
?PLACE ?PRIOR-PLACE))
(
not
(
equal
?RESIDENCE ?PRIOR-RES))
(
not
(
geographicSubregion
?PLACE ?PRIOR-PLACE))
(
not
(
geographicSubregion
?PRIOR-PLACE ?PLACE))
(
holdsDuring
?T0
(
inhabits
?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
attribute
Entit�
and
DislocatedCivilian
Entit�
abita
s in
Entit�
Entit�
è
localizzato
in
AreaGeografica
vales
durante
IntervalloTemporale
AreaGeografica
è un'
istanza
di
AreaGeografica
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
Entit�
-PLACE and
Entit�
-RES
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
Entit�
-RES è un'
istanza
di
Oggetto
Entit�
-PLACE è un'
istanza
di
AreaGeopolitica
Entit�
-RES è
localizzato
in
Entit�
-PLACE
AreaGeografica
is
uguale
a
Entit�
-PLACE
Entit�
is
uguale
a
Entit�
-RES
geographicSubregion
AreaGeografica
and
Entit�
-PLACE
geographicSubregion
Entit�
-PLACE and
AreaGeografica
Entit�
abita
s in
Entit�
-RES vales
durante
IntervalloTemporale
(=>
(
and
(
holdsDuring
?T1
(
attribute
?F
Menopausal
))
(
equal
?BEFORE
(
SubtractionFn
(
MeasureFn
1
YearDuration
)
(
BeginFn
?T1)))
(
equal
?YBEFORE
(
TimeIntervalFn
?YBEFORE
(
BeginFn
?T1))))
(
not
(
exists
(?M)
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?F)))))
Mid-level-ontology.kif 23888-23902
attribute
AutonomousAgent
and
Menopausal
vales
durante
IntervalloTemporale
NumeroReale
is
uguale
a (1
YearDuration
(s + l'
inizio
di
IntervalloTemporale
IntervalloTemporale
is
uguale
a
intervallo
tra
IntervalloTemporale
e l'
inizio
di
IntervalloTemporale
Processo
Processo
è un'
istanza
di
Menstruation
AutonomousAgent
esperisce
s
Processo
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30650-30671
attribute
AutonomousAgent
and
Dieting
vales
durante
IntervalloTemporale
attribute
AutonomousAgent
and
Dieting
vales
durante
IntervalloTemporale
Oggetto
è un'
istanza
di
Meal
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AutonomousAgent
Oggetto
è una
risorsa
per
Processo
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
la
misura
Oggetto
è
NumeroReale
Calorie
(s
Oggetto
è un'
istanza
di
Meal
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AutonomousAgent
Oggetto
è una
risorsa
per
Processo
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
la
misura
Oggetto
è
NumeroReale
Calorie
(s
l'affermazione
NumeroReale
è
pi
ù grande di
NumeroReale
ha il modello di forza di
Likely
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
Evacuee
))
(
instance
?T1
TimeInterval
))
(
exists
(?EV ?MIL)
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P)
(
earlier
(
WhenFn
?EV) ?T1))))
MilitaryPersons.kif 120-131
attribute
AutonomousAgent
and
Evacuee
vales
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
Processo
AutonomousAgent
Processo
è un'
istanza
di
Evacuation
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
MilitaryOrganization
AutonomousAgent
esperisce
s
Processo
il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
InternallyDisplacedPerson
))
(
instance
?T1
TimeInterval
))
(
exists
(?SITUATION ?T0)
(
and
(
earlier
?T0 ?T1)
(
causesProposition
(
holdsDuring
?T0
(
fears
?P ?SITUATION))
(
holdsDuring
?T1
(
attribute
?P
InternallyDisplacedPerson
))))))
MilitaryPersons.kif 101-111
attribute
Entit�
and
InternallyDisplacedPerson
vales
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
Entit�
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
causesProposition
fears
Entit�
and
Entit�
vales
durante
IntervalloTemporale
and
attribute
Entit�
and
InternallyDisplacedPerson
vales
durante
IntervalloTemporale
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
StatelessPerson
))
(
instance
?NAT
Nation
))
(
holdsDuring
?T1
(
not
(
citizen
?P ?NAT))))
MilitaryPersons.kif 195-201
attribute
Entit�
and
StatelessPerson
vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Nazione
Entit�
è un
cittadino
di
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?T1
(
legalRelation
?A1 ?A2))
(
instance
?A1
Organism
)
(
instance
?A2
Organism
))
(
holdsDuring
?T1
(
relative
?A1 ?A2)))
Merge.kif 16346-16351
legalRelation
Entit�
and
Entit�
vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Organismo
Entit�
è un'
istanza
di
Organismo
relative
Entit�
and
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?T1
(
member
?OBJ ?GROUP))
(
instance
?OBJ
Human
)
(
instance
?GROUP
GroupOfPeople
))
(
holdsDuring
?T1
(
groupMember
?OBJ ?GROUP)))
Mid-level-ontology.kif 7561-7568
Entit�
è un
membro
di
Entit�
vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
GroupOfPeople
groupMember
Entit�
and
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Book
))
(
holdsDuring
?T1
(
attribute
?AGENT
BookPublishers
)))
Media.kif 1900-1904
Entit�
pubblica
Classe
vales
durante
PosizioneTemporale
Classe
è una
sottoclasse
di
Libro
attribute
Entit�
and
BookPublishers
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
MusicalComposition
))
(
holdsDuring
?T1
(
attribute
?AGENT
MusicPublishers
)))
Media.kif 1888-1892
Entit�
pubblica
Classe
vales
durante
PosizioneTemporale
Classe
è una
sottoclasse
di
MusicalComposition
attribute
Entit�
and
MusicPublishers
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Newspaper
))
(
holdsDuring
?T1
(
attribute
?AGENT
NewspaperPublishers
)))
Media.kif 1912-1916
Entit�
pubblica
Classe
vales
durante
PosizioneTemporale
Classe
è una
sottoclasse
di
Newspaper
attribute
Entit�
and
NewspaperPublishers
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Periodical
))
(
holdsDuring
?T1
(
attribute
?AGENT
PeriodicalPublishers
)))
Media.kif 1906-1910
Entit�
pubblica
Classe
vales
durante
PosizioneTemporale
Classe
è una
sottoclasse
di
Periodico
attribute
Entit�
and
PeriodicalPublishers
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Text
))
(
holdsDuring
?T1
(
attribute
?AGENT
InformationIndustries
)))
Media.kif 1894-1898
Entit�
pubblica
Classe
vales
durante
PosizioneTemporale
Classe
è una
sottoclasse
di
Testo
attribute
Entit�
and
InformationIndustries
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?T1
(
spouse
?P1 ?P2))
(
instance
?T1
TimeInterval
))
(
exists
(?WED)
(
and
(
instance
?WED
Wedding
)
(
patient
?WED ?P1)
(
patient
?WED ?P2)
(
earlier
(
WhenFn
?WED) ?T1))))
Mid-level-ontology.kif 7971-7981
spouse
Entit�
and
Entit�
vales
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
Processo
Processo
è un'
istanza
di
Wedding
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
(=>
(
and
(
holdsDuring
?T2 ?SIT2)
(
holdsDuring
?T1 ?SIT1)
(
instance
?T1
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
causesProposition
?SIT1 ?SIT2))
(
beforeOrEqual
(
BeginFn
?T1)
(
BeginFn
?T2)))
Merge.kif 3836-3843
Formula
vales
durante
IntervalloTemporale
Formula
vales
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
causesProposition
Formula
and
Formula
l'
inizio
di
IntervalloTemporale
succede
%{s} prima di o con l'
inizio
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