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
(
instance
?R
RecreationOrExercise
)
(
instrument
?R ?RM)
(
instance
?RM
RowingMachine
)
(
experiencer
?R ?H)
(
instance
?ROW
Rowing
)
(
subProcess
?RMOT ?R)
(
subclass
?C
BodyMotion
)
(
instance
?RMOT ?C))
(
exists
(?ROWMOT)
(
and
(
instance
?ROWMOT ?C)
(
subProcess
?ROWMOT ?R)
(
agent
?ROWMOT ?H))))
Mid-level-ontology.kif 8243-8257
Wenn
Process
ist ein
fall
von
RecreationOrExercise
%n{nicht} und
** Process
M ist ein
instrument
fuer
** Process
%n{nicht} und
** Process
M ist ein
fall
von
RowingMachine
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht} und
** Process
OW ist ein
fall
von
Rowing
%n{nicht} und
** Process
MOT ist ein
subProzess
von
** Process
und
Class
ist eine
teilkategorie
von
BodyMotion
und
** Process
MOT ist ein
fall
von
** Class
%n{nicht},
dann es gibt
** Process
OWMOT um
** Process
OWMOT ist ein
fall
von
** Class
%n{nicht} und
** Process
OWMOT ist ein
subProzess
von
** Process
und
** Process
OWMOT ist der
agent
von
** AutonomousAgent
%n{nicht}
(
subclass
BodyMotion
Motion
)
Merge.kif 11094-11094
BodyMotion
ist eine
teilkategorie
von
Motion
(
subclass
Dodging
BodyMotion
)
Mid-level-ontology.kif 445-445
Dodging
ist eine
teilkategorie
von
BodyMotion
(
subclass
Mounting
BodyMotion
)
Mid-level-ontology.kif 465-465
Mounting
ist eine
teilkategorie
von
BodyMotion
(
subclass
Stepping
BodyMotion
)
Mid-level-ontology.kif 482-482
Stepping
ist eine
teilkategorie
von
BodyMotion
(
subclass
Jumping
BodyMotion
)
Mid-level-ontology.kif 543-543
Jumping
ist eine
teilkategorie
von
BodyMotion
(
subclass
Somersaulting
BodyMotion
)
Mid-level-ontology.kif 557-557
Somersaulting
ist eine
teilkategorie
von
BodyMotion
(
subclass
Indicating
BodyMotion
)
Mid-level-ontology.kif 1017-1017
Indicating
ist eine
teilkategorie
von
BodyMotion
(
subclass
Crawling
BodyMotion
)
Mid-level-ontology.kif 4381-4381
Crawling
ist eine
teilkategorie
von
BodyMotion
(
subclass
Scratching
BodyMotion
)
Mid-level-ontology.kif 5714-5714
Scratching
ist eine
teilkategorie
von
BodyMotion
(
subclass
Swallowing
BodyMotion
)
Mid-level-ontology.kif 6587-6587
Swallowing
ist eine
teilkategorie
von
BodyMotion
(
subclass
MuscularContraction
BodyMotion
)
Mid-level-ontology.kif 10528-10528
MuscularContraction
ist eine
teilkategorie
von
BodyMotion
(
subclass
MuscleRelaxing
BodyMotion
)
Mid-level-ontology.kif 10550-10550
MuscleRelaxing
ist eine
teilkategorie
von
BodyMotion
(
subclass
Flexion
BodyMotion
)
Mid-level-ontology.kif 10595-10595
Flexion
ist eine
teilkategorie
von
BodyMotion
(
subclass
Extension
BodyMotion
)
Mid-level-ontology.kif 10619-10619
Extension
ist eine
teilkategorie
von
BodyMotion
(
subclass
HeartBeat
BodyMotion
)
Mid-level-ontology.kif 10714-10714
HeartBeat
ist eine
teilkategorie
von
BodyMotion
(
subclass
Chewing
BodyMotion
)
Mid-level-ontology.kif 11551-11551
Chewing
ist eine
teilkategorie
von
BodyMotion
(
subclass
Inclining
BodyMotion
)
Mid-level-ontology.kif 13095-13095
Inclining
ist eine
teilkategorie
von
BodyMotion
(
subclass
Ducking
BodyMotion
)
Mid-level-ontology.kif 13119-13119
Ducking
ist eine
teilkategorie
von
BodyMotion
(
subclass
Throwing
BodyMotion
)
Mid-level-ontology.kif 17079-17079
Throwing
ist eine
teilkategorie
von
BodyMotion
(
subclass
LyingDown
BodyMotion
)
Mid-level-ontology.kif 19860-19860
LyingDown
ist eine
teilkategorie
von
BodyMotion
(
subclass
KneelingDown
BodyMotion
)
Mid-level-ontology.kif 19885-19885
KneelingDown
ist eine
teilkategorie
von
BodyMotion
(
subclass
SittingDown
BodyMotion
)
Mid-level-ontology.kif 19905-19905
SittingDown
ist eine
teilkategorie
von
BodyMotion
(
subclass
StandingUp
BodyMotion
)
Mid-level-ontology.kif 19922-19922
StandingUp
ist eine
teilkategorie
von
BodyMotion
(
subclass
EyeMotion
BodyMotion
)
Mid-level-ontology.kif 19939-19939
EyeMotion
ist eine
teilkategorie
von
BodyMotion
(
subclass
Shrugging
BodyMotion
)
Mid-level-ontology.kif 19969-19969
Shrugging
ist eine
teilkategorie
von
BodyMotion
(
subclass
Trembling
BodyMotion
)
Mid-level-ontology.kif 19980-19980
Trembling
ist eine
teilkategorie
von
BodyMotion
(
subclass
Dismounting
BodyMotion
)
Mid-level-ontology.kif 19999-19999
Dismounting
ist eine
teilkategorie
von
BodyMotion
(
subclass
Ambulating
BodyMotion
)
Merge.kif 11138-11138
Ambulating
ist eine
teilkategorie
von
BodyMotion
(
subclass
Swimming
BodyMotion
)
Merge.kif 11168-11168
Swimming
ist eine
teilkategorie
von
BodyMotion
(
subclass
Dancing
BodyMotion
)
Merge.kif 11183-11183
Dancing
ist eine
teilkategorie
von
BodyMotion
(
subclass
Gesture
BodyMotion
)
Merge.kif 13092-13092
Gesture
ist eine
teilkategorie
von
BodyMotion
(
subclass
Blinking
BodyMotion
)
Medicine.kif 447-447
Blinking
ist eine
teilkategorie
von
BodyMotion
(
subclass
EmotionalBodilyMovementBehavior
BodyMotion
)
emotion.kif 1358-1358
EmotionalBodilyMovementBehavior
ist eine
teilkategorie
von
BodyMotion
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
