Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryTank
MilitaryTank(military tank)
more pictures...
armored_combat_vehicle, armoured_combat_vehicle, army_tank, tank

appearance as argument number 1
-------------------------


(documentation MilitaryTank EnglishLanguage "A MilitaryVehicle that moves along the ground on treaded wheels and that contains a large cannon.") Military.kif 157-158
(externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ Sherman_M4_(Airborne_Museum)_01.JPG") pictureList-ImageNet.kif 570-570
(externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2e/ William_Orpen_A_Tank.jpg") pictureList-ImageNet.kif 571-571
(externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ b/ bf/ Challenger_Mark_I_Tank,_Bovington.jpg") pictureList-ImageNet.kif 566-566
(externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 10/ Leclerc_IMG_1744.jpg/ 300px_Leclerc_IMG_1744.jpg") pictureList-ImageNet.kif 564-564
(externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 46/ Tank_T-72.JPG/ 250px_Tank_T-72.JPG") pictureList-ImageNet.kif 561-561
(externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 49/ M4-Sherman_tank_European_theatre.jpg/ 180px_M4-Sherman_tank_European_theatre.jpg") pictureList-ImageNet.kif 565-565
(externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 50/ T-54-APC_latrun-2.jpg/ 800px_T-54-APC_latrun-2.jpg") pictureList-ImageNet.kif 569-569
(externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 73/ Iraq_m1_abrams.jpg/ 250px_Iraq_m1_abrams.jpg") pictureList.kif 1184-1184
(externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 7d/ Korean_K1_Tank.JPEG/ 700px_Korean_K1_Tank.JPEG") pictureList-ImageNet.kif 568-568
(externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 9e/ Bergepanzer2.jpg/ 240px_Bergepanzer2.jpg") pictureList-ImageNet.kif 573-573
(externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ bf/ DSCF1155.JPG/ 250px_DSCF1155.JPG") pictureList-ImageNet.kif 572-572
(externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d2/ M41A3-Walker_Bulldog_latrun-2.jpg/ 250px_M41A3-Walker_Bulldog_latrun-2.jpg") pictureList-ImageNet.kif 563-563
(externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d9/ M728_Combat_Engineer_Vehicle_woodland_from_right.jpg/ 120px_M728_Combat_Engineer_Vehicle_woodland_from_right.jpg") pictureList-ImageNet.kif 562-562
(externalImage MilitaryTank "http://upload.wikimedia.org/wikipedia/en/thumb/ 4/ 4f/ M9ace1.jpg/ 400px_M9ace1.jpg") pictureList-ImageNet.kif 567-567
(subclass MilitaryTank MilitaryVehicle) Military.kif 155-155 Military tank is a subclass of military vehicle
(subclass MilitaryTank RoadVehicle) Military.kif 156-156 Military tank is a subclass of road vehicle

appearance as argument number 2
-------------------------


(disjoint ArtilleryCannon MilitaryTank) MilitaryDevices.kif 172-172 Artillery cannon is disjoint from military tank
(termFormat ChineseLanguage MilitaryTank "军用坦克") domainEnglishFormat.kif 37766-37766 Artillery cannon is disjoint from military tank
(termFormat ChineseTraditionalLanguage MilitaryTank "軍用坦克") domainEnglishFormat.kif 37765-37765 Artillery cannon is disjoint from military tank
(termFormat EnglishLanguage MilitaryTank "military tank") domainEnglishFormat.kif 37764-37764 Artillery cannon is disjoint from military tank

antecedent
-------------------------


(=>
    (instance ?TANK MilitaryTank)
    (exists (?TRACK ?GUN)
        (and
            (instance ?TRACK ContinuousTrack)
            (part ?TRACK ?TANK)
            (instance ?GUN ArtilleryCannon)
            (part ?GUN ?TANK))))
Military.kif 160-167
(=>
    (instance ?TANK MilitaryTank)
    (hasPurpose ?TANK
        (exists (?A ?M)
            (and
                (instance ?A Attack)
                (subProcess ?A ?M)
                (instance ?M MilitaryAssault)
                (instrument ?A ?TANK)))))
Military.kif 169-177


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