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 10601-10603
s__domain(s__path__m,n__1,s__Motion)

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

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

s__instance(s__path__m,s__CaseRole)

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

s__instance(s__TotalValuedRelation,s__SetOrClass)

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

Merge.kif 10597-10597 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 583-583
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 27759-27768
( ! [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 3909-3919
No TPTP formula. May not be expressible in strict first order. Cars.kif 3921-3937
No TPTP formula. May not be expressible in strict first order. Cars.kif 1070-1090
( ! [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 15839-15843
No TPTP formula. May not be expressible in strict first order. Cars.kif 4062-4077
( ! [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 10605-10616

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 1173-1185
( ! [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__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 961-970
No TPTP formula. May not be expressible in strict first order. Sports.kif 1000-1008
No TPTP formula. May not be expressible in strict first order. Cars.kif 2679-2687
No TPTP formula. May not be expressible in strict first order. Cars.kif 2857-2886
No TPTP formula. May not be expressible in strict first order. Cars.kif 3034-3042
No TPTP formula. May not be expressible in strict first order. Cars.kif 2704-2717
No TPTP formula. May not be expressible in strict first order. Cars.kif 3276-3291
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 3834-3850
( ! [V__R] :
   ((s__instance(V__R,s__Ramp) =>
       (s__capability(s__MotionDownward,s__path__m,V__R)))
   )
)

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

Mid-level-ontology.kif 2302-2304
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13835-13841
( ! [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 11042-11051
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1464-1472
No TPTP formula. May not be expressible in strict first order. Communications.kif 185-200
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23766-23774

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