Term Intersection
: 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
Term 1:
Term 2:
(=>
(
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
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
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
