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 MilitaryVehicle est une sous-classe de MilitaryPlatform
(subclass MilitaryVehicle Vehicle) Military.kif 141-141 MilitaryVehicle est une sous-classe de Vehicle

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


(subclass MilitaryAircraft MilitaryVehicle) Military.kif 233-233 MilitaryAircraft est une sous-classe de MilitaryVehicle
(subclass MilitarySupportVehicle MilitaryVehicle) Military.kif 272-272 MilitarySupportVehicle est une sous-classe de MilitaryVehicle
(subclass MilitaryTank MilitaryVehicle) Military.kif 155-155 MilitaryTank est une sous-classe de MilitaryVehicle
(termFormat ChineseLanguage MilitaryVehicle "军车") domainEnglishFormat.kif 37778-37778 MilitaryTank est une sous-classe de MilitaryVehicle
(termFormat ChineseTraditionalLanguage MilitaryVehicle "軍車") domainEnglishFormat.kif 37777-37777 MilitaryTank est une sous-classe de MilitaryVehicle
(termFormat EnglishLanguage MilitaryVehicle "military vehicle") domainEnglishFormat.kif 37776-37776 MilitaryTank est une sous-classe de MilitaryVehicle

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


(domain weaponCarryingCapability 1 MilitaryVehicle) MilitaryDevices.kif 23-23 Le nombre 1 argument de weaponCarryingCapability est une instance de MilitaryVehicle

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