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 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 MilitaryVehicleMilitaryPlatformsubclass では
(subclass MilitaryVehicle Vehicle) Military.kif 141-141 MilitaryVehicleVehiclesubclass では

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


(subclass AAV MilitaryVehicle) MilitaryDevices.kif 1803-1803 AAVMilitaryVehiclesubclass では
(subclass AH1 MilitaryVehicle) MilitaryDevices.kif 2047-2047 AH1MilitaryVehiclesubclass では
(subclass AMEV MilitaryVehicle) MilitaryDevices.kif 2285-2285 AMEVMilitaryVehiclesubclass では
(subclass APC MilitaryVehicle) MilitaryDevices.kif 1728-1728 APCMilitaryVehiclesubclass では
(subclass CH46D MilitaryVehicle) MilitaryDevices.kif 1987-1987 CH46DMilitaryVehiclesubclass では
(subclass CH53E MilitaryVehicle) MilitaryDevices.kif 1926-1926 CH53EMilitaryVehiclesubclass では
(subclass Harrier2 MilitaryVehicle) MilitaryDevices.kif 1891-1891 Harrier2MilitaryVehiclesubclass では
(subclass LCAC MilitaryVehicle) MilitaryDevices.kif 2102-2102 LCACMilitaryVehiclesubclass では
(subclass MilitaryAircraft MilitaryVehicle) Military.kif 233-233 MilitaryAircraftMilitaryVehiclesubclass では
(subclass MilitarySupportVehicle MilitaryVehicle) Military.kif 272-272 MilitarySupportVehicleMilitaryVehiclesubclass では
(subclass MilitaryTank MilitaryVehicle) Military.kif 155-155 MilitaryTankMilitaryVehiclesubclass では
(termFormat ChineseLanguage MilitaryVehicle "军车") domainEnglishFormat.kif 37778-37778 MilitaryTankMilitaryVehiclesubclass では
(termFormat ChineseTraditionalLanguage MilitaryVehicle "軍車") domainEnglishFormat.kif 37777-37777 MilitaryTankMilitaryVehiclesubclass では
(termFormat EnglishLanguage MilitaryVehicle "military vehicle") domainEnglishFormat.kif 37776-37776 MilitaryTankMilitaryVehiclesubclass では

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


(domain weaponCarryingCapability 1 MilitaryVehicle) MilitaryDevices.kif 23-23 weaponCarryingCapability の数値 1 引数は MilitaryVehicleinstance では

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