Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  AmphibiousVehicle

 Sigma KEE - AmphibiousVehicle
AmphibiousVehicle(amphibious vehicle)

appearance as argument number 1
-------------------------


(subclass AmphibiousVehicle LandVehicle) MilitaryDevices.kif 2172-2172 Amphibious vehicle is a subclass of land vehicle
(subclass AmphibiousVehicle WaterVehicle) MilitaryDevices.kif 2173-2173 Amphibious vehicle is a subclass of water vehicle
(documentation AmphibiousVehicle EnglishLanguage "The class of vehicles that can go on land and water") MilitaryDevices.kif 2174-2175 Amphibious vehicle is a subclass of water vehicle
(externalImage AmphibiousVehicle "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 7/ 72/ AAV_australia.jpg/ 751px_AAV_australia.jpg") pictureList.kif 1426-1426 Amphibious vehicle is a subclass of water vehicle
(externalImage AmphibiousVehicle "http://upload.wikimedia.org/wikipedia/ commons/ d/ d6/ BTR-70_coming_ashore.jpg") pictureList.kif 1638-1638 Amphibious vehicle is a subclass of water vehicle

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


(subclass LAV25 AmphibiousVehicle) MilitaryDevices.kif 1678-1678 LAV25 is a subclass of amphibious vehicle
(subclass AAV AmphibiousVehicle) MilitaryDevices.kif 1804-1804 Amphibious Assault Vehicle is a subclass of amphibious vehicle
(subclass LCAC AmphibiousVehicle) MilitaryDevices.kif 2101-2101 LCAC is a subclass of amphibious vehicle
(termFormat EnglishLanguage AmphibiousVehicle "amphibious vehicle") domainEnglishFormat.kif 7283-7283 LCAC is a subclass of amphibious vehicle
(termFormat ChineseTraditionalLanguage AmphibiousVehicle "兩棲車輛") domainEnglishFormat.kif 7284-7284 LCAC is a subclass of amphibious vehicle
(termFormat ChineseLanguage AmphibiousVehicle "两栖车辆") domainEnglishFormat.kif 7285-7285 LCAC is a subclass of amphibious vehicle

antecedent
-------------------------


(=>
    (instance ?VEHICLE AmphibiousVehicle)
    (capability LandingWaterLand instrument ?VEHICLE))		 MilitaryDevices.kif 2179-2181 If X is an instance of amphibious vehicle, then X is capable of doing landing water land as a instrument

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


(=>
    (instance ?AR AmphibiousReconnaissance)
    (exists (?AMPHCRAFT)
        (and
            (instance ?AMPHCRAFT AmphibiousVehicle)
            (instrument ?AR ?AMPHCRAFT))))		 MilitaryProcesses.kif 795-800 If X is an instance of amphibious reconnaissance, then there exists Y such that Y is an instance of amphibious vehicle and Y is an instrument for X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners