... DISPLACEMENT of 320 and a LENGTH of 144. (4) 7%11 aircraft carriers in the ONR database have R~S of 0, FUEL TYPE of BNKR, FLAG of BLBL, BEAM of 252, ENDURANCE RANGE of 4000, ECONOMIC SPEED of 12, ... and OFFICIAL NAME. 4) Ocean escorts have a DISPLACEMENT ~tween 3400 and 4100. 5) All ocean escorts in the ONR database have R~MARKS of 0, FUEL TYPE of BNKR, FLAG of BLBL and MAST HEIGHT of ... (breakdowns) of objects in the domain. Knowledge of the database structure is needed in order to convey these breakdowns in terms of the database attributes. It should be noted that this type of axiom...