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
experimentalControlProcess
Sigma KEE - experimentalControlProcess
experimentalControlProcess
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3818-3821
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3823-3823
域
experimentalControlProcess
, 1 and
試驗
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3825-3825
域
experimentalControlProcess
, 2 and
Process
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3816-3816
例
experimentalControlProcess
and
BinaryPredicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3358-3358
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3357-3357
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3356-3356
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3827-3827
antecedent
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3897-3902
例
試驗
and
試驗
control
在實驗
試驗
是
Process
Process
在
試驗
的
process
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3829-3833
例
試驗
and
試驗
control
在實驗
試驗
是
Process
子過程
Process
and
試驗
consequent
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3889-3894
例
試驗
and
試驗
Process
在
試驗
的
process
control
在實驗
試驗
是
Process
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3923-3934
例
試驗
and
試驗
例
Human
and
Human
Human
是在
試驗
的
subject
Process
例
Process
and
Process
體驗者
Process
and
Human
control
在實驗
試驗
是
Process
Process
在
試驗
的
process
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4208-4223
例
試驗
and
試驗
entity
_EVENTS
例
entity
_EVENTS and
Collection
Process
例
Process
and
Process
control
在實驗
試驗
是
Process
Process
在
試驗
的
process
會員
Process
and
entity
_EVENTS
等於
events
在
試驗
and
entity
_EVENTS
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4425-4430
屬性
試驗
and
ABTest
Process
例
Process
and
Process
control
在實驗
試驗
是
Process
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