Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Destroyer(Destroyer) |
| appearance as argument number 1 |
|
| (subclass Destroyer Warship) | Military.kif 303-303 | Destroyer is a subclass of warship |
| (documentation Destroyer EnglishLanguage "In naval terminology, a Destroyer is a fast, maneuverable, long-endurance warship intended to escort larger vessels in a fleet, convoy, or carrier battle group and defend them against a wide range of general threats. [Wikipedia]") | Military.kif 304-306 | Destroyer is a subclass of warship |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Destroyer "Destroyer") | Military.kif 307-307 | |
| (subclass GuidedMissileDestroyer Destroyer) | Military.kif 321-321 | Guided missile destroyer is a subclass of Destroyer |
| antecedent |
|
|
| (=> (instance ?D Destroyer) (hasPurpose ?D (exists (?P ?F) (and (instance ?P Protecting) (instrument ?P ?D) (patient ?P ?F) (instance ?F Fleet) (memberType ?F MilitaryWaterVehicle) (capability ViolentContest instrument ?D))))) |
Military.kif 309-319 | If X is an instance of Destroyer, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of protecting (3) X is an instrument for Y (4) Z is a patient of Y (5) Z is an instance of Fleet (6) military water vehicle is a member type of Z (7) X is capable of doing violent contest as a instrument |
|