Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ArleighBurkeClassDDG
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ArleighBurkeClassDDG GuidedMissileDestroyer) | Military.kif 440-440 | Arleigh Burke Class DDG is a subclass of guided missile destroyer |
| (documentation ArleighBurkeClassDDG EnglishLanguage "The ArleighBurkeClassDDG (DDG)is a United States Navy class of destroyers centered around the Aegis Combat System and the SPY-1D multifunction passive electronically scanned array radar.It has an overall length of 505 to 509.5 feet, displacement ranging from 8,300 to 9,700 tons, and weaponry including over 90 missiles. [Wikipedia]") | Military.kif 441-445 | Arleigh Burke Class DDG is a subclass of guided missile destroyer |
| (manufacturer ArleighBurkeClassDDG LockheedMartin) | Military.kif 460-460 | The maker of Arleigh Burke Class DDG is Lockheed Martin |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ArleighBurkeClassDDG "Arleigh Burke Class DDG") | Military.kif 446-446 | |
| (typicalPart AegisCombatSystem ArleighBurkeClassDDG) | Military.kif 447-447 | A Aegis combat system is typically a part of a Arleigh Burke Class DDG |
| antecedent |
|
|
| (=> (instance ?A ArleighBurkeClassDDG) (possesses USMilitary ?A)) |
Military.kif 449-451 | If X is an instance of Arleigh Burke Class DDG, then US military possesses X |
|