Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
SiteSpeedFn
Sigma KEE - SiteSpeedFn
SiteSpeedFn
appearance as argument number 1
(
documentation
SiteSpeedFn
EnglishLanguage
"(SiteSpeedFn ?ACCESSING) returns the
TimeInterval
that represents the length of time it takes to load the
WebPage
which is the
patient
of the
AccessingWebPage
?ACCESSING. The interval begins at the
EndFn
of a
Requesting
of that page by the
WebBrowser
, and ends at the
EndFn
of a
DataTransfer
of that page where the browser is the
destination
of the transfer.")
UXExperimentalTerms.kif 3960-3964
(
domain
SiteSpeedFn
1
AccessingWebPage
)
UXExperimentalTerms.kif 3954-3954
The number 1 argument of
site speed
is an
instance
of
AccessingWebPage
(
instance
SiteSpeedFn
UnaryFunction
)
UXExperimentalTerms.kif 3952-3952
Site speed
is an
instance
of
unary function
(
range
SiteSpeedFn
TimeInterval
)
UXExperimentalTerms.kif 3956-3956
The
range
of
site speed
is an instance of
time interval
appearance as argument number 2
(
format
ChineseLanguage
SiteSpeedFn
"access 的时间在 %1 ")
domainEnglishFormat.kif 4543-4543
(
format
ChineseTraditionalLanguage
SiteSpeedFn
"access 的時間在 %1 ")
domainEnglishFormat.kif 4542-4542
(
format
EnglishLanguage
SiteSpeedFn
"the time to access in %1")
domainEnglishFormat.kif 4541-4541
(
termFormat
EnglishLanguage
SiteSpeedFn
"site speed")
UXExperimentalTerms.kif 3958-3958
consequent
(=>
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
instance
?TRANSFER
DataTransfer
)
(
instance
?SERVER
Server
)
(
instance
?REQUESTING
Requesting
)
(
instance
?BROWSER
WebBrowser
)
(
instance
?INTERVAL
TimeInterval
)
(
patient
?ACCESSING ?PAGE)
(
agent
?REQUESTING ?BROWSER)
(
destination
?REQUESTING ?SERVER)
(
patient
?REQUESTING ?PAGE)
(
origin
?TRANSFER ?SERVER)
(
destination
?TRANSFER ?BROWSER)
(
patient
?TRANSFER ?PAGE)
(
subProcess
?TRANSFER ?ACCESSING)
(
subProcess
?REQUESTING ?ACCESSING)
(
equal
(
EndFn
(
WhenFn
?REQUESTING))
(
BeginFn
?INTERVAL))
(
equal
(
EndFn
(
WhenFn
?TRANSFER))
(
EndFn
?INTERVAL)))
(
equal
(
SiteSpeedFn
?ACCESSING) ?INTERVAL))
UXExperimentalTerms.kif 3966-3991
If
an AccessingWebPage
is an
instance
of
AccessingWebPage
and
an entity
is an
instance
of
WebPage
and
a process
is an
instance
of
data transfer
and
an object
is an
instance
of
server
and
another process
is an
instance
of
requesting
and
an agent
is an
instance
of
web browser
and
a time interval
is an
instance
of
time interval
and
the entity
is a
patient
of
the AccessingWebPage
and
the agent
is an
agent
of
the other process
and
the other process
end
s up at
the object
and
the entity
is a
patient
of
the other process
and
the process
originate
s at
the object
and
the process
end
s up at
the agent
and
the entity
is a
patient
of
the process
and
the process
is a
subprocess
of
the AccessingWebPage
and
the other process
is a
subprocess
of
the AccessingWebPage
and the
end
of the
time
of existence of
the other process
is
equal
to the
beginning
of
the time interval
and the
end
of the
time
of existence of
the process
is
equal
to the
end
of
the time interval
,
then the time to
access
in
the AccessingWebPage
is
equal
to
the time interval
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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
SiteSpeedFn