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
?V
ViolentContest
)
(
patient
?V ?H)
(
attribute
?H
(
InjuryCausedFn
?PC))
(
attribute
?H
(
ImpairedBodyPartFn
Airway
)))
(
modalAttribute
(
or
(
subclass
?PC
Combustion
)
(
exists
(?FI)
(
and
(
instance
?I
Injuring
)
(
located
?I ?F)
(
instance
?F
Face
)
(
patient
?I ?H))))
Likely
))
Medicine.kif 698-715
Processus
est une
instance
de
affrontement violent
objet
est un
patient
de
processus
InjuryCausedFn
processus
est un
attribut
de
objet
ImpairedBodyPartFn
Airway
est un
attribut
de
objet
l'argument
processus
est une
sous
-classe de
combustion
entit�
entit�
est une
instance
de
blesser
entit�
est
situ
� �
entit�
entit�
est une
instance
de
Face
objet
est un
patient
de
entit�
a la
force
modale
de
Likely
(
subclass
Airway
Transitway
)
Mid-level-ontology.kif 11717-11717
Airway
est une
sous
-classe de
Transitway
(
subclass
Throat
Airway
)
Mid-level-ontology.kif 11723-11723
Throat
est une
sous
-classe de
Airway
(
subclass
Trachea
Airway
)
Mid-level-ontology.kif 11735-11735
Trachea
est une
sous
-classe de
Airway
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