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:
(
subclass
AntiArmorWeapon
Weapon
)
MilitaryDevices.kif 653-653
AntiArmorWeapon
est une
sous
-classe de
arme
(
subclass
M242
AntiArmorWeapon
)
MilitaryDevices.kif 264-264
M242
est une
sous
-classe de
AntiArmorWeapon
(
subclass
GAU12U
AntiArmorWeapon
)
MilitaryDevices.kif 299-299
GAU12U
est une
sous
-classe de
AntiArmorWeapon
(
subclass
DragonWeapon
AntiArmorWeapon
)
MilitaryDevices.kif 669-669
DragonWeapon
est une
sous
-classe de
AntiArmorWeapon
(
subclass
SMAWBunkerBuster
AntiArmorWeapon
)
MilitaryDevices.kif 779-779
SMAWBunkerBuster
est une
sous
-classe de
AntiArmorWeapon
(
subclass
AntiTankWeapon
AntiArmorWeapon
)
MilitaryDevices.kif 867-867
AntiTankWeapon
est une
sous
-classe de
AntiArmorWeapon
(
subclass
AGM65
AntiArmorWeapon
)
MilitaryDevices.kif 1138-1138
AGM65
est une
sous
-classe de
AntiArmorWeapon
(
subclass
AGM114
AntiArmorWeapon
)
MilitaryDevices.kif 1205-1205
AGM114
est une
sous
-classe de
AntiArmorWeapon
(
subclass
RPG
AntiArmorWeapon
)
MilitaryDevices.kif 1300-1300
RPG
est une
sous
-classe de
AntiArmorWeapon
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