earlier
(=>
(
and
(
instance
?X
Argument
)
(
instance
?R
Reasoning
)
(
instance
?A
Archeology
)
(
subProposition
?X ?A)
(
realization
?R ?X))
(
exists
(?D ?S ?O ?T ?W ?L)
(
and
(
instance
?D
Discovering
)
(
instance
?O
Object
)
(
patient
?D ?O)
(
refers
?R ?D)
(
earlier
(
WhenFn
?D)
(
WhenFn
?R))
(
age
?O
(
MeasureFn
?T
YearDuration
))
(
greaterThan
?T 50)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
or
(
and
(
surface
?S ?W)
(
instance
?W
BodyOfWater
)
(
orientation
?O ?S
Below
))
(
and
(
surface
?S ?L)
(
instance
?L
LandArea
)
(
orientation
?O ?S
Below
)))))))
Mid-level-ontology.kif 21146-21176
Proposizione
è un'
istanza
di
Argument
Processo
è un'
istanza
di
Ragionare
Proposizione
è un'
istanza
di
Archeology
Proposizione
è una
sottoproposizione
Proposizione
Processo
esprime
il contenuto di
Proposizione
Processo
Entit�
,
Entit�Concreta
,
NumeroReale
,
Entit�
and
Entit�
Processo
è un'
istanza
di
Discovering
Entit�Concreta
è un'
istanza
di
Oggetto
Entit�Concreta
è un
paziente
di
Processo
Processo
include un
riferimento
a
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
il
et
à di
Entit�Concreta
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di 50
Entit�
è una
superficie
di
Entit�
Entit�
è un'
istanza
di
BodyOfWater
Entit�Concreta
è
Below
a
Entit�
Entit�
è una
superficie
di
Entit�
Entit�
è un'
istanza
di
SuperficieTerrestre
Entit�Concreta
è
Below
a
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?X
DutyTax
)
(
refers
?X ?OBJ)
(
patient
?X ?OBJ))
(
exists
(?T ?N1 ?N2)
(
and
(
instance
?T
Transfer
)
(
patient
?T ?OBJ)
(
origin
?T ?N1)
(
destination
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))
(
earlier
(
WhenFn
?T)
(
WhenFn
?X))
(
causes
?T ?X))))
FinancialOntology.kif 949-964
Processo
è un'
istanza
di
DutyTax
Processo
include un
riferimento
a
Entit�
Entit�
è un
paziente
di
Processo
Processo
Oggetto
and
Entit�
Processo
è un'
istanza
di
Trasferimento
Entit�
è un
paziente
di
Processo
Processo
si
originas in
Oggetto
Processo
fine
s in
Entit�
Oggetto
è un'
istanza
di
Nazione
Entit�
è un'
istanza
di
Nazione
Oggetto
is
uguale
a
Entit�
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
Processo
causa
s
Processo
(=>
(
and
(
instance
?X
ReadOnlyMemoryDataStorage
)
(
instance
?FABRICATION
Manufacture
)
(
result
?FABRICATION ?X))
(
not
(
modalAttribute
(
exists
(?WRITE1 ?DATA1 ?WRITE2)
(
and
(
or
(
instance
?WRITE2
ContentDevelopment
)
(
instance
?WRITE2
DeletingData
))
(
earlier
(
WhenFn
?FABRICATION)
(
WhenFn
?WRITE1))
(
patient
?WRITE1 ?X)
(
patient
?WRITE1 ?DATA1)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WRITE1))
(
stored
?DATA1 ?X))))
Possibility
)))
Media.kif 768-788
Entit�
è un'
istanza
di
ReadOnlyMemoryDataStorage
Processo
è un'
istanza
di
Lavorazione
Entit�
è un
risultato
di
Processo
l'affermazione
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
SviluppoDelContenuto
Entit�
è un'
istanza
di
DeletingData
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
paziente
di
Entit�
stored
Entit�
and
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
greaterThan
?N2 ?N1))
(
earlier
?Y1 ?Y2))
Merge.kif 8721-8726
IntervalloTemporale
è un'
istanza
di l'
anno
NumeroIntero
IntervalloTemporale
è un'
istanza
di l'
anno
NumeroIntero
NumeroIntero
è
pi
ù grande di
NumeroIntero
IntervalloTemporale
accades
prima
di
IntervalloTemporale
(=>
(
and
(
lastStatement
?Account ?Statement)
(
instance
?Transaction1
FinancialTransaction
)
(
realization
?Statement ?Transaction1)
(
instance
?Transaction2
FinancialTransaction
)
(
not
(
realization
?Statement ?Transaction2)))
(
earlier
(
WhenFn
?Transaction2)
(
WhenFn
?Transaction1)))
FinancialOntology.kif 3907-3914
lastStatement
FinancialAccount
and
BankStatement
Entit�Concreta
è un'
istanza
di
ScambioFinanziario
BankStatement
esprime
il contenuto di
Entit�Concreta
Entit�Concreta
è un'
istanza
di
ScambioFinanziario
BankStatement
esprime
il contenuto di
Entit�Concreta
il
tempo
di esistenza di
Entit�Concreta
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
newRegisteredUsers
?INT1 ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?INT2)
(
and
(
instance
?INT2
TimeInterval
)
(
earlier
?INT2 ?INT1)
(
holdsDuring
?INT2
(
registeredUser
?MEMBER ?SITE))))))
UXExperimentalTerms.kif 3640-3650
newRegisteredUsers
IntervalloTemporale
,
WebSite
and
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
registeredUser
Entit�Concreta
and
WebSite
vales
durante
IntervalloTemporale
(=>
(
and
(
processList
@ROW)
(
inList
?Process1
(
ListFn
@ROW))
(
inList
?Process2
(
ListFn
@ROW))
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number1) ?Process1)
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number2) ?Process2)
(
lessThan
?Number1 ?Number2))
(
earlier
(
WhenFn
?Process1)
(
WhenFn
?Process2)))
QoSontology.kif 694-710
processList
@ROW
Entit�Concreta
è un
Entit�Concreta
è un
Entit�
elemento
di (@ROW is
uguale
a
Entit�Concreta
Entit�
elemento
di (@ROW is
uguale
a
Entit�Concreta
NumeroInteroPositivo
è
meno
di
NumeroInteroPositivo
il
tempo
di esistenza di
Entit�Concreta
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
softwareVersion
?COM
CurrentVersion
)
(
instance
?P2
ComputerProgramming
)
(
patient
?P2 ?COM))
(
exists
(?P1)
(
and
(
instance
?P1
ComputerProgramming
)
(
not
(
equal
?P1 ?P2))
(
earlier
(
WhenFn
?P1)
(
WhenFn
?P2))
(
patient
?P1 ?COM)
(
softwareVersion
?COM
PreviousVersion
))))
ComputingBrands.kif 3870-3882
softwareVersion
ProgrammaDiComputer
and
CurrentVersion
Processo
è un'
istanza
di
ComputerProgramming
ProgrammaDiComputer
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
ComputerProgramming
Processo
is
uguale
a
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
ProgrammaDiComputer
è un
paziente
di
Processo
softwareVersion
ProgrammaDiComputer
and
PreviousVersion
(=>
(
and
(
viewedItemList
?USER ?LIST)
(
instance
?ACCESSING
AccessingWebPage
)
(
equal
(
FirstFn
?LIST) ?ACCESSING))
(
not
(
exists
(?ACCESSING2)
(
and
(
instance
?ACCESSING2
AccessingWebPage
)
(
agent
?ACCESSING2 ?USER)
(
earlier
(
WhenFn
?ACCESSING2)
(
WhenFn
?ACCESSING))))))
UXExperimentalTerms.kif 783-797
viewedItemList
AutonomousAgent
and
Lista
Entit�Concreta
è un'
istanza
di
AccessingWebPage
FirstFn
Lista
is
uguale
a
Entit�Concreta
Entit�Concreta
2
Entit�Concreta
2 è un'
istanza
di
AccessingWebPage
Entit�Concreta
2 è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Entit�Concreta
2 accades
prima
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
viewedItemList
?USER ?LIST)
(
instance
?ACCESSING1
AccessingWebPage
)
(
instance
?ACCESSING2
AccessingWebPage
)
(
agent
?ACCESSING1 ?USER)
(
agent
?ACCESSING2 ?USER)
(
instance
?INDEX1
PositiveInteger
)
(
instance
?INDEX2
PositiveInteger
)
(
equal
(
ListOrderFn
?LIST ?INDEX1) ?ACCESSING1)
(
equal
(
ListOrderFn
?LIST ?INDEX2) ?ACCESSING2)
(
greaterThan
?INDEX1 ?INDEX2))
(
earlier
(
WhenFn
?ACCESSING2)
(
WhenFn
?ACCESSING1)))
UXExperimentalTerms.kif 799-817
viewedItemList
AutonomousAgent
and
Lista
Processo
è un'
istanza
di
AccessingWebPage
Processo
è un'
istanza
di
AccessingWebPage
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
NumeroInteroPositivo
è un'
istanza
di
NumeroInteroPositivo
NumeroInteroPositivo
è un'
istanza
di
NumeroInteroPositivo
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
Processo
NumeroInteroPositivo
th
elemento
di
Lista
is
uguale
a
Processo
NumeroInteroPositivo
è
pi
ù grande di
NumeroInteroPositivo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
(=>
(
attribute
?D
DeviceDamaged
)
(
exists
(?DAM)
(
and
(
instance
?DAM
Damaging
)
(
patient
?DAM ?D)
(
not
(
exists
(?R)
(
and
(
instance
?R
Repairing
)
(
patient
?R ?D)
(
earlier
(
WhenFn
?DAM)
(
WhenFn
?R))))))))
Mid-level-ontology.kif 29433-29444
attribute
Oggetto
and
DeviceDamaged
Oggetto
AM
Oggetto
AM è un'
istanza
di
Danneggiare
Oggetto
è un
paziente
di
Oggetto
AM
Processo
Processo
è un'
istanza
di
Riparare
Oggetto
è un
paziente
di
Processo
il
tempo
di esistenza di
Oggetto
AM accades
prima
di il
tempo
di esistenza di
Processo
(=>
(
attribute
?D
DeviceNormal
)
(
not
(
exists
(?DAM)
(
and
(
instance
?DAM
Damaging
)
(
patient
?DAM ?D)
(
not
(
exists
(?R)
(
and
(
instance
?R
Repairing
)
(
patient
?R ?D)
(
earlier
(
WhenFn
?DAM)
(
WhenFn
?R)))))))))
Mid-level-ontology.kif 29405-29417
attribute
Oggetto
and
DeviceNormal
Oggetto
AM
Oggetto
AM è un'
istanza
di
Danneggiare
Oggetto
è un
paziente
di
Oggetto
AM
Processo
Processo
è un'
istanza
di
Riparare
Oggetto
è un
paziente
di
Processo
il
tempo
di esistenza di
Oggetto
AM accades
prima
di il
tempo
di esistenza di
Processo
(=>
(
attribute
?H
Bulimia
)
(
exists
(?E ?P)
(
and
(
instance
?E
Eating
)
(
or
(
instance
?P
Vomiting
)
(
instance
?P
Defecating
))
(
agent
?P ?H)
(
wants
?H ?P)
(
earlier
(
WhenFn
?E)
(
WhenFn
?P)))))
Medicine.kif 5010-5022
attribute
AgenteCognitivo
and
Bulimia
Entit�Concreta
Processo
Entit�Concreta
è un'
istanza
di
Mangiare
Processo
è un'
istanza
di
Vomiting
Processo
è un'
istanza
di
Defecating
Processo
è un
agente
di
AgenteCognitivo
AgenteCognitivo
vuole
s
Processo
il
tempo
di esistenza di
Entit�Concreta
accades
prima
di il
tempo
di esistenza di
Processo
(=>
(
attribute
?X
Locked
)
(
exists
(?LOCK ?CLOSE ?MOVE)
(
and
(
instance
?LOCK
Lock
)
(
connected
?LOCK ?X)
(
instance
?CLOSE
Closing
)
(
patient
?CLOSE ?LOCK)
(
instance
?MOVE
Motion
)
(
earlier
(
WhenFn
?CLOSE)
(
WhenFn
(
attribute
?X
Locked
)))
(
holdsDuring
(
WhenFn
(
attribute
?X
Locked
))
(
not
(
modalAttribute
(
patient
?MOVE ?X)
Possibility
))))))
Mid-level-ontology.kif 2698-2714
attribute
Oggetto
and
Locked
Oggetto
Processo
and
Entit�
Oggetto
è un'
istanza
di
Lock
Oggetto
è
connesso
a
Oggetto
Processo
è un'
istanza
di
Closing
Oggetto
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Movimento
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
attribute
Oggetto
and
Locked
l'affermazione
Oggetto
è un
paziente
di
Entit�
ha il modello di forza di
Possibility
vales
durante
il
tempo
di esistenza di
attribute
Oggetto
and
Locked
(=>
(
before
(
EndFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
earlier
?INTERVAL1 ?INTERVAL2))
Merge.kif 8404-8406
La
fine
di
IntervalloTemporale
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
(=>
(
causes
?P1 ?P2)
(
earlier
(
WhenFn
?P1)
(
WhenFn
?P2)))
Merge.kif 3795-3797
Processo
causa
s
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
(=>
(
equal
(
TemporalCompositionFn
?INTERVAL ?INTERVALTYPE) ?CLASS)
(
forall
(?TIME1 ?TIME2)
(=>
(
and
(
instance
?TIME1 ?CLASS)
(
instance
?TIME2 ?CLASS)
(
not
(
equal
?TIME1 ?TIME2)))
(
or
(
meetsTemporally
?TIME1 ?TIME2)
(
meetsTemporally
?TIME2 ?TIME1)
(
earlier
?TIME1 ?TIME2)
(
earlier
?TIME2 ?TIME1)))))
Merge.kif 9417-9429
Decomposizione
di
IntervalloTemporale
in
IntervalloTemporale
TYPEs is
uguale
a
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
is
uguale
a
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
(=>
(
exclusiveEvent
?EXP ?PROC)
(
exists
(?EVP ?AGENT)
(
and
(
instance
?EVP
Process
)
(
instance
?AGENT
AutonomousAgent
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
earlier
(
WhenFn
?EVP)
(
WhenFn
?PROC)))))
UXExperimentalTerms.kif 4345-4355
exclusiveEvent
Experimenting
and
Processo
Processo
Umano
Processo
è un'
istanza
di
Processo
Umano
è un'
istanza
di
AutonomousAgent
treatedUser
Umano
and
Experimenting
experimentalVariableProcess
Experimenting
and
Processo
Umano
esperisce
s
Processo
Umano
esperisce
s
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
(=>
(
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
(
attribute
?H
PostTraumaticStressDisorder
))
(
exists
(?V)
(
and
(
instance
?V
ViolentContest
)
(
earlier
(
WhenFn
?V) ?T)
(
involvedInEvent
?V ?H))))
Mid-level-ontology.kif 9746-9754
attribute
Entit�
and
PostTraumaticStressDisorder
vales
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
CompetizioneViolenta
il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
involvedInEvent
Processo
and
Entit�
(=>
(
holdsDuring
?T
(
attribute
?H
Reinfection
))
(
and
(
holdsDuring
?T
(
and
(
instance
?D
InfectiousDisease
)
(
attribute
?H ?D)))
(
holdsDuring
?TEARLY
(
attribute
?H ?D))
(
earlier
?TEARLY ?T)))
Medicine.kif 5308-5318
attribute
Entit�
and
Reinfection
vales
durante
IntervalloTemporale
Entit�
è un'
istanza
di
InfectiousDisease
attribute
Entit�
and
Entit�
vales
durante
IntervalloTemporale
attribute
Entit�
and
Entit�
vales
durante
IntervalloTemporale
EARLY
IntervalloTemporale
EARLY accades
prima
di
IntervalloTemporale
(=>
(
holdsDuring
?T
(
attribute
?O
Undamaged
))
(
not
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
patient
?D ?O)
(
earlier
(
WhenFn
?D) ?T)))))
Mid-level-ontology.kif 30182-30190
attribute
Entit�
and
Undamaged
vales
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
Danneggiare
Entit�
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
(=>
(
holdsDuring
?T
(
attribute
?P
BereavedFather
))
(
exists
(?BEFORE ?C)
(
and
(
earlier
?BEFORE ?T)
(
holdsDuring
?BEFORE
(
father
?P ?C))
(
holdsDuring
?T
(
attribute
?C
Dead
)))))
ArabicCulture.kif 760-766
attribute
Entit�
and
BereavedFather
vales
durante
IntervalloTemporale
IntervalloTemporale
Entit�
IntervalloTemporale
accades
prima
di
IntervalloTemporale
Entit�
è un
padre
di
Entit�
vales
durante
IntervalloTemporale
attribute
Entit�
and
Dead
vales
durante
IntervalloTemporale
(=>
(
holdsDuring
?T
(
attribute
?P
BereavedMother
))
(
exists
(?BEFORE ?C)
(
and
(
earlier
?BEFORE ?T)
(
holdsDuring
?BEFORE
(
mother
?P ?C))
(
holdsDuring
?T
(
attribute
?C
Dead
)))))
ArabicCulture.kif 774-780
attribute
Entit�
and
BereavedMother
vales
durante
IntervalloTemporale
IntervalloTemporale
Entit�
IntervalloTemporale
accades
prima
di
IntervalloTemporale
Entit�
è una
madre
di
Entit�
vales
durante
IntervalloTemporale
attribute
Entit�
and
Dead
vales
durante
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