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
-------------------------


(documentation path ChineseLanguage "(path ?MOTION ?PATH)的意思是 ?PATH 是 ?MOTION 在上移动 的一条路线。例如:高速公路101以下命题的路径:那辆车驶向高速公路101。") chinese_format.kif 3000-3001
(documentation path 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 10224-10226
(domain path 1 Motion) Merge.kif 10221-10221
(domain path 2 Object) Merge.kif 10222-10222
(instance path CaseRole) Merge.kif 10216-10216
(instance path TotalValuedRelation) Merge.kif 10217-10217
(subrelation path eventPartlyLocated) Merge.kif 10220-10220

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


(format ChineseLanguage path "%2%n是%1发生的path") chinese_format.kif 575-575
(format EnglishLanguage path "%2 is %n path along which %1 occurs") english_format.kif 583-583
(termFormat ChineseLanguage path "路径") chinese_format.kif 576-576
(termFormat ChineseTraditionalLanguage path "路徑") domainEnglishFormat.kif 44688-44688
(termFormat EnglishLanguage path "path") domainEnglishFormat.kif 44687-44687

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


(=>
    (and
        (betweenOnPath ?O1 ?O2 ?O3 ?PATH)
        (instance ?T Transfer)
        (path ?T ?PATH)
        (origin ?T ?O1)
        (destination ?T ?O3))
    (and
        (beforeOnPath ?O1 ?O2 ?PATH ?T)
        (beforeOnPath ?O2 ?O3 ?PATH ?T)))
Mid-level-ontology.kif 27949-27958
(=>
    (and
        (instance ?CONN WirelessNetwork)
        (instance ?COM NetworkCommunication)
        (instrument ?COM ?CONN)
        (path ?COM ?PATH))
    (exists (?PART)
        (and
            (part ?PART ?PATH)
            (not
                (instance ?PART Cable)))))
ComputingBrands.kif 1400-1410
(=>
    (and
        (instance ?EM Electromagnet)
        (instance ?T Transfer)
        (instance ?E Electricity)
        (objectTransferred ?T ?E)
        (path ?T ?EM))
    (exists (?M)
        (and
            (instance ?M Magnetism)
            (instrument ?M ?EM))))
Cars.kif 3865-3875
(=>
    (and
        (instance ?EM Electromagnet)
        (not
            (holdsDuring ?T1
                (exists (?T ?E)
                    (and
                        (instance ?T Transfer)
                        (instance ?E Electricity)
                        (objectTransferred ?T ?E)
                        (path ?T ?EM))))))
    (not
        (holdsDuring ?T1
            (exists (?M)
                (and
                    (instance ?M Magnetism)
                    (instrument ?M ?EM))))))
Cars.kif 3877-3893
(=>
    (and
        (instance ?FP FuelPump)
        (instance ?A Automobile)
        (part ?FP ?A)
        (instance ?T Transportation)
        (instance ?F Fuel)
        (patient ?T ?F)
        (instrument ?F ?FP)
        (instance ?GT GasTank)
        (part ?GT ?A)
        (instance ?EC EngineCylinder)
        (part ?EC ?A)
        (origin ?T ?GT)
        (destination ?T ?EC)
        (path ?T ?P))
    (hasPurpose ?T
        (exists (?FF)
            (and
                (instance ?FF FuelFilter)
                (betweenOnPath ?GT ?FF ?EC ?P)))))
Cars.kif 1060-1080
(=>
    (and
        (instance ?T AirTransportation)
        (path ?T ?P))
    (instance ?P AirTransitway))
Transportation.kif 1248-1252
(=>
    (and
        (instance ?T LandTransportation)
        (path ?T ?P))
    (instance ?P LandTransitway))
Mid-level-ontology.kif 15375-15379
(=>
    (and
        (instance ?T Tailpipe)
        (instance ?TR Transfer)
        (instance ?E Exhaust)
        (instance ?A Automobile)
        (instance ?AES AutomobileExhaustSystem)
        (part ?T ?A)
        (path ?TR ?T)
        (patient ?TR ?E))
    (hasPurpose ?T
        (not
            (exists (?O)
                (and
                    (part ?O ?A)
                    (beforeOnPath ?T ?O ?AES ?TR))))))
Cars.kif 4018-4033
(=>
    (and
        (path ?PROCESS ?PATH1)
        (origin ?PROCESS ?SOURCE)
        (destination ?PROCESS ?DEST)
        (length ?PATH1 ?MEASURE1)
        (distance ?SOURCE ?DEST ?DISTANCE)
        (not
            (greaterThan ?MEASURE1 ?DISTANCE)))
    (forall (?OBJ)
        (=>
            (part ?OBJ ?PATH1)
            (between ?SOURCE ?OBJ ?DEST))))
Merge.kif 10228-10239

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


(=>
    (and
        (instance ?AS AutomobileShock)
        (instance ?C Compressing)
        (instance ?H Hole)
        (attribute ?F Fluid)
        (equal ?AS
            (HoleHostFn ?H))
        (contains ?AS ?F)
        (patient ?C ?AS))
    (exists (?T)
        (and
            (instance ?T Transfer)
            (objectTransferred ?T ?F)
            (path ?T ?H)
            (causes ?C ?T))))
Cars.kif 861-875
(=>
    (and
        (instance ?B Barricade)
        (partlyLocated ?B ?P))
    (hasPurpose ?B
        (not
            (exists (?T)
                (and
                    (instance ?T Translocation)
                    (path ?T ?P))))))
MilitaryDevices.kif 2003-2012
(=>
    (and
        (instance ?G Gun)
        (instance ?B GunBarrel)
        (part ?B ?G)
        (instance ?S Shooting)
        (instrument ?S ?G)
        (patient ?S ?P)
        (instance ?P Projectile))
    (exists (?SUB)
        (and
            (subProcess ?SUB ?S)
            (path ?SUB ?B))))
Mid-level-ontology.kif 1619-1631
(=>
    (and
        (instance ?GOING
            (TransitFn ?WAY))
        (instance ?WAY Transitway))
    (path ?GOING ?WAY))
Transportation.kif 1594-1598
(=>
    (and
        (instance ?HARBOR Harbor)
        (equipmentCount ?HARBOR ShipBerth ?NUM)
        (greaterThan ?NUM 0))
    (capability ShipBerthing path ?HARBOR))
Transportation.kif 2911-2916
(=>
    (and
        (instance ?PORT PortFacility)
        (capability ShipBerthing patient ?PORT))
    (exists (?HARBOR)
        (and
            (instance ?HARBOR Harbor)
            (connected ?HARBOR ?PORT)
            (capability ShipBerthing path ?HARBOR))))
Transportation.kif 2918-2926
(=>
    (and
        (navigableForDraft ?WATERWAY ?AMOUNT)
        (ladenDraft ?SHIP ?DRAFT)
        (greaterThan ?AMOUNT ?DRAFT))
    (capability
        (TripFn ?SHIP) path ?WATERWAY))
Transportation.kif 2622-2627
(=>
    (and
        (navigableForDraft ?WATERWAY ?AMOUNT)
        (ladenDraft ?SHIP ?DRAFT)
        (lessThanOrEqualTo ?AMOUNT ?DRAFT))
    (not
        (capability
            (TripFn ?SHIP) path ?WATERWAY)))
Transportation.kif 2629-2634
(=>
    (and
        (navigableForShippingTonnage ?WATERWAY
            (MeasureFn ?TONNAGE LongTon))
        (instance ?VESSEL WaterVehicle)
        (vesselDisplacement ?VESSEL
            (MeasureFn ?DWT LongTon))
        (lessThanOrEqualTo ?DWT ?TONNAGE))
    (capability
        (TripFn ?VESSEL) path ?WATERWAY))
Transportation.kif 2606-2612
(=>
    (instance ?B Bowling)
    (exists (?BALL ?TRANS ?LANE)
        (and
            (instance ?TRANS Translocation)
            (instance ?BALL BowlingBall)
            (patient ?TRANS ?BALL)
            (instance ?LANE BowlingLane)
            (path ?TRANS ?LANE)
            (subProcess ?TRANS ?B))))
Sports.kif 959-968
(=>
    (instance ?BL BowlingLane)
    (hasPurpose ?BL
        (exists (?TR ?BALL)
            (and
                (instance ?TR Translocation)
                (instance ?BALL BowlingBall)
                (patient ?TR ?BALL)
                (path ?TR ?BL)))))
Sports.kif 998-1006
(=>
    (instance ?EV ExhaustValve)
    (hasPurpose ?EV
        (exists (?E ?T)
            (and
                (instance ?T Transfer)
                (objectTransferred ?T ?E)
                (path ?T ?EV)
                (instance ?E Exhaust)))))
Cars.kif 2649-2657
(=>
    (instance ?G Gasket)
    (hasPurpose ?G
        (exists (?O1 ?O2)
            (and
                (instance ?O1 CorpuscularObject)
                (instance ?O2 CorpuscularObject)
                (meetsSpatially ?O1 ?G)
                (meetsSpatially ?O2 ?G)
                (not
                    (exists (?H)
                        (and
                            (instance ?H Hole)
                            (equal ?G
                                (HoleHostFn ?H))
                            (instance ?T Translocation)
                            (path ?T ?H)
                            (origin ?T ?O)
                            (destination ?T ?D)
                            (contains ?O1 ?O)
                            (not
                                (contains ?O1 ?D))
                            (meetsSpatially ?O1 ?D)
                            (not
                                (exists (?O3)
                                    (and
                                        (contains ?H ?O3)
                                        (not
                                            (contains ?O1 ?O3))
                                        (not
                                            (contains ?O2 ?O3))))))))))))
Cars.kif 2827-2856
(=>
    (instance ?GF GreaseFitting)
    (hasPurpose ?GF
        (exists (?P ?G)
            (and
                (instance ?G Grease)
                (instance ?P Putting)
                (path ?P ?GF)
                (objectTransferred ?P ?G)))))
Cars.kif 2994-3002
(=>
    (instance ?IV IntakeValve)
    (hasPurpose ?IV
        (exists (?A ?FV ?CC ?T)
            (and
                (instance ?A Automobile)
                (instance ?FV FuelVapor)
                (instance ?CC CombustionChamber)
                (instance ?T Transfer)
                (part ?IV ?A)
                (part ?CC ?A)
                (patient ?T ?FV)
                (path ?T ?IV)
                (destination ?T ?CC)))))
Cars.kif 2674-2687
(=>
    (instance ?MHCV ManifoldHeatControlValve)
    (hasPurpose ?MHCV
        (exists (?H ?O ?E ?FV ?T)
            (and
                (instance ?H Heating)
                (instance ?O Opening)
                (instance ?E Exhaust)
                (instance ?T Transfer)
                (instance ?FV FuelVapor)
                (patient ?O ?MHCV)
                (instrument ?H ?E)
                (patient ?H ?FV)
                (path ?T ?MHCV)
                (causes ?O ?T)
                (causes ?T ?H)))))
Cars.kif 3236-3251
(=>
    (instance ?P Waterway)
    (hasPurpose ?P
        (and
            (instance ?T WaterTransportation)
            (path ?T ?P))))
Geography.kif 5260-5265
(=>
    (instance ?PCVV PositiveCrankcaseVentilationValve)
    (hasPurpose ?PCVV
        (exists (?CR ?F ?CC ?T ?A)
            (and
                (instance ?CR Crankcase)
                (instance ?F Fuel)
                (instance ?CC CombustionChamber)
                (instance ?T Transfer)
                (instance ?A Automobile)
                (part ?CR ?A)
                (part ?CC ?A)
                (part ?PCVV ?A)
                (origin ?T ?CR)
                (destination ?T ?CC)
                (objectTransferred ?T ?F)
                (path ?T ?PCVV)))))
Cars.kif 3790-3806
(=>
    (instance ?R Ramp)
    (capability MotionDownward path ?R))
Mid-level-ontology.kif 2826-2828
(=>
    (instance ?R Ramp)
    (capability MotionUpward path ?R))
Mid-level-ontology.kif 2822-2824
(=>
    (instance ?SIDE Sidewalk)
    (hasPurpose ?SIDE
        (exists (?WALK)
            (and
                (instance ?WALK Walking)
                (path ?WALK ?SIDE)))))
Mid-level-ontology.kif 13307-13312
(=>
    (instance ?T Translocation)
    (exists (?O ?D ?P)
        (and
            (instance ?O Object)
            (instance ?D Object)
            (instance ?P Object)
            (path ?T ?P)
            (origin ?T ?O)
            (destination ?T ?D))))
Merge.kif 10668-10677
(=>
    (instance ?T Tube)
    (hasPurpose ?T
        (exists (?P ?OBJ)
            (and
                (instance ?P Transfer)
                (path ?P ?T)
                (patient ?P ?OBJ)
                (attribute ?OBJ Fluid)))))
Mid-level-ontology.kif 1931-1939
(=>
    (instance ?TELEX Telex)
    (hasPurpose ?TELEX
        (exists (?SYS ?TELEX2 ?MSG)
            (and
                (instance ?SYS TelephoneSystem)
                (instance ?TELEX2 Telex)
                (instance ?MSG Messaging)
                (or
                    (and
                        (origin ?MSG ?TELEX)
                        (destination ?MSG ?TELEX2))
                    (and
                        (origin ?MSG ?TELEX2)
                        (destination ?MSG ?TELEX)))
                (path ?MSG ?SYS)))))
Communications.kif 185-200
(=>
    (instance ?TRACK RunningTrack)
    (hasPurpose ?TRACK
        (exists (?RUN ?HUMAN)
            (and
                (instance ?HUMAN Human)
                (instance ?RUN Running)
                (agent ?RUN ?HUMAN)
                (path ?RUN ?TRACK)))))
Mid-level-ontology.kif 23723-23731

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners