Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BoeingFA18EFSuperHornet(Boeing F/A-18E/F Super Hornet) |
| appearance as argument number 1 |
|
| (subclass BoeingFA18EFSuperHornet Flighter) | Military.kif 260-260 | Boeing F/A-18E/F Super Hornet is a subclass of Flighter |
| (documentation BoeingFA18EFSuperHornet EnglishLanguage "Boeing F/A-18E and Boeing F/ A-18F Super Hornet are a series of American supersonic twin-engine, carrier capable, multirole fighter aircraft derived from the McDonnell Douglas F/ A 18 Hornet. The Super Hornet is in service with the armed forces of the United States, Austrelia and Kuwait. The F/ A-18E single-seated anf F tandem-seat variants are larger and more advanced versions of the F/ A-18C and D Hornet, respectively. [Wikipedia]") | Military.kif 261-266 | Boeing F/A-18E/F Super Hornet is a subclass of Flighter |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BoeingFA18EFSuperHornet "Boeing F/A-18E/F Super Hornet") | Military.kif 267-267 |
| antecedent |
|
|
| (=> (instance ?F BoeingFA18EFSuperHornet) (attribute ?F Supersonic)) |
Military.kif 269-271 | If X is an instance of Boeing F/A-18E/F Super Hornet, then Supersonic is an attribute of X |
|