Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GuidedMissileDestroyer(guided missile destroyer) |
| appearance as argument number 1 |
|
| (subclass GuidedMissileDestroyer Destroyer) | Military.kif 321-321 | Guided missile destroyer is a subclass of Destroyer |
| (documentation GuidedMissileDestroyer EnglishLanguage "A GuidedMissileDestroyer (DDG) is a Destroyer whose primary armament is GuidedMissiles so they can provide anti-aircraft warefare MilitaryScreeningTactic for the fleet. [Wikipedia]") | Military.kif 322-324 | Guided missile destroyer is a subclass of Destroyer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GuidedMissileDestroyer "guided missile destroyer") | Military.kif 325-325 | |
| (names "DDG" GuidedMissileDestroyer) | Military.kif 326-326 | Guided missile destroyer has name "DDG" |
| (subclass ArleighBurkeClassDDG GuidedMissileDestroyer) | Military.kif 440-440 | Arleigh Burke Class DDG is a subclass of guided missile destroyer |
| antecedent |
|
|
| (=> (instance ?D GuidedMissileDestroyer) (hasPurpose ?D (exists (?C ?G) (and (instance ?C Carrying) (instrument ?C ?D) (patient ?C ?G) (instance ?G GuidedMissile))))) |
Military.kif 328-336 | If X is an instance of guided missile destroyer, then X has the purpose there exist Y, Z such that Y is an instance of carrying, X is an instrument for Y, Z is a patient of Y, and Z is an instance of guided missile |
| (=> (instance ?D GuidedMissileDestroyer) (and (capability AntiAircraftWarfare instrument ?D) (capability MilitaryScreeningTactic instrument ?D))) |
Military.kif 349-353 | If X is an instance of guided missile destroyer, then X is capable of doing anti-aircrraft warfare as a instrument and X is capable of doing military screening tactic as a instrument |
|