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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryVehicle
MilitaryVehicle
more pictures...

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
(externalImage MilitaryVehicle "http://upload.wikimedia.org/wikipedia/commons/ archive/ c/ cc/ 20070917210111!Military_vehicle_Sisu_SA-150.jpg") pictureList-ImageNet.kif 443-443
(externalImage MilitaryVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Military_vehicle_Sisu_SA-150.jpg") pictureList-ImageNet.kif 442-442
(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
(externalImage MilitaryVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ cf/ M113.jpg/ 180px-M113.jpg") pictureList.kif 1186-1186
(subclass MilitaryVehicle MilitaryPlatform) Military.kif 130-130
(subclass MilitaryVehicle Vehicle) Military.kif 131-131

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


(subclass AAV MilitaryVehicle) MilitaryDevices.kif 1646-1646
(subclass AH1 MilitaryVehicle) MilitaryDevices.kif 1890-1890
(subclass APC MilitaryVehicle) MilitaryDevices.kif 1571-1571
(subclass CH46D MilitaryVehicle) MilitaryDevices.kif 1830-1830
(subclass CH53E MilitaryVehicle) MilitaryDevices.kif 1769-1769
(subclass Harrier2 MilitaryVehicle) MilitaryDevices.kif 1734-1734
(subclass LCAC MilitaryVehicle) MilitaryDevices.kif 1945-1945
(subclass MilitaryAircraft MilitaryVehicle) Military.kif 156-156
(subclass MilitarySupportVehicle MilitaryVehicle) Military.kif 195-195
(subclass MilitaryTank MilitaryVehicle) Military.kif 145-145
(termFormat ChineseLanguage MilitaryVehicle "军车") domainEnglishFormat.kif 37693-37693
(termFormat ChineseTraditionalLanguage MilitaryVehicle "軍車") domainEnglishFormat.kif 37692-37692
(termFormat EnglishLanguage MilitaryVehicle "military vehicle") domainEnglishFormat.kif 37691-37691

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


(domain weaponCarryingCapability 1 MilitaryVehicle) MilitaryDevices.kif 23-23

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