Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
browserID
Sigma KEE - browserID
browserID
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 724-728
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 732-732
The number 1 argument of
browser identifier string
is an
instance
of
identifier
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 733-733
The number 2 argument of
browser identifier string
is an
instance
of
web browser
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 734-734
The number 3 argument of
browser identifier string
is an
instance
of
web site
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 722-722
browser identifier string
is an
instance
of
ternary predicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2926-2926
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2925-2925
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2924-2924
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 730-730
antecedent
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 736-748
If
an identifier
is the
ID
of
a web browser
when accessing
a web site
,
then there exist
a symbolic string
,
a process
,, ,
an agent
and
a computer process
such that
the symbolic string
is an
instance
of
web page
and
the symbolic string
is a
sub
-string of
the web site
and
the process
is an
instance
of
accessing web page
and
the agent
is an
instance
of
agent
and
the agent
is an
agent
of
the process
and
the web browser
is a
program
running of
the computer process
and
the computer process
cause
s
the process
and
the process
end
s up at
the symbolic string
and
the identifier
express
es
the agent
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 750-758
If
an identifier
is the
ID
of
a web browser
when accessing
a web site
,
then the statement there doesn't exist
the web browser
2 such that
the web browser
2 is an
instance
of
web browser
and
the identifier
is the
ID
of
the web browser
2 when accessing
the web site
has the
modal
force
of
likely
consequent
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 750-758
If
an identifier
is the
ID
of
a web browser
when accessing
a web site
,
then the statement there doesn't exist
the web browser
2 such that
the web browser
2 is an
instance
of
web browser
and
the identifier
is the
ID
of
the web browser
2 when accessing
the web site
has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 1209-1216
If
an agent
is a
visitor
to
a web site
,
then there exist
an identifier
and
a web browser
such that
the identifier
is an
instance
of
identifier
and
the web browser
is an
instance
of
web browser
and
the identifier
is the
ID
of
the web browser
when accessing
the web site
and
the identifier
express
es
the agent
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