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
WearableItem
e' uma
instancia
de
HearingProtection
Animal
e' uma
instancia
de
Humano
Animal
usa
WearableItem
WearableItem
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma
sub
-classe de a
classe
descrita por
Entidade
Entidade
proibe
a ocurrencia de
Entidade
WearableItem
e' um
instrumento
para
Entidade
(
subclass
RadiatingSound
Radiating
)
Merge.kif 13676-13676
Som Irradiante
e' uma
sub
-classe de
Irradiar
(
subclass
Ringing
RadiatingSound
)
Music.kif 1348-1348
Ringing
e' uma
sub
-classe de
Som Irradiante
(
subclass
MusicalTone
RadiatingSound
)
Mid-level-ontology.kif 764-764
MusicalTone
e' uma
sub
-classe de
Som Irradiante
(
subclass
RadiatingSoundUltrasonic
RadiatingSound
)
Mid-level-ontology.kif 770-770
RadiatingSoundUltrasonic
e' uma
sub
-classe de
Som Irradiante
(
subclass
Echoing
RadiatingSound
)
Mid-level-ontology.kif 2630-2630
Echoing
e' uma
sub
-classe de
Som Irradiante
(
subclass
Thunder
RadiatingSound
)
Mid-level-ontology.kif 3051-3051
Thunder
e' uma
sub
-classe de
Som Irradiante
(
subclass
Clapping
RadiatingSound
)
Mid-level-ontology.kif 13090-13090
Clapping
e' uma
sub
-classe de
Som Irradiante
(
subclass
Barking
RadiatingSound
)
Mid-level-ontology.kif 23861-23861
Barking
e' uma
sub
-classe de
Som Irradiante
(
subclass
MakingMusic
RadiatingSound
)
Merge.kif 13696-13696
MakingMusic
e' uma
sub
-classe de
Som Irradiante
(
subclass
Vocalizing
RadiatingSound
)
Merge.kif 13715-13715
Vocalizing
e' uma
sub
-classe de
Som Irradiante
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