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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Convoy

Sigma KEE - Convoy
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 22323-22329
(subclass Convoy Collection) Mid-level-ontology.kif 22322-22322 Convoy e' uma sub-classe de Colecao

appearance as argument number 2
-------------------------


(subclass MilitaryConvoy Convoy) Military.kif 98-98 MilitaryConvoy e' uma sub-classe de Convoy
(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 22347-22355
(=>
    (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 22357-22359
(=>
    (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 22333-22345


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners