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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MilitaryVehicle

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 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 130-130 子類 軍車 and 軍事平台
(subclass MilitaryVehicle Vehicle) Military.kif 131-131 子類 軍車 and 車輛

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


(subclass AAV MilitaryVehicle) MilitaryDevices.kif 1646-1646 子類 AAV and 軍車
(subclass AH1 MilitaryVehicle) MilitaryDevices.kif 1890-1890 子類 A h1 and 軍車
(subclass AMEV MilitaryVehicle) MilitaryDevices.kif 2128-2128 子類 AMEV and 軍車
(subclass APC MilitaryVehicle) MilitaryDevices.kif 1571-1571 子類 APC and 軍車
(subclass CH46D MilitaryVehicle) MilitaryDevices.kif 1830-1830 子類 C h46 d and 軍車
(subclass CH53E MilitaryVehicle) MilitaryDevices.kif 1769-1769 子類 C h53 e and 軍車
(subclass Harrier2 MilitaryVehicle) MilitaryDevices.kif 1734-1734 子類 鷂2 and 軍車
(subclass LCAC MilitaryVehicle) MilitaryDevices.kif 1945-1945 子類 LCAC and 軍車
(subclass MilitaryAircraft MilitaryVehicle) Military.kif 156-156 子類 軍用飛機 and 軍車
(subclass MilitarySupportVehicle MilitaryVehicle) Military.kif 195-195 子類 軍事支援車輛 and 軍車
(subclass MilitaryTank MilitaryVehicle) Military.kif 145-145 子類 軍用坦克 and 軍車
(termFormat ChineseLanguage MilitaryVehicle "军车") domainEnglishFormat.kif 37769-37769
(termFormat ChineseTraditionalLanguage MilitaryVehicle "軍車") domainEnglishFormat.kif 37768-37768
(termFormat EnglishLanguage MilitaryVehicle "military vehicle") domainEnglishFormat.kif 37767-37767

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


(domain weaponCarryingCapability 1 MilitaryVehicle) MilitaryDevices.kif 23-23 武器攜帶能力, 1 and 軍車

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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