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
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
Wenn
WearableItem
ist ein
fall
von
HearingProtection
%n{nicht} und
Animal
ist ein
fall
von
Human
%n{nicht} und
wears
** Animal
and
** WearableItem
,
dann
** WearableItem
hat Zweck von es gibt
entity
,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Process
%n{nicht} und
** ** entity
ist eine
teilkategorie
von die
kategorie
die
** ** entity
beschreibt und
** entity
verhindert
das Auftreten von
** ** entity
und
** WearableItem
ist ein
instrument
fuer
** entity
%n{nicht} %n{nicht}
(
subclass
RadiatingSound
Radiating
)
Merge.kif 13676-13676
RadiatingSound
ist eine
teilkategorie
von
Radiating
(
subclass
Ringing
RadiatingSound
)
Music.kif 1348-1348
Ringing
ist eine
teilkategorie
von
RadiatingSound
(
subclass
MusicalTone
RadiatingSound
)
Mid-level-ontology.kif 764-764
MusicalTone
ist eine
teilkategorie
von
RadiatingSound
(
subclass
RadiatingSoundUltrasonic
RadiatingSound
)
Mid-level-ontology.kif 770-770
RadiatingSoundUltrasonic
ist eine
teilkategorie
von
RadiatingSound
(
subclass
Echoing
RadiatingSound
)
Mid-level-ontology.kif 2630-2630
Echoing
ist eine
teilkategorie
von
RadiatingSound
(
subclass
Thunder
RadiatingSound
)
Mid-level-ontology.kif 3051-3051
Thunder
ist eine
teilkategorie
von
RadiatingSound
(
subclass
Clapping
RadiatingSound
)
Mid-level-ontology.kif 13090-13090
Clapping
ist eine
teilkategorie
von
RadiatingSound
(
subclass
Barking
RadiatingSound
)
Mid-level-ontology.kif 23861-23861
Barking
ist eine
teilkategorie
von
RadiatingSound
(
subclass
MakingMusic
RadiatingSound
)
Merge.kif 13696-13696
MakingMusic
ist eine
teilkategorie
von
RadiatingSound
(
subclass
Vocalizing
RadiatingSound
)
Merge.kif 13715-13715
Vocalizing
ist eine
teilkategorie
von
RadiatingSound
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