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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Convoy
Convoy(convoy)convoy

appearance as argument number 1
-------------------------


s__documentation(s__Convoy,s__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 20829-20835
s__instance(s__Convoy,s__SetOrClass)

s__subclass(s__Convoy,s__Collection)

s__instance(s__Collection,s__SetOrClass)

Mid-level-ontology.kif 20828-20828 Convoy is a subclass of collection

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


s__instance(s__Convoy,s__SetOrClass)

s__instance(s__MilitaryConvoy,s__SetOrClass)

s__subclass(s__MilitaryConvoy,s__Convoy)

Military.kif 98-98 Military convoy is a subclass of convoy
s__termFormat(s__ChineseLanguage,s__Convoy,'"护航"')

domainEnglishFormat.kif 17133-17133
s__termFormat(s__ChineseTraditionalLanguage,s__Convoy,'"護航"')

domainEnglishFormat.kif 17132-17132
s__termFormat(s__EnglishLanguage,s__Convoy,'"convoy"')

domainEnglishFormat.kif 17131-17131

antecedent
-------------------------


( ! [V__C,V__VEH] :
   ((s__instance(V__VEH,s__Physical) =>
       (((s__instance(V__C,s__Convoy) &
             s__member(V__VEH,V__C))
         =>
         (( ? [V__DRIVE] :
             ((s__instance(V__DRIVE,s__Driving) &
                 s__overlapsTemporally(s__WhenFn(V__DRIVE)
              ,s__WhenFn(V__C))
           &
           s__patient(V__DRIVE,V__VEH))))))))
)
)

Mid-level-ontology.kif 20853-20861
( ! [V__C,V__X1,V__X2] :
   (((s__instance(V__X1,s__Agent) &
         s__instance(V__X2,s__Agent))
       =>
       (((s__instance(V__C,s__Convoy) &
             s__member(V__X1,V__C)
           &
           s__member(V__X2,V__C)
         &
         ~((V__X1 = V__X2)))
       =>
       (( ? [V__P1, V__P2, V__D] :
           ((s__instance(V__P1,s__Transportation) &
               s__instance(V__P2,s__Transportation) &
               s__agent(V__P1,V__X1)
             &
             s__agent(V__P2,V__X2)
           &
           s__destination(V__P1,V__D)
         &
         s__destination(V__P2,V__D))))))))
)
)

Military.kif 108-122
( ! [V__C] :
   ((s__instance(V__C,s__Convoy) =>
       (s__attribute(V__C,s__LineFormation)))
     )
   )

Mid-level-ontology.kif 20863-20865
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20839-20851


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 3.0 is open source software produced by Articulate Software and its partners