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 142-145
(externalImage MilitaryVehicle "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Military_vehicle_Bv206_in_Jaeger_Brigade_1997.jpg") pictureList-ImageNet.kif 443-443
(externalImage MilitaryVehicle "http://upload.wikimedia.org/wikipedia/commons/ archive/ c/ cc/ 20070917210111!Military_vehicle_Sisu_SA-150.jpg") pictureList-ImageNet.kif 442-442
(externalImage MilitaryVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Military_vehicle_Sisu_SA-150.jpg") pictureList-ImageNet.kif 441-441
(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 440-440
(externalImage MilitaryVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ cf/ M113.jpg/ 180px_M113.jpg") pictureList.kif 1185-1185
(subclass MilitaryVehicle MilitaryPlatform) Military.kif 140-140 Military vehicle is a subclass of military platform
(subclass MilitaryVehicle Vehicle) Military.kif 141-141 Military vehicle is a subclass of vehicle

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


(subclass MilitaryAircraft MilitaryVehicle) Military.kif 233-233 Military aircraft is a subclass of military vehicle
(subclass MilitarySupportVehicle MilitaryVehicle) Military.kif 272-272 Military support vehicle is a subclass of military vehicle
(subclass MilitaryTank MilitaryVehicle) Military.kif 155-155 Military tank is a subclass of military vehicle
(termFormat ChineseLanguage MilitaryVehicle "军车") domainEnglishFormat.kif 37778-37778 Military tank is a subclass of military vehicle
(termFormat ChineseTraditionalLanguage MilitaryVehicle "軍車") domainEnglishFormat.kif 37777-37777 Military tank is a subclass of military vehicle
(termFormat EnglishLanguage MilitaryVehicle "military vehicle") domainEnglishFormat.kif 37776-37776 Military tank is a subclass of military vehicle

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 274-279
(=>
    (instance ?V MilitaryVehicle)
    (hasPurpose ?V
        (exists (?O)
            (and
                (instance ?O MilitaryOrganization)
                (uses ?V ?O)))))
Military.kif 147-153

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


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


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