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
orthogonalTests
Sigma KEE - orthogonalTests
orthogonalTests
appearance as argument number 1
(
documentation
orthogonalTests
EnglishLanguage
"A
SymmetricRelation
between two
Collection
s of
Experimenting
s signfying that
experimentalSubject
s can be shared between them.")
UXExperimentalTerms.kif 4452-4453
(
domain
orthogonalTests
1
Collection
)
UXExperimentalTerms.kif 4446-4446
orthogonalTests
的 1 数量 是
群体
的
instance
(
domain
orthogonalTests
2
Collection
)
UXExperimentalTerms.kif 4448-4448
orthogonalTests
的 2 数量 是
群体
的
instance
(
instance
orthogonalTests
BinaryPredicate
)
UXExperimentalTerms.kif 4443-4443
orthogonalTests
是
二元谓语
的
instance
(
instance
orthogonalTests
SymmetricRelation
)
UXExperimentalTerms.kif 4444-4444
orthogonalTests
是
对称关系
的
instance
appearance as argument number 2
(
format
ChineseLanguage
orthogonalTests
"%1 和 %2 是
or
thogonal tests ")
domainEnglishFormat.kif 4058-4058
(
format
ChineseTraditionalLanguage
orthogonalTests
"%1 和 %2 是
or
thogonal tests ")
domainEnglishFormat.kif 4057-4057
(
format
EnglishLanguage
orthogonalTests
"%1 and %2 are
or
thogonal tests")
domainEnglishFormat.kif 4056-4056
(
termFormat
EnglishLanguage
orthogonalTests
"managed orthogonal")
UXExperimentalTerms.kif 4450-4450
antecedent
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
instance
?SUBJECT
Human
)
(
instance
?EXPERIMENT1 ?CLASS1)
(
subclass
?CLASS1
Experimenting
)
(
member
?EXPERIMENT1 ?TESTCOL1)
(
capability
?CLASS1
experimentalSubject
?SUBJECT))
(
exists
(?EXPERIMENT2 ?CLASS2)
(
and
(
instance
?EXPERIMENT2 ?CLASS2)
(
member
?EXPERIMENT2 ?TESTCOL2)
(
subclass
?CLASS2
Experimenting
)
(
capability
?CLASS2
experimentalSubject
?SUBJECT))))
UXExperimentalTerms.kif 4467-4480
如果
群体
和
另一个 群体
是
orthogonal
tests
和
客体
是
人类
的
instance
和
物理
是
有点 过程
的
instance
和
有点 过程
是
试验
的
subclass
和
那个 物理
是
那个 群体
的
member
和
那个 客体
能够担当
experimentalSubject
的角色做
那个 有点 过程
,
然后 有存在
另一个 物理
和
另一个 有点 过程
这样
那个 另外 物理
是
另一个 有点 过程
的
instance
和
那个 另外 物理
是
那个 另外 群体
的
member
和
那个 另外 有点 过程
是
试验
的
subclass
和
那个 客体
能够担当
experimentalSubject
的角色做
那个 另外 有点 过程
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
member
?MEMBER ?TESTCOL1))
(
instance
?MEMBER
Experimenting
))
UXExperimentalTerms.kif 4455-4459
如果
群体
和
另一个 群体
是
orthogonal
tests
和
物理
是
那个 群体
的
member
,
然后
那个 物理
是
试验
的
instance
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
member
?MEMBER ?TESTCOL2))
(
instance
?MEMBER
Experimenting
))
UXExperimentalTerms.kif 4461-4465
如果
群体
和
另一个 群体
是
orthogonal
tests
和
物理
是
那个 另外 群体
的
member
,
然后
那个 物理
是
试验
的
instance
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