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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryVehicle
MilitaryVehicle(military vehicle)
more pictures...
caisson, military_vehicle, platform, weapons_platform

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


(documentation MilitaryVehicle EnglishLanguage "Any Vehicle which is intended to be used by a MilitaryOrganization. Military platforms which are also vehicles. This would include things like airplanes and tanks, but exclude things like towed platforms.") Military.kif 132-135
(externalImage MilitaryVehicle "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Military_vehicle_Bv206_in_Jaeger_Brigade_1997.jpg") pictureList-ImageNet.kif 444-444 "http://upload.wikimedia.org/wikipedia/commons/8/81/ Military_vehicle_Bv206_in_Jaeger_Brigade_1997.jpg" is a URL depicting military vehicle
(externalImage MilitaryVehicle "http://upload.wikimedia.org/wikipedia/commons/ archive/ c/ cc/ 20070917210111!Military_vehicle_Sisu_SA-150.jpg") pictureList-ImageNet.kif 443-443 "http://upload.wikimedia.org/wikipedia/commons/archive/ c/ cc/ 20070917210111!Military_vehicle_Sisu_SA-150.jpg" is a URL depicting military vehicle
(externalImage MilitaryVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Military_vehicle_Sisu_SA-150.jpg") pictureList-ImageNet.kif 442-442 "http://upload.wikimedia.org/wikipedia/commons/c/cc/ Military_vehicle_Sisu_SA-150.jpg" is a URL depicting military vehicle
(externalImage MilitaryVehicle "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ Armenian_Presidential_Elections_2008_Protest_Day_11_-_1215AM_Torched_military_vehicle.jpg") pictureList-ImageNet.kif 441-441 "http://upload.wikimedia.org/wikipedia/commons/f/fe/ Armenian_Presidential_Elections_2008_Protest_Day_11_-_1215AM_Torched_military_vehicle.jpg" is a URL depicting military vehicle
(externalImage MilitaryVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ cf/ M113.jpg/ 180px-M113.jpg") pictureList.kif 1186-1186 "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cf/ M113.jpg/ 180px-M113.jpg" is a URL depicting military vehicle
(subclass MilitaryVehicle MilitaryPlatform) Military.kif 130-130 Military vehicle is a subclass of military platform
(subclass MilitaryVehicle Vehicle) Military.kif 131-131 Military vehicle is a subclass of vehicle

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


(subclass AAV MilitaryVehicle) MilitaryDevices.kif 1645-1645 AA v is a subclass of military vehicle
(subclass AH1 MilitaryVehicle) MilitaryDevices.kif 1889-1889 A h1 is a subclass of military vehicle
(subclass APC MilitaryVehicle) MilitaryDevices.kif 1570-1570 AP c is a subclass of military vehicle
(subclass CH46D MilitaryVehicle) MilitaryDevices.kif 1829-1829 C h46 d is a subclass of military vehicle
(subclass CH53E MilitaryVehicle) MilitaryDevices.kif 1768-1768 C h53 e is a subclass of military vehicle
(subclass Harrier2 MilitaryVehicle) MilitaryDevices.kif 1733-1733 Harrier2 is a subclass of military vehicle
(subclass LCAC MilitaryVehicle) MilitaryDevices.kif 1944-1944 LCA c is a subclass of military vehicle
(subclass MilitaryAircraft MilitaryVehicle) Military.kif 156-156 Military aircraft is a subclass of military vehicle
(subclass MilitarySupportVehicle MilitaryVehicle) Military.kif 195-195 Military support vehicle is a subclass of military vehicle
(subclass MilitaryTank MilitaryVehicle) Military.kif 145-145 Military tank is a subclass of military vehicle
(termFormat EnglishLanguage MilitaryVehicle "military vehicle") domainEnglishFormat.kif 6715-6715 "military vehicle" is the printable form of military vehicle in english language

appearance as argument number 3
-------------------------


(domain weaponCarryingCapability 1 MilitaryVehicle) MilitaryDevices.kif 23-23 The number 1 argument of weapon carrying capability is an instance of military vehicle

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


(=>
    (instance ?MV MilitaryVehicle)
    (and
        (instance ?A MilitaryForce)
        (possesses ?A ?MV)
        (capability MilitaryProcess patient ?MV)))
Military.kif 197-202
(=>
    (instance ?V MilitaryVehicle)
    (hasPurpose ?V
        (exists (?O)
            (and
                (instance ?O MilitaryOrganization)
                (uses ?V ?O)))))
Military.kif 137-143

consequent
-------------------------


(=>
    (and
        (instance ?MC MilitaryConvoy)
        (member ?X ?MC))
    (instance ?X MilitaryVehicle))
Military.kif 102-106
(=>
    (and
        (part ?WEAPON ?MV)
        (instance ?MV Vehicle))
    (instance ?MV MilitaryVehicle))
MilitaryDevices.kif 61-65


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners