Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 20165-20171
(subclass Convoy Collection) Mid-level-ontology.kif 20164-20164 Convoy is a subclass of collection

appearance as argument number 2

(subclass MilitaryConvoy Convoy) Military.kif 98-98 Military convoy is a subclass of convoy
(termFormat ChineseLanguage Convoy "护航") domainEnglishFormat.kif 17065-17065
(termFormat ChineseTraditionalLanguage Convoy "護航") domainEnglishFormat.kif 17064-17064
(termFormat EnglishLanguage Convoy "convoy") domainEnglishFormat.kif 17063-17063


        (instance ?C Convoy)
        (member ?VEH ?C))
    (exists (?DRIVE)
            (instance ?DRIVE Driving)
                (WhenFn ?DRIVE)
                (WhenFn ?C))
            (patient ?DRIVE ?VEH))))
Mid-level-ontology.kif 20204-20212
        (instance ?C Convoy)
        (member ?X1 ?C)
        (member ?X2 ?C)
            (equal ?X1 ?X2)))
    (exists (?P1 ?P2 ?D)
            (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 20226-20228
    (instance ?C Convoy)
    (exists (?V1 ?V2 ?TIME)
                (equal ?V1 ?V2))
            (instance ?V1 Vehicle)
            (instance ?V2 Vehicle)
            (instance ?TIME TimeInterval)
            (temporalPart ?TIME
                (WhenFn ?C))
            (holdsDuring ?TIME
                    (member ?V1 ?C)
                    (member ?V2 ?C))))))
Mid-level-ontology.kif 20181-20193

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners