Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
ArtilleryGun(artillery gun)
|  | ack-ack, ack-ack_gun, antiaircraft, antiaircraft_gun, artillery, culverin, flack, flak, gun, heavy_weapon, ordnance, pom-pom |
| appearance as argument number 1 |
|
|
| (subclass ArtilleryGun Gun) | Mid-level-ontology.kif 1885-1885 | Artillery gun is a subclass of gun |
| (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 1886-1887 | Artillery gun is a subclass of gun |
| (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 | Artillery gun is a subclass of gun |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?GUN ArtilleryGun) (not (exists (?A ?C) (and (instance ?A Human) (instance ?C Carrying) (instrument ?C ?A) (objectTransferred ?C ?GUN))))) |
Mid-level-ontology.kif 1889-1897 | If X is an instance of artillery gun, then there don't exist Y, Z such that Y is an instance of human, Z is an instance of carrying, Y is an instrument for Z, and the object transferred in Z is X |
| (=> (instance ?GUN ArtilleryGun) (modalAttribute (exists (?W) (and (instance ?W Wheel) (part ?W ?GUN))) Likely)) |
Mid-level-ontology.kif 1899-1905 | If X is an instance of artillery gun, then the statement there exists Y such that Y is an instance of wheel and Y is a part of X has the modal force of likely |
| (=> (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 1907-1917 | If X is an instance of artillery gun, Y is an instance of wheel, and Y is a part of X, then Y has the purpose there exists Z such that Z is an instance of translocation, the object transferred in Z is X, and Y is an instrument for Z |
| consequent |
|
|
| (=> (instance ?AB ArtilleryBattery) (exists (?COLL ?I) (and (instance ?COLL CollectionOfObjects) (memberType ?COLL ArtilleryGun) (memberCount ?COLL ?I) (greaterThan ?I 2) (possesses ?AB ?COLL)))) |
MilitaryPersons.kif 508-516 | If X is an instance of artillery battery, then there exist Y, Z such that Y is an instance of collection, artillery gun is a member type of Y, Z is a member count of Y, Z is greater than 2, and X possesses Y |
|