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
Combustion
ChemicalDecomposition
)
Merge.kif 12571-12571
Combustion
est une
sous
-classe de
d�composition chemical
(
subclass
Fire
Combustion
)
Mid-level-ontology.kif 21809-21809
Fire
est une
sous
-classe de
combustion
(
subclass
IncendiaryDeviceAttack
Combustion
)
Mid-level-ontology.kif 21934-21934
IncendiaryDeviceAttack
est une
sous
-classe de
combustion
(
subclass
ForestFire
Combustion
)
Geography.kif 2405-2405
ForestFire
est une
sous
-classe de
combustion
(
subclass
GrassFire
Combustion
)
Geography.kif 2415-2415
GrassFire
est une
sous
-classe de
combustion
(
subclass
Backfire
Combustion
)
Cars.kif 1350-1350
Backfire
est une
sous
-classe de
combustion
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