Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Convoy
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Convoy CollectionOfObjects) | Mid-level-ontology.kif 24602-24602 | Convoy is a subclass of collection |
| (documentation Convoy EnglishLanguage "A group of Vehicles that all are being driven in formation (e.g., lines, rows, columns) to the same destination. That destination may be an intermediate destination on the way to a final destination for some of the vehicles however. This is distinguished from vehicles that have no common purpose, such as traffic on a Expressway. This includes cases where some of the AutonomousAgents driving the vehicles intend to reach a point but fail to do so.") | Mid-level-ontology.kif 24603-24609 | Convoy is a subclass of collection |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?C Convoy) (exists (?V1 ?V2 ?TIME) (and (not (equal ?V1 ?V2)) (instance ?V1 Vehicle) (instance ?V2 Vehicle) (instance ?TIME TimeInterval) (temporalPart ?TIME (WhenFn ?C)) (holdsDuring ?TIME (and (member ?V1 ?C) (member ?V2 ?C)))))) |
Mid-level-ontology.kif 24611-24623 | If X is an instance of convoy, then All of the following hold: (1) there exist Y, Z (2) W such that equal Y (3) Z (4) Y is an instance of vehicle (5) Z is an instance of vehicle (6) W is an instance of timeframe (7) W is a part of the time of existence of X (8) Y is a member of X (9) Z is a member of X holds during W |
| (=> (and (instance ?C Convoy) (member ?VEH ?C)) (exists (?DRIVE) (and (instance ?DRIVE Driving) (overlapsTemporally (WhenFn ?DRIVE) (WhenFn ?C)) (patient ?DRIVE ?VEH)))) |
Mid-level-ontology.kif 24625-24633 | If X is an instance of convoy and Y is a member of X, then there exists Z such that Z is an instance of driving, the time of existence of X overlaps the time of existence of Z, and Y is a patient of Z |
| (=> (instance ?C Convoy) (attribute ?C LineFormation)) |
Mid-level-ontology.kif 24635-24637 | If X is an instance of convoy, then line formation is an attribute of X |
| (=> (and (instance ?C Convoy) (member ?X1 ?C) (member ?X2 ?C) (not (equal ?X1 ?X2))) (exists (?P1 ?P2 ?D) (and (instance ?P1 Transportation) (instance ?P2 Transportation) (agent ?P1 ?X1) (agent ?P2 ?X2) (destination ?P1 ?D) (destination ?P2 ?D)))) |
Military.kif 110-124 | If X is an instance of convoy, Y is a member of X, Z is a member of X, and equal Y and Z, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of transportation (3) V is an instance of transportation (4) Y is an agent of W (5) Z is an agent of V (6) W ends up at U (7) V ends up at U |
|