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
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4452-4453
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4446-4446
The number 1 argument of
managed orthogonal
is an
instance
of
collection
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4448-4448
The number 2 argument of
managed orthogonal
is an
instance
of
collection
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4443-4443
managed orthogonal
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4444-4444
managed orthogonal
is an
instance
of
symmetric relation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4058-4058
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4057-4057
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4056-4056
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4450-4450
antecedent
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4467-4480
If
a collection
and
another collection
are
orthogonal
tests
and
an object
is an
instance
of
human
and
a physical
is an
instance
of
a kind of process
and
a kind of process
is a
subclass
of
experimenting
and
the physical
is a
member
of
the collection
and
the object
is
capable
of doing
the kind of process
as a
experimental subject
,
then there exist
another physical
and
another kind of process
such that
the other physical
is an
instance
of
another kind of process
and
the other physical
is a
member
of
the other collection
and
the other kind of process
is a
subclass
of
experimenting
and
the object
is
capable
of doing
the other kind of process
as a
experimental subject
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4455-4459
If
a collection
and
another collection
are
orthogonal
tests
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
experimenting
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4461-4465
If
a collection
and
another collection
are
orthogonal
tests
and
a physical
is a
member
of
the other collection
,
then
the physical
is an
instance
of
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
orthogonalTests