Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Fleet(Fleet) |  | Invincible_Armada, Spanish_Armada, armada, battle_fleet, fleet, flotilla, motor_pool |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Fleet "Fleet") | Mid-level-ontology.kif 4141-4141 |
| antecedent |
|
|
| (=> (instance ?FLEET Fleet) (memberType ?FLEET Vehicle)) |
Mid-level-ontology.kif 4143-4145 | If X is an instance of Fleet, then vehicle is a member type of X |
| (=> (and (instance ?FLEET Fleet) (fleetSize ?AGENT ?NUM) (possesses ?AGENT ?FLEET)) (memberCount ?FLEET ?NUM)) |
Mid-level-ontology.kif 4155-4160 | If X is an instance of Fleet, Y has a fleet of Z vehicles, and Y possesses X, then Z is a member count of X |
| consequent |
|
|
| (=> (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 |
| (=> (instance ?AIRLINE Airline) (exists (?FLEET ?AIRCRAFT) (and (instance ?FLEET Fleet) (possesses ?AIRLINE ?FLEET) (instance ?AIRCRAFT Aircraft) (member ?AIRCRAFT ?FLEET)))) |
Transportation.kif 5006-5013 | If X is an instance of Airline, then there exist Y, Z such that Y is an instance of Fleet, X possesses Y, Z is an instance of aircraft, and Z is a member of Y |
|