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
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3984-4004
If
attention deficit hyperactivity disorder
is an
attribute
of
an agent
and
attention deficit hyperactivity disorder
is not an
attribute
of
another agent
and
the agent
is not
equal
to
the other agent
and
a process
is an
instance
of
a class
and
another process
is an
instance
of
the class
and
the class
is a
subclass
of
intentional psychological process
and
the agent
is an
agent
of
the process
and
the other agent
is an
agent
of
the other process
and
duration
of the
time
of existence of
the process
is
a time duration
and
duration
of the
time
of existence of
the other process
is
another time duration
,
then the statement
the other time duration
is
greater
than
the time duration
has the
modal
force
of
likely
(
subclass
IntentionalPsychologicalProcess
IntentionalProcess
)
Merge.kif 10512-10512
Intentional psychological process
is a
subclass
of
intentional process
(
subclass
IntentionalPsychologicalProcess
PsychologicalProcess
)
Merge.kif 10513-10513
Intentional psychological process
is a
subclass
of
psychological process
(
subclass
Planning
IntentionalPsychologicalProcess
)
Merge.kif 10835-10835
Planning
is a
subclass
of
intentional psychological process
(
subclass
Interpreting
IntentionalPsychologicalProcess
)
Merge.kif 10858-10858
Interpreting
is a
subclass
of
intentional psychological process
(
subclass
Learning
IntentionalPsychologicalProcess
)
Merge.kif 11939-11939
Learning
is a
subclass
of
intentional psychological process
(
subclass
Discovering
IntentionalPsychologicalProcess
)
Merge.kif 11958-11958
Discovering
is a
subclass
of
intentional psychological process
(
subclass
Classifying
IntentionalPsychologicalProcess
)
Merge.kif 11984-11984
Classifying
is a
subclass
of
intentional psychological process
(
subclass
Reasoning
IntentionalPsychologicalProcess
)
Merge.kif 11992-11992
Reasoning
is a
subclass
of
intentional psychological process
(
subclass
Selecting
IntentionalPsychologicalProcess
)
Merge.kif 12001-12001
Selecting
is a
subclass
of
intentional psychological process
(
subclass
Comparing
IntentionalPsychologicalProcess
)
Merge.kif 12108-12108
Comparing
is a
subclass
of
intentional psychological process
(
subclass
Calculating
IntentionalPsychologicalProcess
)
Merge.kif 12114-12114
Calculating
is a
subclass
of
intentional psychological process
(
subclass
Predicting
IntentionalPsychologicalProcess
)
Merge.kif 12144-12144
Predicting
is a
subclass
of
intentional psychological process
(
subclass
AppraisalProcess
IntentionalPsychologicalProcess
)
emotion.kif 48-48
Appraisal process
is a
subclass
of
intentional psychological process
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