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
treatedPageDefinition
Sigma KEE - treatedPageDefinition
treatedPageDefinition
appearance as argument number 1
(
documentation
treatedPageDefinition
EnglishLanguage
"(treatedPageDefinition ?EXPERIMENT ?FORMULA) means that if the the
Formula
?FORMULA
refers
to a
WebPage
, that
WebPage
is a
treatedPage
in the context of the
Experimenting
?EXPERIMENT.")
UXExperimentalTerms.kif 4148-4150
(
domain
treatedPageDefinition
1
Experimenting
)
UXExperimentalTerms.kif 4140-4140
Il numero 1 argomenti di
treatedPageDefinition
è un
istanza
di
Experimenting
(
domain
treatedPageDefinition
2
Formula
)
UXExperimentalTerms.kif 4142-4142
Il numero 2 argomenti di
treatedPageDefinition
è un
istanza
di
Formula
(
instance
treatedPageDefinition
BinaryPredicate
)
UXExperimentalTerms.kif 4146-4146
treatedPageDefinition
è un'
istanza
di
PredicatoBinario
appearance as argument number 2
(
format
ChineseLanguage
treatedPageDefinition
"处理页面 的
de
finition 在 %1 是 %2 ")
domainEnglishFormat.kif 4814-4814
(
format
ChineseTraditionalLanguage
treatedPageDefinition
"處理頁面 的
de
finition 在 %1 是 %2 ")
domainEnglishFormat.kif 4813-4813
(
format
EnglishLanguage
treatedPageDefinition
"the
de
finition of a treated page in %1 is %2")
domainEnglishFormat.kif 4812-4812
(
termFormat
EnglishLanguage
treatedPageDefinition
"treated page definition")
UXExperimentalTerms.kif 4144-4144
antecedent
(=>
(
and
(
treatedPageDefinition
?EXPERIMENT ?FORMULA)
(
instance
?PAGE
WebPage
)
(
refers
?FORMULA ?PAGE))
(
treatedPage
?PAGE ?EXPERIMENT))
UXExperimentalTerms.kif 4152-4157
treatedPageDefinition
Experimenting
and
Formula
WebPage
è un'
istanza
di
WebPage
Formula
include un
riferimento
a
WebPage
treatedPage
WebPage
and
Experimenting
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