member
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?QPVIEWS
Collection
)
(
forall
(?PAGE ?ACCESSING ?EXPERIMENT)
(=>
(
and
(
instance
?PAGE
WebPage
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?EXPERIMENT
Experimenting
)
(
agent
?ACCESSING ?VISITOR)
(
patient
?ACCESSING ?PAGE)
(
treatedPage
?PAGE ?EXPERIMENT))
(
member
?ACCESSING ?QPVIEWS))))
(
equal
?QPVIEWS
(
QPViewsFn
?VISITOR)))
UXExperimentalTerms.kif 4175-4190
Umano
è un'
istanza
di
Umano
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
WebPage
Processo
and
Experimenting
WebPage
è un'
istanza
di
WebPage
Processo
è un'
istanza
di
AccessingWebPage
Experimenting
è un'
istanza
di
Experimenting
Processo
è un
agente
di
Umano
WebPage
è un
paziente
di
Processo
treatedPage
WebPage
and
Experimenting
Processo
è un
membro
di
InsiemeConcreto
InsiemeConcreto
is
uguale
a
QPViewsFn
Umano
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?HYPERLINK
HypertextLink
)
(
forall
(?ACCESSING)
(
and
(
member
?ACCESSING ?PAGE)
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
component
?PAGE ?HYPERLINK)))))
(
exists
(?CLICKS)
(
and
(
instance
?CLICKS
Collection
)
(
forall
(?CLICK)
(=>
(
and
(
instance
?CLICK
RequestingHyperlink
)
(
patient
?CLICK ?HYPERLINK))
(
member
?CLICK ?CLICKS)))
(
equal
(
ClickThroughRateFn
?VISITS ?HYPERLINK)
(
DivisionFn
(
CardinalityFn
?CLICKS)
(
CardinalityFn
?VISITS))))))
UXExperimentalTerms.kif 3333-3356
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
OggettoCorpuscolare
è un'
istanza
di
HypertextLink
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
AccessingWebPage
InsiemeConcreto
è un
componente
di
OggettoCorpuscolare
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Processo
Processo
è un'
istanza
di
RequestingHyperlink
OggettoCorpuscolare
è un
paziente
di
Processo
Processo
è un
membro
di
InsiemeConcreto
ClickThroughRateFn
InsiemeConcreto
and
OggettoCorpuscolare
is
uguale
a il numero di
istanzia
in
InsiemeConcreto
+ il numero di
istanzia
in
InsiemeConcreto
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
exists
(?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
AccessingWebPage
Processo
AutonomousAgent
,
Processo
,
Processo
and
Oggetto
AutonomousAgent
è un'
istanza
di
Umano
Processo
è un'
istanza
di
Acquistare
Processo
è un'
istanza
di
AccessingWebPage
Oggetto
è un'
istanza
di
WebPage
Processo
è un
membro
di
InsiemeConcreto
Processo
fine
s in
Oggetto
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
il
tempo
di esistenza di
Processo
Oggetto
è uno
strumento
per
Processo
Processo
è un
membro
di
InsiemeConcreto
IntervalloTemporale
Entit�
_IN_INTERVAL and
Entit�
_IN_INTERVAL
SCRFn
InsiemeConcreto
and
IntervalloTemporale
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Entit�
_IN_INTERVAL + il numero di
istanzia
in la
classe
descritta da
Entit�
_IN_INTERVAL
(=>
(
and
(
instance
?X
Buffet
)
(
member
?ITEM ?X)
(
located
?X ?LOC1)
(
instance
?E
Eating
)
(
agent
?E ?AGENT)
(
eventLocated
?E ?LOC2)
(
patient
?E ?ITEM))
(
and
(
not
(
equal
?LOC1 ?LOC2))
(
exists
(?G)
(
and
(
instance
?G
Getting
)
(
patient
?G ?ITEM)
(
origin
?G ?LOC1)
(
agent
?G ?AGENT)
(
before
(
WhenFn
?G)
(
WhenFn
?E))))))
Dining.kif 274-291
InsiemeConcreto
è un'
istanza
di
Buffet
Entit�Concreta
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è
localizzato
in
Oggetto
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AutonomousAgent
eventLocated
Processo
and
Oggetto
Entit�Concreta
è un
paziente
di
Processo
Oggetto
is
uguale
a
Oggetto
Processo
Processo
è un'
istanza
di
Ottenere
Entit�Concreta
è un
paziente
di
Processo
Processo
si
originas in
Oggetto
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
succede%{s}
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?X
Outfit
)
(
member
?ITEM1 ?X)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM1)))
(
forall
(?ITEM2)
(=>
(
member
?ITEM2 ?X)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM2)))))
Dining.kif 469-479
InsiemeConcreto
è un'
istanza
di
Outfit
Entit�Concreta
è un
membro
di
InsiemeConcreto
wears
Entit�
and
Entit�Concreta
vales
durante
PosizioneTemporale
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
wears
Entit�
and
Entit�Concreta
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 26961-26987
Entit�Concreta
è un'
istanza
di
SurveillanceSystem
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è
localizzato
in
Oggetto
InsiemeConcreto
è un'
istanza
di
Camera
InsiemeConcreto
è
localizzato
in
Oggetto
Oggetto
is
uguale
a
Oggetto
InsiemeConcreto
è un'
istanza
di
VideoDisplay
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
eventLocated
Entit�
and
Oggetto
Entit�
esprime
Entit�
Camera
è uno
strumento
per
Entit�
Entit�
è un
risultato
di
Entit�
Entit�
è un'
istanza
di
RadiazioneLuminosa
InsiemeConcreto
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
l'
inizio
di
Entit�
succede%{s}
prima
di l'
inizio
di
Entit�
l'
inizio
di
Entit�
succede%{s}
prima
di l'
inizio
di
Entit�
(=>
(
and
(
inventory
?O ?C)
(
member
?I ?C))
(
refers
?O ?I))
Mid-level-ontology.kif 22719-22723
inventory
OggettoSemiotico
and
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
OggettoSemiotico
include un
riferimento
a
Entit�Concreta
(=>
(
and
(
meceCollection
?COLL1 ?COLL2)
(
instance
?COLL3
Collection
)
(
instance
?COLL4
Collection
)
(
instance
?MEMBER
SelfConnectedObject
)
(
member
?MEMBER ?COLL1)
(
member
?COLL3 ?COLL2)
(
member
?COLL4 ?COLL2)
(
not
(
equal
?COLL3 ?COLL4)))
(
not
(
and
(
member
?MEMBER ?COLL3)
(
member
?MEMBER ?COLL4))))
UXExperimentalTerms.kif 4638-4652
meceCollection
InsiemeConcreto
and
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
OggettoIntegro
Entit�Concreta
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è un
membro
di
InsiemeConcreto
InsiemeConcreto
is
uguale
a
InsiemeConcreto
~{
Entit�Concreta
è un
membro
di
InsiemeConcreto
} ~{
Entit�Concreta
è un
membro
di
InsiemeConcreto
}
(=>
(
and
(
meceCollection
?COLL1 ?COLL2)
(
member
?MEMBER ?COLL1)
(
instance
?MEMBER
SelfConnectedObject
))
(
exists
(?COLL3)
(
and
(
instance
?COLL3
Collection
)
(
member
?MEMBER ?COLL3)
(
member
?COLL3 ?COLL2))))
UXExperimentalTerms.kif 4627-4636
meceCollection
InsiemeConcreto
and
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
OggettoIntegro
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è un
membro
di
InsiemeConcreto
(=>
(
and
(
meceCollection
?COLL1 ?COLL2)
(
member
?MEMBER ?COLL2)
(
instance
?MEMBER
SelfConnectedObject
))
(
instance
?MEMBER
Collection
))
UXExperimentalTerms.kif 4620-4625
meceCollection
InsiemeConcreto
and
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
OggettoIntegro
Entit�Concreta
è un'
istanza
di
InsiemeConcreto
(=>
(
and
(
member
?AGENT
InternationalCourtOfJustice
)
(
attribute
?AGENT
JudgeAtLaw
))
(
exists
(?POLITY)
(
and
(
instance
?POLITY
GeopoliticalArea
)
(
representativeAgentToAgent
?POLITY ?AGENT
InternationalCourtOfJustice
))))
Government.kif 3466-3473
AutonomousAgent
è un
membro
di
InternationalCourtOfJustice
attribute
AutonomousAgent
and
JudgeAtLaw
AutonomousAgent
AutonomousAgent
è un'
istanza
di
AreaGeopolitica
representativeAgentToAgent
AutonomousAgent
,
AutonomousAgent
and
InternationalCourtOfJustice
(=>
(
and
(
member
?OBJ1 ?COLL)
(
member
?OBJ2 ?COLL)
(
not
(
equal
?OBJ1 ?OBJ2)))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9615-9621
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
is
uguale
a
Oggetto
Oggetto
non
si
sovrappone a
Oggetto
(=>
(
and
(
memberType
?GROUP ?TYPE)
(
member
?MEMBER ?GROUP))
(
instance
?MEMBER ?TYPE))
Mid-level-ontology.kif 22655-22659
memberType
InsiemeConcreto
and
Classe
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Classe
(=>
(
and
(
militaryAge
?AREA
(
MeasureFn
?MILITARYAGE
YearDuration
))
(
militaryOfArea
?MILITARY ?AREA)
(
member
?AGENT ?MILITARY)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE))
Military.kif 852-860
militaryAge
AreaGeopolitica
and
NumeroReale
YearDuration
(s
militaryOfArea
MilitaryOrganization
and
AreaGeopolitica
Entit�Concreta
è un
membro
di
MilitaryOrganization
il
et
à di
Entit�Concreta
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
and
(
militaryAge
?AREA
(
MeasureFn
?MILITARYAGE
YearDuration
))
(
militaryOfArea
?MILITARY ?AREA)
(
member
?AGENT ?MILITARY))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE))))
Military.kif 840-850
militaryAge
AreaGeopolitica
and
NumeroReale
YearDuration
(s
militaryOfArea
MilitaryOrganization
and
AreaGeopolitica
Entit�Concreta
è un
membro
di
MilitaryOrganization
NumeroReale
il
et
à di
Entit�Concreta
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
and
(
newRegisteredUsers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?DURING)
(
and
(
instance
?DURING
TimeInterval
)
(
during
?DURING ?INT)
(
holdsDuring
?DURING
(
registeredUser
?MEMBER ?SITE)))))
UXExperimentalTerms.kif 3629-3638
newRegisteredUsers
IntervalloTemporale
,
WebSite
and
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
has luogo
durante
IntervalloTemporale
registeredUser
Entit�Concreta
and
WebSite
vales
durante
IntervalloTemporale
(=>
(
and
(
newRegisteredUsers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
instance
?MEMBER
AutonomousAgent
))
UXExperimentalTerms.kif 3623-3627
newRegisteredUsers
IntervalloTemporale
,
WebSite
and
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
AutonomousAgent
(=>
(
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
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
instance
?SUBJECT
Human
)
(
instance
?EXPERIMENT1 ?CLASS1)
(
subclass
?CLASS1
Experimenting
)
(
member
?EXPERIMENT1 ?TESTCOL1)
(
capability
?CLASS1
experimentalSubject
?SUBJECT))
(
exists
(?EXPERIMENT2 ?CLASS2)
(
and
(
instance
?EXPERIMENT2 ?CLASS2)
(
member
?EXPERIMENT2 ?TESTCOL2)
(
subclass
?CLASS2
Experimenting
)
(
capability
?CLASS2
experimentalSubject
?SUBJECT))))
UXExperimentalTerms.kif 4467-4480
orthogonalTests
InsiemeConcreto
and
InsiemeConcreto
Oggetto
è un'
istanza
di
Umano
Entit�Concreta
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Experimenting
Entit�Concreta
è un
membro
di
InsiemeConcreto
Oggetto
è
capace
di fare
Processo
nel ruolo
experimentalSubject
Entit�Concreta
Processo
Entit�Concreta
è un'
istanza
di
Processo
Entit�Concreta
è un
membro
di
InsiemeConcreto
Processo
è una
sottoclasse
di
Experimenting
Oggetto
è
capace
di fare
Processo
nel ruolo
experimentalSubject
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
member
?MEMBER ?TESTCOL1))
(
instance
?MEMBER
Experimenting
))
UXExperimentalTerms.kif 4455-4459
orthogonalTests
InsiemeConcreto
and
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Experimenting
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
member
?MEMBER ?TESTCOL2))
(
instance
?MEMBER
Experimenting
))
UXExperimentalTerms.kif 4461-4465
orthogonalTests
InsiemeConcreto
and
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Experimenting
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?AREA))
(
attribute
?AGENT
Female
)
(
member
?AGENT
(
ResidentFn
?AREA))
(
instance
?ELECTION
Election
))
(
not
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)))
Government.kif 1267-1273
ExclusiveMaleSuffrage
è una
sottoproposizione
RegionalLawFn
AreaGeopolitica
attribute
Oggetto
and
Female
Oggetto
è un
membro
di
ResidentFn
AreaGeopolitica
Election
è un'
istanza
di
Election
Oggetto
è
capace
di fare
VotingFn
Election
nel ruolo
agent
(=>
(
and
(
watchingListings
?USER ?COLL ?SITE)
(
instance
?LISTING
WebListing
)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ)
(
member
?LISTING ?COLL))
(
modalAttribute
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER))))
Likely
))
UXExperimentalTerms.kif 1257-1271
watchingListings
AutonomousAgent
,
InsiemeConcreto
and
WebSite
Processo
è un'
istanza
di
WebListing
Entit�
è un'
istanza
di
Oggetto
Entit�
è un
paziente
di
Processo
Processo
è un
membro
di
InsiemeConcreto
l'affermazione
AutonomousAgent
desidera
s
Entit�
Entit�
è un'
istanza
di
Acquistare
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AutonomousAgent
ha il modello di forza di
Likely
(=>
(
and
(
watchingListings
?USER ?COLL ?SITE)
(
member
?LISTING ?COLL))
(
instance
?LISTING
WebListing
))
UXExperimentalTerms.kif 1251-1255
watchingListings
AutonomousAgent
,
InsiemeConcreto
and
WebSite
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
WebListing
(=>
(
and
(
webPurchases
?PURCHASES ?BUYER ?SITE)
(
member
?BUYING ?PURCHASES))
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?BUYER)
(
eCommerceSite
?BUYING ?SITE)))
UXExperimentalTerms.kif 839-846
webPurchases
InsiemeConcreto
,
Umano
and
WebSite
ScambioFinanziario
è un
membro
di
InsiemeConcreto
ScambioFinanziario
è un'
istanza
di
Acquistare
ScambioFinanziario
è un
agente
di
Umano
eCommerceSite
ScambioFinanziario
and
WebSite
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