earlier
(=>
(
holdsDuring
?T
(
attribute
?P
PostExertionalMalaise
))
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?A)
(
earlier
(
WhenFn
?R) ?T))))
Medicine.kif 1469-1477
attribute
Entit�
and
PostExertionalMalaise
vales
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
PassatempoOEsercizio
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
(=>
(
holdsDuring
?T1
(
attribute
?AGENT
MusicalConductor
))
(
exists
(?CONDUCT)
(
and
(
instance
?CONDUCT
MusicalConducting
)
(
agent
?CONDUCT ?AGENT)
(
not
(
earlier
?T1
(
WhenFn
?CONDUCT))))))
Media.kif 1873-1879
attribute
AutonomousAgent
and
MusicalConductor
vales
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
MusicalConducting
Processo
è un
agente
di
AutonomousAgent
IntervalloTemporale
non accade
prima
di il
tempo
di esistenza di
Processo
(=>
(
holdsDuring
?T1
(
expects
?AGENT ?FORMULA))
(
exists
(?T2)
(
and
(
holdsDuring
?T1
(
believes
?AGENT
(
holdsDuring
?T2 ?FORMULA)))
(
earlier
?T1 ?T2))))
Merge.kif 10617-10625
expects
Entit�
and
Entit�
vales
durante
IntervalloTemporale
IntervalloTemporale
Entit�
crede
s
Entit�
vales
durante
IntervalloTemporale
vales
durante
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
(=>
(
holdsDuring
?TIME1
(
modalAttribute
?TEXT
Law
))
(
exists
(?TIME2)
(
and
(
holdsDuring
?TIME2
(
attribute
?TEXT
LegislativeBill
))
(
earlier
?TIME2 ?TIME1))))
Mid-level-ontology.kif 13813-13818
L'affermazione
Entit�
ha il modello di forza di
Law
vales
durante
IntervalloTemporale
IntervalloTemporale
attribute
Entit�
and
LegislativeBill
vales
durante
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
(=>
(
instance
?A
Announcement
)
(
exists
(?CD ?I)
(
and
(
instance
?CD
ContentDevelopment
)
(
result
?CD ?A)
(
refers
?A ?I)
(
instance
?I
SocialInteraction
)
(
earlier
(
WhenFn
?CD)
(
WhenFn
?I)))))
Mid-level-ontology.kif 14522-14532
Entit�
è un'
istanza
di
Announcement
Processo
Entit�Concreta
Processo
è un'
istanza
di
SviluppoDelContenuto
Entit�
è un
risultato
di
Processo
Entit�
include un
riferimento
a
Entit�Concreta
Entit�Concreta
è un'
istanza
di
InterazioneSociale
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
instance
?A
Antiseizure
)
(
hasPurpose
?A
(
exists
(?H ?I ?T)
(
and
(
instance
?H
Human
)
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?A)
(
agent
?I ?H)
(
earlier
(
WhenFn
?I) ?T)
(
holdsDuring
?T
(
not
(
exists
(?S)
(
and
(
instance
?S
Seizure
)
(
experiencer
?S ?H)))))))))
Medicine.kif 3317-3332
Entit�Concreta
è un'
istanza
di
Antiseizure
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Ingestione
objectTransferred
Entit�
and
Entit�Concreta
Entit�
è un
agente
di
Entit�
il
tempo
di esistenza di
Entit�
accades
prima
di
Entit�
Entit�
Entit�
è un'
istanza
di
Seizure
Entit�
esperisce
s
Entit�
vales
durante
Entit�
(=>
(
instance
?A
Aqiqah
)
(
exists
(?BIRTH)
(
and
(
refers
?A ?BIRTH)
(
earlier
(
WhenFn
?BIRTH)
(
WhenFn
?A)))))
ArabicCulture.kif 333-338
Entit�Concreta
è un'
istanza
di
Aqiqah
Entit�Concreta
Entit�Concreta
include un
riferimento
a
Entit�Concreta
il
tempo
di esistenza di
Entit�Concreta
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
instance
?ACCOUNT
HistoricalAccount
)
(
exists
(?EVENT)
(
and
(
represents
?ACCOUNT ?EVENT)
(
earlier
(
WhenFn
?EVENT)
(
WhenFn
?ACCOUNT)))))
Mid-level-ontology.kif 14886-14891
Entit�Concreta
è un'
istanza
di
HistoricalAccount
Entit�Concreta
Entit�Concreta
esprime
Entit�Concreta
il
tempo
di esistenza di
Entit�Concreta
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
instance
?ANSWER
Answering
)
(
exists
(?QUESTION)
(
and
(
instance
?QUESTION
Questioning
)
(
refers
?ANSWER ?QUESTION)
(
earlier
(
WhenFn
?QUESTION)
(
WhenFn
?ANSWER)))))
Mid-level-ontology.kif 898-904
Entit�Concreta
è un'
istanza
di
Answering
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Domandare
Entit�Concreta
include un
riferimento
a
Entit�Concreta
il
tempo
di esistenza di
Entit�Concreta
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
instance
?B
Breath
)
(
exists
(?I ?E)
(
and
(
subProcess
?I ?B)
(
subProcess
?E ?B)
(
earlier
(
WhenFn
?I)
(
WhenFn
?E))
(
meetsTemporally
(
WhenFn
?I)
(
WhenFn
?E)))))
Mid-level-ontology.kif 10362-10373
Processo
è un'
istanza
di
Breath
Processo
Processo
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
il
tempo
di esistenza di
Processo
incontra
s il
tempo
di esistenza di
Processo
(=>
(
instance
?CHECKOUT
Checkout
)
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
subProcess
?CHECKOUT ?BUYING)
(
not
(
exists
(?PROCESS)
(
and
(
subProcess
?PROCESS ?BUYING)
(
earlier
(
WhenFn
?CHECKOUT)
(
WhenFn
?PROCESS))))))))
UXExperimentalTerms.kif 1465-1475
Processo
è un'
istanza
di
Checkout
Processo
Processo
è un'
istanza
di
Acquistare
Processo
è un
sottoprocesso
di
Processo
Processo
Processo
è un
sottoprocesso
di
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
(=>
(
instance
?CS
ChestSeal
)
(
hasPurpose
?CS
(
exists
(?C ?CH ?I ?H)
(
and
(
instance
?C
Closing
)
(
instrument
?C ?CS)
(
located
?C ?CH)
(
instance
?CH
Chest
)
(
instance
?H
HoleRegion
)
(
equal
?CH
(
HoleHostFn
?H))
(
instance
?I
Injuring
)
(
located
?I ?CH)
(
earlier
(
WhenFn
?I)
(
WhenFn
?C))))))
Medicine.kif 828-844
Entit�Concreta
è un'
istanza
di
ChestSeal
Entit�Concreta
ha
scopo
Entit�
Entit�
H,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Closing
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è
localizzato
in
Entit�
H
Entit�
H è un'
istanza
di
Chest
Entit�
è un'
istanza
di
apertura
Entit�
H is
uguale
a
HoleHostFn
Entit�
Entit�
è un'
istanza
di
Trauma
Entit�
è
localizzato
in
Entit�
H il
tempo
di esistenza di
Entit�
accades
prima
di il
tempo
di esistenza di
Entit�
(=>
(
instance
?D
Disappearing
)
(
exists
(?OBJ ?AGENT ?SEARCH ?TIME)
(
and
(
instance
?SEARCH
Searching
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?SEARCH))
(
agent
?SEARCH ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?D ?OBJ)
(
patient
?SEARCH ?OBJ)
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME
(
WhenFn
?SEARCH))
(
holdsDuring
?TIME
(
not
(
modalAttribute
(
exists
(?DISC)
(
and
(
instance
?DISC
Discovering
)
(
agent
?DISC ?AGENT)
(
patient
?DISC ?OBJ)))
Possibility
))))))
Mid-level-ontology.kif 17322-17344
Processo
è un'
istanza
di
Disappearing
Entit�
AutonomousAgent
,
Processo
and
PosizioneTemporale
Processo
è un'
istanza
di
Ricercare
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
Processo
è un
agente
di
AutonomousAgent
Entit�
è un'
istanza
di
Oggetto
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
PosizioneTemporale
è una
parte
diil
tempo
di esistenza di
Processo
l'affermazione
Processo
ISC
Processo
ISC è un'
istanza
di
Discovering
Processo
ISC è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
ISC ha il modello di forza di
Possibility
vales
durante
PosizioneTemporale
(=>
(
instance
?DECISION
LegalDecision
)
(
exists
(?DECIDE)
(
and
(
instance
?DECIDE
Deciding
)
(
result
?DECIDE ?LD)
(
instance
?DECISION ?LD)
(
earlier
(
WhenFn
?DECIDE)
(
WhenFn
?DECISION)))))
Merge.kif 10823-10830
Entit�Concreta
è un'
istanza
di
LegalDecision
Processo
Processo
è un'
istanza
di
Deciding
Classe
è un
risultato
di
Processo
Entit�Concreta
è un'
istanza
di
Classe
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
instance
?E
Elaborating
)
(
exists
(?L ?EP ?LP)
(
and
(
instance
?L
LinguisticCommunication
)
(
earlier
?L ?E)
(
containsInformation
?E ?EP)
(
containsInformation
?L ?LP)
(
subsumesContentInstance
?EP ?LP))))
Mid-level-ontology.kif 29647-29655
IntervalloTemporale
è un'
istanza
di
Elaborating
IntervalloTemporale
IntervalloTemporale
P and
IntervalloTemporale
P
IntervalloTemporale
è un'
istanza
di
LinguisticCommunication
IntervalloTemporale
accades
prima
di
IntervalloTemporale
IntervalloTemporale
contiene
s informazione
IntervalloTemporale
P
IntervalloTemporale
contiene
s informazione
IntervalloTemporale
P
IntervalloTemporale
P
sussume
il contenuto di
IntervalloTemporale
P
(=>
(
instance
?I
Ivabradine
)
(
hasPurpose
?I
(
exists
(?H ?IN ?P)
(
and
(
instance
?H
Human
)
(
instance
?P
(
PainFn
Chest
))
(
experiencer
?P ?H)
(
instance
?IN
Ingesting
)
(
agent
?IN ?H)
(
earlier
(
WhenFn
?P)
(
WhenFn
?IN))
(
not
(
exists
(?P2)
(
and
(
instance
?P2
(
PainFn
Chest
))
(
experiencer
?P2 ?H)
(
earlier
(
WhenFn
?IN)
(
WhenFn
?P2)))))))))
Medicine.kif 4891-4911
Entit�Concreta
è un'
istanza
di
Ivabradine
Entit�Concreta
ha
scopo
Entit�
Entit�Concreta
N and
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
PainFn
Chest
Entit�
esperisce
s
Entit�
Entit�Concreta
N è un'
istanza
di
Ingestione
Entit�Concreta
N è un
agente
di
Entit�
il
tempo
di esistenza di
Entit�
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
N
Entit�
2
Entit�
2 è un'
istanza
di
PainFn
Chest
Entit�
esperisce
s
Entit�
2 il
tempo
di esistenza di
Entit�Concreta
N accades
prima
di il
tempo
di esistenza di
Entit�
2
(=>
(
instance
?LIST
ListOnSite
)
(
exists
(?SITE ?ADVERT ?EARLIER ?AFTER ?OWNER)
(
and
(
instance
?SITE
WebSite
)
(
instance
?ADVERT
WebListing
)
(
instance
?EARLIER
TimeInterval
)
(
instance
?AFTER
TimeInterval
)
(
patient
?LIST ?ADVERT)
(
equal
(
EndFn
?EARLIER)
(
EndFn
?LIST))
(
earlier
?LIST ?AFTER)
(
meetsTemporally
?LIST ?AFTER)
(
holdsDuring
?EARLIER
(
not
(
hostedOn
?ADVERT ?SITE)))
(
holdsDuring
?AFTER
(
hostedOn
?ADVERT ?SITE))
(
agent
?LIST ?OWNER)
(
possesses
?OWNER ?SITE))))
UXExperimentalTerms.kif 266-286
IntervalloTemporale
è un'
istanza
di
ListOnSite
Oggetto
Entit�
,
IntervalloTemporale
,
IntervalloTemporale
and
AutonomousAgent
Oggetto
è un'
istanza
di
WebSite
Entit�
è un'
istanza
di
WebListing
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
Entit�
è un
paziente
di
IntervalloTemporale
la
fine
di
IntervalloTemporale
is
uguale
a la
fine
di
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
hostedOn
Entit�
and
Oggetto
vales
durante
IntervalloTemporale
hostedOn
Entit�
and
Oggetto
vales
durante
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
AutonomousAgent
possiede
es
Oggetto
(=>
(
instance
?MEETING
FormalMeeting
)
(
exists
(?PLANNING)
(
and
(
instance
?PLANNING
Planning
)
(
result
?PLANNING ?MEETING)
(
earlier
(
WhenFn
?PLANNING)
(
WhenFn
?MEETING)))))
Mid-level-ontology.kif 15992-15998
Entit�Concreta
è un'
istanza
di
FormalMeeting
Processo
Processo
è un'
istanza
di
Pianificazione
Entit�Concreta
è un
risultato
di
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
instance
?P
Pedialyte
)
(
hasPurpose
?P
(
exists
(?C ?D ?V ?DR)
(
and
(
instance
?C
HumanChild
)
(
instance
?D
Diarrhea
)
(
instance
?V
Vomiting
)
(
or
(
and
(
experiencer
?D ?C)
(
earlier
(
WhenFn
?D)
(
WhenFn
?DR)))
(
and
(
experiencer
?V ?C)
(
earlier
(
WhenFn
?V)
(
WhenFn
?DR))))
(
instance
?DR
Drinking
)
(
agent
?DR ?C)
(
objectTransferred
?DR ?P)))))
Medicine.kif 4816-4833
Entit�Concreta
è un'
istanza
di
Pedialyte
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
R
Entit�
è un'
istanza
di
HumanChild
Entit�
è un'
istanza
di
Diarrhea
Entit�
è un'
istanza
di
Vomiting
Entit�
esperisce
s
Entit�
il
tempo
di esistenza di
Entit�
accades
prima
di il
tempo
di esistenza di
Entit�
R
Entit�
esperisce
s
Entit�
il
tempo
di esistenza di
Entit�
accades
prima
di il
tempo
di esistenza di
Entit�
R
Entit�
R è un'
istanza
di
Bere
Entit�
R è un
agente
di
Entit�
objectTransferred
Entit�
R and
Entit�Concreta
(=>
(
instance
?P
Prompting
)
(
exists
(?H ?A)
(
and
(
destination
?P ?H)
(
agent
?P ?A)
(
desires
?A
(
exists
(?LC)
(
and
(
instance
?LC
LinguisticCommunication
)
(
agent
?LC ?H)
(
earlier
?P ?LC)
(
subsumesContentInstance
?LC ?P)))))))
Mid-level-ontology.kif 29698-29710
Processo
è un'
istanza
di
Prompting
Entit�
AgenteCognitivo
Processo
fine
s in
Entit�
Processo
è un
agente
di
AgenteCognitivo
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
LinguisticCommunication
Entit�
è un
agente
di
Entit�
Processo
accades
prima
di
Entit�
Entit�
sussume
il contenuto di
Processo
(=>
(
instance
?R
Restating
)
(
exists
(?L ?LP ?RP)
(
and
(
instance
?L
LinguisticCommunication
)
(
earlier
?L ?R)
(
containsInformation
?R ?RP)
(
containsInformation
?L ?LP)
(
equivalentContentInstance
?RP ?LP))))
Mid-level-ontology.kif 29664-29672
IntervalloTemporale
è un'
istanza
di
Restating
IntervalloTemporale
IntervalloTemporale
P and
IntervalloTemporale
P
IntervalloTemporale
è un'
istanza
di
LinguisticCommunication
IntervalloTemporale
accades
prima
di
IntervalloTemporale
IntervalloTemporale
contiene
s informazione
IntervalloTemporale
P
IntervalloTemporale
contiene
s informazione
IntervalloTemporale
P
IntervalloTemporale
P è
equivalente
a
IntervalloTemporale
P
(=>
(
instance
?X
(
AbortedFn
?A ?P))
(
exists
(?T)
(
and
(
holdsDuring
?T
(
desires
?A
(
exists
(?PR)
(
and
(
instance
?PR ?P)
(
agent
?PR ?A)))))
(
earlier
?T
(
WhenFn
?X)))))
MilitaryProcesses.kif 2417-2428
Entit�Concreta
è un'
istanza
di
AbortedFn
AutonomousAgent
and
Processo
IntervalloTemporale
AutonomousAgent
desidera
s
Processo
R
Processo
R è un'
istanza
di
Processo
Processo
R è un
agente
di
AutonomousAgent
vales
durante
IntervalloTemporale
IntervalloTemporale
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
instance
?X
RestoringData
)
(
exists
(?DEL ?PROC ?DATA ?CLASS)
(
and
(
instance
?DEL
DeletingData
)
(
instance
?DATA
DigitalData
)
(
patient
?X ?DATA)
(
patient
?DEL ?DATA)
(
earlier
(
WhenFn
?DEL)
(
WhenFn
?X))
(
instance
?PROC
ComputerProcess
)
(
instance
?PROC ?CLASS)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?X))
(
capability
?CLASS
patient
?DATA)))))
QoSontology.kif 135-151
Processo
è un'
istanza
di
RestoringData
Processo
Entit�
,
Entit�
and
Classe
Processo
è un'
istanza
di
DeletingData
Entit�
è un'
istanza
di
DigitalData
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
Entit�
è un'
istanza
di
ComputerProcess
Entit�
è un'
istanza
di
Classe
Entit�
è
capace
di fare
Classe
nel ruolo
patient
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
loggedInDuring
?A ?UA ?T)
(
exists
(?L)
(
and
(
instance
?L
LoggingIn
)
(
agent
?L ?A)
(
patient
?L ?UA)
(
hasAccount
?A ?UA)
(
earlier
?T
(
WhenFn
?L)))))
ComputingBrands.kif 4337-4345
loggedInDuring
AutonomousAgent
,
UserAccount
and
IntervalloTemporale
Processo
Processo
è un'
istanza
di
LoggingIn
Processo
è un
agente
di
AutonomousAgent
UserAccount
è un
paziente
di
Processo
hasAccount
AutonomousAgent
and
UserAccount
IntervalloTemporale
accades
prima
di il
tempo
di esistenza di
Processo
(=>
(
searchQueryRewrite
?QUERY1 ?QUERY2)
(
earlier
(
WhenFn
?QUERY2)
(
WhenFn
?QUERY1)))
UXExperimentalTerms.kif 2461-2463
searchQueryRewrite
SearchQuery
and
SearchQuery
il
tempo
di esistenza di
SearchQuery
accades
prima
di il
tempo
di esistenza di
SearchQuery
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