AppleIPhoneOS111
|
|
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 22376-22382 | |
(subclass Convoy Collection) | Mid-level-ontology.kif 22375-22375 |
appearance as argument number 2 |
(subclass MilitaryConvoy Convoy) | Military.kif 98-98 | |
(termFormat ChineseLanguage Convoy "护航") | domainEnglishFormat.kif 17142-17142 | |
(termFormat ChineseTraditionalLanguage Convoy "護航") | domainEnglishFormat.kif 17141-17141 | |
(termFormat EnglishLanguage Convoy "convoy") | domainEnglishFormat.kif 17140-17140 |
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 22400-22408 | |
(=> (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 22410-22412 | |
(=> (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 22386-22398 |