Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ContinuousTrack
|
|
|
| appearance as argument number 1 |
|
|
| (instance ContinuousTrack VehicleWheel) | Military.kif 181-181 | Continuous track is an instance of vehicle wheel |
| (documentation ContinuousTrack EnglishLanguage "ContinuousTrack or tracked treads are a system of vehicle propulsion used in tracked vehicles, running on a continuous band of treads or track plates driven by two or more wheels.Modern continuous tracks can be made with soft belts of synthetic rubber, reinforced with steel wires, in the case of lighter agricultural machinery. The more common classical type is a solid chain track made of steel plates (with or without rubber pads), also called caterpillar tread or tank tread, which is preferred for robust and heavy construction vehicles and military vehicles.[Wikipedia]") | Military.kif 182-188 | Continuous track is an instance of vehicle wheel |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ContinuousTrack "Continuous track") | Military.kif 189-189 |
| antecedent |
|
|
| (=> (and (instance ?R Rotating) (patient ?R ?TRACK) (instance ?TRACK ContinuousTrack)) (exists (?COLL ?MEM ?I ?TREAD ?R2) (and (instance ?COLL CollectionOfObjects) (member ?MEM ?COLL) (instance ?MEM Wheel) (memberCount ?MEM ?I) (greaterThan ?I 2) (part ?COLL ?TRACK) (part ?TREAD ?TRACK) (instance ?TREAD CorpuscularObject) (shape ?TREAD LongAndThin) (attribute ?TREAD Pliable) (located ?COLL ?TREAD) (instance ?R2 Rotating) (causes ?R2 ?R)))) |
Military.kif 195-214 | If X is an instance of rotating, Y is a patient of X, and Y is an instance of Continuous track, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Z is an instance of collection (3) W is a member of Z (4) W is an instance of wheel (5) V is a member count of W (6) V is greater than 2 (7) Z is a part of Y (8) U is a part of Y (9) U is an instance of corpuscular object (10) U is long and thin (11) pliable is an attribute of U (12) Z is located at U (13) T is an instance of rotating (14) T causes X |
| (=> (instance ?TRACK ContinuousTrack) (hasPurpose ?TRACK (exists (?R ?V ?T) (and (instance ?R Rotating) (patient ?R ?TRACK) (part ?TRACK ?V) (instance ?V LandVehicle) (instance ?T Translocation) (patient ?T ?V) (causes ?R ?T) (subProcess ?R ?T))))) |
Military.kif 216-228 | If X is an instance of Continuous track, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of rotating (3) X is a patient of Y (4) X is a part of Z (5) Z is an instance of land vehicle (6) W is an instance of translocation (7) Z is a patient of W (8) Y causes W (9) Y is a subprocess of W |
| consequent |
|
|
| (=> (instance ?TANK MilitaryTank) (exists (?TRACK ?GUN) (and (instance ?TRACK ContinuousTrack) (part ?TRACK ?TANK) (instance ?GUN ArtilleryCannon) (part ?GUN ?TANK)))) |
Military.kif 162-169 | If X is an instance of military tank, then there exist Y, Z such that Y is an instance of Continuous track, Y is a part of X, Z is an instance of artillery cannon, and Z is a part of X |
|