| Convoy | |
| appearance as argument number 1 |
|
|
| (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 freeway. This includes cases where some of the agents driving the vehicles intend to reach a point but fail to do so.") | Mid-level-ontology.kif 22607-22613 | |
| (subclass Convoy Collection) | Mid-level-ontology.kif 22606-22606 |
| appearance as argument number 2 |
|
|
| (subclass MilitaryConvoy Convoy) | Military.kif 98-98 | |
| (termFormat ChineseLanguage Convoy "护航") | domainEnglishFormat.kif 17153-17153 | |
| (termFormat ChineseTraditionalLanguage Convoy "護航") | domainEnglishFormat.kif 17152-17152 | |
| (termFormat EnglishLanguage Convoy "convoy") | domainEnglishFormat.kif 17151-17151 |
| antecedent |
|
|
| (=> (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 22631-22639 | |
| (=> (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 108-122 | |
| (=> (instance ?C Convoy) (attribute ?C LineFormation)) |
Mid-level-ontology.kif 22641-22643 | |
| (=> (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 22617-22629 |
|
|
|