TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ProjectileShell EnglishLanguage "The outer casing of a Projectile.")	Mid-level-ontology.kif 1122-1122
(subclass ProjectileShell Container)	Mid-level-ontology.kif 1121-1121	Projectile shell is a subclass of container

appearance as argument number 2

(termFormat ChineseLanguage ProjectileShell "弹丸壳")	domainEnglishFormat.kif 47672-47672
(termFormat ChineseTraditionalLanguage ProjectileShell "彈丸殼")	domainEnglishFormat.kif 47671-47671
(termFormat EnglishLanguage ProjectileShell "projectile shell")	domainEnglishFormat.kif 47670-47670

consequent

(=>
    (instance ?PROJECTILE Bullet)
    (exists (?SHELL)
        (and
            (instance ?SHELL ProjectileShell)
            (part ?SHELL ?PROJECTILE))))

Mid-level-ontology.kif 1124-1129

If an object is an instance of bullet,
then there exists another object such that the other object is an instance of projectile shell and the other object is a part of the object

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: