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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - path
path

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


s__documentation(s__path__m,s__ChineseLanguage,'"(path ?MOTION ?PATH)的意思是 ?PATH 是 ?MOTION 在上移动 的一条路线。例如:高速公路101以下命题的路径:那辆车驶向高速公路101。"')

chinese_format.kif 3000-3001
s__documentation(s__path__m,s__EnglishLanguage,'"(path ?MOTION ?PATH) means that ?PATH is a route along which ?MOTION occurs. For example, Highway 101 is the path in the following proposition: the car drove up Highway 101."')

Merge.kif 10645-10647
s__domain(s__path__m,n__1,s__Motion)

Merge.kif 10642-10642 The number 1 argument of path is an instance of motion
s__domain(s__path__m,n__2,s__Object)

Merge.kif 10643-10643 The number 2 argument of path is an instance of object
s__instance(s__CaseRole,s__Class)

s__instance(s__path__m,s__CaseRole)

Merge.kif 10637-10637 path is an instance of case role
s__instance(s__TotalValuedRelation,s__Class)

s__instance(s__path__m,s__TotalValuedRelation)

Merge.kif 10638-10638 path is an instance of total valued relation
s__subrelation(s__path__m,s__eventPartlyLocated__m)

Merge.kif 10641-10641 path is a subrelation of event partly located

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


s__format(s__ChineseLanguage,s__path__m,'"%2%n是%1发生的path"')

chinese_format.kif 575-575
s__format(s__EnglishLanguage,s__path__m,'"%2 is %n path along which %1 occurs"')

english_format.kif 580-580
s__termFormat(s__ChineseLanguage,s__path__m,'"路径"')

chinese_format.kif 576-576
s__termFormat(s__ChineseTraditionalLanguage,s__path__m,'"路徑"')

domainEnglishFormat.kif 44742-44742
s__termFormat(s__EnglishLanguage,s__path__m,'"path"')

domainEnglishFormat.kif 44741-44741

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


( ! [V__O1,V__O2,V__O3,V__T,V__PATH] :
   (((s__instance(V__O1,s__Object) &
         s__instance(V__O2,s__Object) &
         s__instance(V__O3,s__Object) &
         s__instance(V__PATH,s__Object))
       =>
       (((s__betweenOnPath(V__O1,V__O2,V__O3,V__PATH)
           &
           s__instance(V__T,s__Transfer) &
           s__path(V__T,V__PATH)
         &
         s__origin(V__T,V__O1)
       &
       s__destination(V__T,V__O3))
   =>
   ((s__beforeOnPath(V__O1,V__O2,V__PATH,V__T)
     &
     s__beforeOnPath(V__O2,V__O3,V__PATH,V__T))))))
)
)

Mid-level-ontology.kif 29022-29031
( ! [V__PATH,V__CONN,V__COM] :
   ((s__instance(V__PATH,s__Object) =>
       (((s__instance(V__CONN,s__WirelessNetwork) &
             s__instance(V__COM,s__NetworkCommunication) &
             s__instrument(V__COM,V__CONN)
           &
           s__path(V__COM,V__PATH))
       =>
       (( ? [V__PART] :
           ((s__instance(V__PART,s__Object) &
               (s__part(V__PART,V__PATH)
               &
               ~(s__instance(V__PART,s__Cable))))))))))
)
)

ComputingBrands.kif 1391-1401
( ! [V__T,V__E,V__EM] :
   (((s__instance(V__EM,s__Electromagnet) &
         s__instance(V__T,s__Transfer) &
         s__instance(V__E,s__Electricity) &
         s__objectTransferred(V__T,V__E)
       &
       s__path(V__T,V__EM))
   =>
   (( ? [V__M] :
       ((s__instance(V__M,s__Magnetism) &
           s__instrument(V__M,V__EM))))))
)
)

Cars.kif 3896-3906
No TPTP formula. May not be expressible in strict first order. Cars.kif 3908-3924
No TPTP formula. May not be expressible in strict first order. Cars.kif 1070-1090
( ! [V__P,V__H,V__M,V__N] :
   (((s__instance(V__P,s__Transitway) &
         s__instance(V__H,s__Agent) &
         s__instance(V__N,s__UnitOfMeasure))
       =>
       (((s__instance(V__M,s__HalfMarathon) &
             s__agent(V__M,V__H)
           &
           s__path(V__M,V__P)
         &
         s__distanceOnPath(s__MeasureFn(s__Mile,V__N)
      ,V__P))
   =>
   ((V__N = n__13_1)))))
)
)

Sports.kif 260-267
( ! [V__P,V__H,V__M,V__N] :
   (((s__instance(V__P,s__Transitway) &
         s__instance(V__H,s__Agent) &
         s__instance(V__N,s__UnitOfMeasure))
       =>
       (((s__instance(V__M,s__Marathon) &
             s__agent(V__M,V__H)
           &
           s__path(V__M,V__P)
         &
         s__distanceOnPath(s__MeasureFn(s__Mile,V__N)
      ,V__P))
   =>
   ((V__N = n__26_2)))))
)
)

Sports.kif 246-253
( ! [V__P,V__T] :
   ((s__instance(V__P,s__Object) =>
       (((s__instance(V__T,s__AirTransportation) &
             s__path(V__T,V__P))
         =>
         (s__instance(V__P,s__AirTransitway)))))
   )
)

Transportation.kif 1259-1263
( ! [V__P,V__T] :
   ((s__instance(V__P,s__Object) =>
       (((s__instance(V__T,s__LandTransportation) &
             s__path(V__T,V__P))
         =>
         (s__instance(V__P,s__LandTransitway)))))
   )
)

Mid-level-ontology.kif 17031-17035
No TPTP formula. May not be expressible in strict first order. Cars.kif 4049-4064
( ! [V__SOURCE,V__PROCESS,V__DEST,V__MEASURE1,V__PATH1,V__DISTANCE] :
   (((s__instance(V__SOURCE,s__Object) &
         s__instance(V__PROCESS,s__Motion) &
         s__instance(V__DEST,s__Object) &
         s__instance(V__MEASURE1,s__Quantity) &
         s__instance(V__PATH1,s__Object) &
         s__instance(V__DISTANCE,s__LengthMeasure))
       =>
       (((s__path(V__PROCESS,V__PATH1)
           &
           s__origin(V__PROCESS,V__SOURCE)
         &
         s__destination(V__PROCESS,V__DEST)
       &
       s__length(V__PATH1,V__MEASURE1)
     &
     s__distance(V__SOURCE,V__DEST,V__DISTANCE)
   &
   ~(s__greaterThan(V__MEASURE1,V__DISTANCE)))
=>
(( ! [V__OBJ] :
   ((s__instance(V__OBJ,s__Object) =>
       ((s__part(V__OBJ,V__PATH1)
         =>
         (s__between(V__SOURCE,V__OBJ,V__DEST)))))))))))
)
)

Merge.kif 10649-10660

consequent
-------------------------


( ! [V__AS,V__C,V__F,V__H] :
   ((s__instance(V__F,s__Object) =>
       (((s__instance(V__AS,s__AutomobileShock) &
             s__instance(V__C,s__Compressing) &
             s__instance(V__H,s__Hole) &
             s__attribute(V__F,s__Fluid) &
             (V__AS = s__HoleHostFn(V__H))
           &
           s__contains(V__AS,V__F)
         &
         s__patient(V__C,V__AS))
     =>
     (( ? [V__T] :
         ((s__instance(V__T,s__Transfer) &
             s__objectTransferred(V__T,V__F)
           &
           s__path(V__T,V__H)
         &
         s__causes(V__C,V__T))))))))
)
)

Cars.kif 871-885
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2003-2012
( ! [V__P,V__B,V__S,V__G] :
   (((s__instance(V__G,s__Gun) &
         s__instance(V__B,s__GunBarrel) &
         s__part(V__B,V__G)
       &
       s__instance(V__S,s__Shooting) &
       s__instrument(V__S,V__G)
     &
     s__patient(V__S,V__P)
   &
   s__instance(V__P,s__Projectile))
=>
(( ? [V__SUB] :
     ((s__instance(V__SUB,s__Motion) &
         (s__subProcess(V__SUB,V__S)
         &
         s__path(V__SUB,V__B)))))))
)
)

Mid-level-ontology.kif 1174-1186
( ! [V__GOING,V__WAY] :
   ((s__instance(V__GOING,s__Motion) =>
       (((s__instance(V__GOING,s__TransitFn(V__WAY))
         &
         s__instance(V__WAY,s__Transitway))
       =>
       (s__path(V__GOING,V__WAY)))))
)
)

Transportation.kif 1609-1613
( ! [V__HARBOR,V__NUM] :
   ((s__instance(V__NUM,s__Quantity) =>
       (((s__instance(V__HARBOR,s__Harbor) &
             s__equipmentCount(V__HARBOR,s__ShipBerth,V__NUM)
           &
           s__greaterThan(V__NUM,n__0))
       =>
       (s__capability(s__ShipBerthing,s__path__m,V__HARBOR)))))
)
)

Transportation.kif 2949-2954
( ! [V__PORT] :
   (((s__instance(V__PORT,s__PortFacility) &
         s__capability(s__ShipBerthing,s__patient__m,V__PORT))
     =>
     (( ? [V__HARBOR] :
         ((s__instance(V__HARBOR,s__Harbor) &
             s__connected(V__HARBOR,V__PORT)
           &
           s__capability(s__ShipBerthing,s__path__m,V__HARBOR))))))
)
)

Transportation.kif 2956-2964
( ! [V__S,V__H] :
   ((s__instance(V__H,s__Agent) =>
       (((s__instance(V__S,s__Swallowing) &
             s__agent(V__S,V__H))
         =>
         (( ? [V__M, V__E, V__ST, V__O] :
             ((s__instance(V__O,s__Object) &
                 (s__instance(V__M,s__Mouth) &
                   s__instance(V__E,s__Esophagus) &
                   s__instance(V__ST,s__Stomach) &
                   s__objectTransferred(V__S,V__O)
                 &
                 s__origin(V__S,V__M)
               &
               s__destination(V__S,V__ST)
             &
             s__path(V__S,V__E)))))))))
)
)

Mid-level-ontology.kif 6232-6244
( ! [V__AMOUNT,V__SHIP,V__DRAFT,V__WATERWAY] :
   (((s__instance(V__AMOUNT,s__RealNumber) &
         s__instance(V__SHIP,s__WaterVehicle) &
         s__instance(V__DRAFT,s__RealNumber) &
         s__instance(V__WATERWAY,s__WaterArea))
       =>
       (((s__navigableForDraft(V__WATERWAY,s__MeasureFn(V__AMOUNT,s__Meter))
           &
           s__ladenDraft(V__SHIP,s__MeasureFn(V__DRAFT,s__Meter))
         &
         s__greaterThan(V__AMOUNT,V__DRAFT))
     =>
     (s__capability(s__TripFn(V__SHIP)
    ,s__path__m,V__WATERWAY)))))
)
)

Transportation.kif 2660-2665
( ! [V__AMOUNT,V__SHIP,V__DRAFT,V__WATERWAY] :
   (((s__instance(V__AMOUNT,s__RealNumber) &
         s__instance(V__SHIP,s__WaterVehicle) &
         s__instance(V__DRAFT,s__RealNumber) &
         s__instance(V__WATERWAY,s__WaterArea))
       =>
       (((s__navigableForDraft(V__WATERWAY,s__MeasureFn(V__AMOUNT,s__Meter))
           &
           s__ladenDraft(V__SHIP,s__MeasureFn(V__DRAFT,s__Meter))
         &
         s__lessThanOrEqualTo(V__AMOUNT,V__DRAFT))
     =>
     (~(s__capability(s__TripFn(V__SHIP)
      ,s__path__m,V__WATERWAY))))))
)
)

Transportation.kif 2667-2672
( ! [V__TONNAGE,V__VESSEL,V__WATERWAY,V__DWT] :
   (((s__instance(V__TONNAGE,s__RealNumber) &
         s__instance(V__WATERWAY,s__WaterArea) &
         s__instance(V__DWT,s__RealNumber))
       =>
       (((s__navigableForShippingTonnage(V__WATERWAY,s__MeasureFn(V__TONNAGE,s__LongTon))
           &
           s__instance(V__VESSEL,s__WaterVehicle) &
           s__vesselDisplacement(V__VESSEL,s__MeasureFn(V__DWT,s__LongTon))
         &
         s__lessThanOrEqualTo(V__DWT,V__TONNAGE))
     =>
     (s__capability(s__TripFn(V__VESSEL)
    ,s__path__m,V__WATERWAY)))))
)
)

Transportation.kif 2644-2650
( ! [V__B] :
   ((s__instance(V__B,s__Bowling) =>
       (( ? [V__BALL, V__TRANS, V__LANE] :
           ((s__instance(V__TRANS,s__Translocation) &
               s__instance(V__BALL,s__BowlingBall) &
               s__patient(V__TRANS,V__BALL)
             &
             s__instance(V__LANE,s__BowlingLane) &
             s__path(V__TRANS,V__LANE)
           &
           s__subProcess(V__TRANS,V__B))))))
)
)

Sports.kif 1035-1044
No TPTP formula. May not be expressible in strict first order. Sports.kif 1074-1082
No TPTP formula. May not be expressible in strict first order. Cars.kif 2665-2673
No TPTP formula. May not be expressible in strict first order. Cars.kif 2843-2872
No TPTP formula. May not be expressible in strict first order. Cars.kif 3020-3028
No TPTP formula. May not be expressible in strict first order. Cars.kif 2690-2703
No TPTP formula. May not be expressible in strict first order. Cars.kif 3262-3277
No TPTP formula. May not be expressible in strict first order. Geography.kif 5365-5370
No TPTP formula. May not be expressible in strict first order. Cars.kif 3821-3837
( ! [V__R] :
   ((s__instance(V__R,s__Ramp) =>
       (s__capability(s__MotionDownward,s__path__m,V__R)))
   )
)

Mid-level-ontology.kif 2308-2310
( ! [V__R] :
   ((s__instance(V__R,s__Ramp) =>
       (s__capability(s__MotionUpward,s__path__m,V__R)))
   )
)

Mid-level-ontology.kif 2304-2306
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14934-14940
( ! [V__T] :
   ((s__instance(V__T,s__Translocation) =>
       (( ? [V__O, V__D, V__P] :
           ((s__instance(V__O,s__Object) &
               s__instance(V__D,s__Object) &
               s__instance(V__P,s__Object) &
               s__path(V__T,V__P)
             &
             s__origin(V__T,V__O)
           &
           s__destination(V__T,V__D))))))
)
)

Merge.kif 11086-11095
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1465-1473
No TPTP formula. May not be expressible in strict first order. Communications.kif 185-200

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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