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
Wenn
ADHD
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
ADHD
ist ein
attribut
von
** AutonomousAgent
nicht und
** AutonomousAgent
ist gleich
** ** AutonomousAgent
nicht und
Process
ist ein
fall
von
Class
%n{nicht} und
** Process
ist ein
fall
von
** Class
%n{nicht} und
** Class
ist eine
teilkategorie
von
IntentionalPsychologicalProcess
und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist der
agent
von
** ** AutonomousAgent
%n{nicht} und
dauer
von die
zeit
des Bestehens von
** Process
ist
TimeDuration
%n{nicht} und
dauer
von die
zeit
des Bestehens von
** ** Process
ist
** TimeDuration
%n{nicht},
dann die Aussage
** ** TimeDuration
ist
groesserAls
** TimeDuration
%n{nicht} hat die modale Kraft von
Likely
(
subclass
ADHD
PsychologicalDysfunction
)
Medicine.kif 3293-3293
ADHD
ist eine
teilkategorie
von
PsychologicalDysfunction
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