Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
Defrauding
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GermanLanguage
GreekLanguage
Haboob
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
and
(
capability
?PC ?ROLE ?MV)
(
subclass
?PC
Shooting
))
(
exists
(?WEAPON)
(
and
(
instance
?WEAPON
Weapon
)
(
part
?WEAPON ?MV)
(
capability
?PC ?ROLE ?WEAPON))))
MilitaryDevices.kif 48-56
If
an object
is
capable
of doing
a kind of process
as a
a case role
and
a kind of process
is a
subclass
of
shooting
,
then there exists
another object
such that
the other object
is an
instance
of
weapon
and
the other object
is a
part
of
the object
and
the other object
is
capable
of doing
the kind of process
as a
the case role
(
subclass
Weapon
Device
)
Merge.kif 14740-14740
Weapon
is a
subclass
of
device
(
subclass
NuclearWeapon
Weapon
)
WMD.kif 130-130
Nuclear weapon
is a
subclass
of
weapon
(
subclass
HighPrecisionWeapon
Weapon
)
MilitaryProcesses.kif 632-632
High precision weapon
is a
subclass
of
weapon
(
subclass
AntiArmorWeapon
Weapon
)
MilitaryDevices.kif 653-653
Anti armor weapon
is a
subclass
of
weapon
(
subclass
Projectile
Weapon
)
Mid-level-ontology.kif 1492-1492
Projectile
is a
subclass
of
weapon
(
subclass
ProjectileLauncher
Weapon
)
Mid-level-ontology.kif 1515-1515
Projectile launcher
is a
subclass
of
weapon
(
subclass
Spear
Weapon
)
Mid-level-ontology.kif 1531-1531
Spear
is a
subclass
of
weapon
(
subclass
Sword
Weapon
)
Mid-level-ontology.kif 1535-1535
Sword
is a
subclass
of
weapon
(
subclass
Whip
Weapon
)
Mid-level-ontology.kif 1539-1539
Whip
is a
subclass
of
weapon
(
subclass
Gun
Weapon
)
Mid-level-ontology.kif 1544-1544
Gun
is a
subclass
of
weapon
(
subclass
WeaponOfMassDestruction
Weapon
)
Mid-level-ontology.kif 1820-1820
Weapon of mass destruction
is a
subclass
of
weapon
(
subclass
ExplosiveMine
Weapon
)
Mid-level-ontology.kif 15509-15509
Explosive mine
is a
subclass
of
weapon
(
subclass
Bomb
Weapon
)
Mid-level-ontology.kif 19611-19611
Bomb
is a
subclass
of
weapon
(
subclass
Mortar
Weapon
)
Mid-level-ontology.kif 19840-19840
Mortar
is a
subclass
of
weapon
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners
