Sigma KB Term Intersection

(subclass MilitaryVehicle MilitaryPlatform)	Military.kif 130-130	MilitaryVehicle は MilitaryPlatform の subclass では %n
(subclass MilitaryVehicle Vehicle)	Military.kif 131-131	MilitaryVehicle は Vehicle の subclass では %n
(subclass MilitaryTank MilitaryVehicle)	Military.kif 145-145	MilitaryTank は MilitaryVehicle の subclass では %n
(subclass MilitaryAircraft MilitaryVehicle)	Military.kif 156-156	MilitaryAircraft は MilitaryVehicle の subclass では %n
(subclass MilitarySupportVehicle MilitaryVehicle)	Military.kif 195-195	MilitarySupportVehicle は MilitaryVehicle の subclass では %n
(subclass APC MilitaryVehicle)	MilitaryDevices.kif 1571-1571	APC は MilitaryVehicle の subclass では %n
(subclass AAV MilitaryVehicle)	MilitaryDevices.kif 1646-1646	AAV は MilitaryVehicle の subclass では %n
(subclass Harrier2 MilitaryVehicle)	MilitaryDevices.kif 1734-1734	Harrier2 は MilitaryVehicle の subclass では %n
(subclass CH53E MilitaryVehicle)	MilitaryDevices.kif 1769-1769	CH53E は MilitaryVehicle の subclass では %n
(subclass CH46D MilitaryVehicle)	MilitaryDevices.kif 1830-1830	CH46D は MilitaryVehicle の subclass では %n
(subclass AH1 MilitaryVehicle)	MilitaryDevices.kif 1890-1890	AH1 は MilitaryVehicle の subclass では %n
(subclass LCAC MilitaryVehicle)	MilitaryDevices.kif 1945-1945	LCAC は MilitaryVehicle の subclass では %n
(subclass AMEV MilitaryVehicle)	MilitaryDevices.kif 2128-2128	AMEV は MilitaryVehicle の subclass では %n