ArtilleryGun - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ArtilleryGun EnglishLanguage "A Gun that is too large to be carried and fired by a single Human. Typically, ArtilleryGuns are on wheels.")	Mid-level-ontology.kif 1593-1594
(externalImage ArtilleryGun "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 24/ WWI_Field_Gun_316.JPG/ 180px_WWI_Field_Gun_316.JPG")	pictureList.kif 1037-1037
(subclass ArtilleryGun Gun)	Mid-level-ontology.kif 1592-1592	Artillery gun is a subclass of gun

appearance as argument number 2

(partition Gun ArtilleryGun Firearm)	Mid-level-ontology.kif 1155-1155	Gun is exhaustively partitioned into artillery gun and firearm
(subclass ArtilleryCannon ArtilleryGun)	MilitaryDevices.kif 171-171	Artillery cannon is a subclass of artillery gun
(subclass MortarGun ArtilleryGun)	Mid-level-ontology.kif 1171-1171	Mortar gun is a subclass of artillery gun
(termFormat ChineseLanguage ArtilleryGun "火炮枪")	domainEnglishFormat.kif 8551-8551	Mortar gun is a subclass of artillery gun
(termFormat ChineseTraditionalLanguage ArtilleryGun "火砲槍")	domainEnglishFormat.kif 8550-8550	Mortar gun is a subclass of artillery gun
(termFormat EnglishLanguage ArtilleryGun "artillery gun")	domainEnglishFormat.kif 8549-8549	Mortar gun is a subclass of artillery gun

antecedent

(=> (and (instance ?GUN ArtilleryGun) (instance ?W Wheel) (part ?W ?GUN)) (hasPurpose ?W (exists (?T) (and (instance ?T Translocation) (objectTransferred ?T ?GUN) (instrument ?T ?W)))))	Mid-level-ontology.kif 1614-1624	If an object is an instance of artillery gun and another object is an instance of wheel and the other object is a part of the object, then the other object has the purpose there exists an entity such that the entity is an instance of translocation and the object transferred in the entity is the object and the other object is an instrument for the entity
(=> (instance ?GUN ArtilleryGun) (modalAttribute (exists (?W) (and (instance ?W Wheel) (part ?W ?GUN))) Likely))	Mid-level-ontology.kif 1606-1612	If an entity is an instance of artillery gun, then the statement there exists another entity such that the other entity is an instance of wheel and the other entity is a part of the entity has the modal force of likely
(=> (instance ?GUN ArtilleryGun) (not (exists (?A ?C) (and (instance ?A Human) (instance ?C Carrying) (instrument ?C ?A) (objectTransferred ?C ?GUN)))))	Mid-level-ontology.kif 1596-1604	If an object is an instance of artillery gun, then there don't exist another object and a transfer such that the other object is an instance of human and the transfer is an instance of carrying and the other object is an instrument for the transfer and the object transferred in the transfer is the object

consequent

(=>
    (instance ?AB ArtilleryBattery)
    (exists (?COLL)
        (and
            (instance ?COLL Collection)
            (memberType ?COLL ArtilleryGun)
            (memberCount ?COLL ?I)
            (greaterThan ?I 2)
            (possesses ?AB ?COLL))))

MilitaryPersons.kif 505-513

If an agent is an instance of artillery battery,
then there exists a collection such that the collection is an instance of collection and artillery gun is a member type of the collection and an integer is a member count of the collection and the integer is greater than 2 and the agent possesses the collection

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

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: