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
visitorParameter
Sigma KEE - visitorParameter
visitorParameter
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 1167-1169
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 1161-1161
The number 1 argument of
visitor profile parameter
is an
instance
of
agent
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 1163-1163
The number 2 argument of
visitor profile parameter
is an
instance
of
formula
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 1165-1165
The number 3 argument of
visitor profile parameter
is an
instance
of
web site
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 1157-1157
visitor profile parameter
is an
instance
of
ternary predicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4938-4938
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4937-4937
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4936-4936
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 1159-1159
antecedent
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 1179-1185
If
a formula
is
known
about
an agent
who visits
a web site
,
then there exists
a cognitive agent
such that
the cognitive agent
is an
instance
of
cognitive agent
and
the cognitive agent
possess
es
the web site
and
the cognitive agent
know
s
the formula
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 1187-1192
If
a formula
is
known
about
an agent
who visits
a web site
,
then there exists
a collection
such that
the collection
is an
instance
of
visitor profile
and
the formula
is a
member
of
the collection
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 1175-1177
If
a formula
is
known
about
an agent
who visits
a web site
,
then
the formula
includes a
reference
to
an entity
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 1171-1173
If
a formula
is
known
about
an agent
who visits
a web site
,
then
the agent
is a
visitor
to
the web site
consequent
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 1140-1151
If
a collection
is an
instance
of
visitor profile
,
then there exist
an agent
and
a web site
such that
the agent
is an
instance
of
agent
and
the web site
is an
instance
of
web site
and for all
a formula
if
the formula
is a
member
of
the collection
and
the formula
is an
instance
of
formula
,
then
the formula
is
known
about
the agent
who visits
the web site
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