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 11201-11203 | |
(documentation path JapaneseLanguage "(path ?MOTION ?PATH) は、?PATH が ?MOTION が発生す るルートであることを意味する。例:高速道路 101 は、次の命題のパスである: 車で、高速道路 101 を 走らせた。") | japanese_format.kif 1762-1764 | |
(domain path 1 Motion) | Merge.kif 11198-11198 | |
(domain path 2 Object) | Merge.kif 11199-11199 | |
(instance path CaseRole) | Merge.kif 11193-11193 | |
(instance path TotalValuedRelation) | Merge.kif 11194-11194 | |
(subrelation path eventPartlyLocated) | Merge.kif 11197-11197 |
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 580-580 | |
(format FrenchLanguage path "%2 est %n le chemin le long duquel %1 se produit") | french_format.kif 341-341 | |
(format ItalianLanguage path "%2 è %n cammino mentre %1 si verifica") | relations-it.txt 216-216 | |
(format JapaneseLanguage path "%2 は %1 が 発生する path では %n") | japanese_format.kif 2097-2097 | |
(format PortugueseLanguage path "%2 e' %n o caminho ao longo do qual %1 ocorre") | portuguese_format.kif 293-293 | |
(format cz path "%2 %p{je} %n{nen�} cesta pod�l kter� se vyskytuje %1") | relations-cz.txt 349-349 | |
(format de path "%2 ist der pfad entlang dem %1 geschieht") | relations-de.txt 755-755 | |
(format hi path "%1 %2 ke raaste men %n hotaa hai") | relations-hindi.txt 254-254 | |
(format ro path "%2 %n{nu} este path%t{rutã} de-a lungul cãreia are loc %1") | relations-ro.kif 363-363 | |
(format sv path "%2 är en väg längs med %1 %n{inte} inträffar") | relations-sv.txt 378-378 | |
(format tg path "%2 %n ay ang landas sa %1 nangyari") | relations-tg.txt 408-408 | |
(termFormat ChineseLanguage path "路径") | chinese_format.kif 576-576 | |
(termFormat ChineseTraditionalLanguage path "路徑") | domainEnglishFormat.kif 44767-44767 | |
(termFormat EnglishLanguage path "path") | domainEnglishFormat.kif 44766-44766 | |
(termFormat de path "pfad") | terms-de.txt 227-227 |
antecedent |
![]() |
consequent |
![]() |
(=> (and (instance ?AS AutomobileShock) (instance ?C Compressing) (instance ?H HoleRegion) (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 871-885 | |
(=> (and (instance ?B Barricade) (partlyLocated ?B ?P)) (hasPurpose ?B (not (exists (?T) (and (instance ?T Translocation) (path ?T ?P)))))) |
MilitaryDevices.kif 2160-2169 | |
(=> (and (instance ?E Entering) (destination ?E ?F) (attribute ?F PhysicallyRestrictedRegion) (not (entrance ?R ?F))) (modalAttribute (path ?E ?R) Prohibition)) |
Mid-level-ontology.kif 7861-7869 | |
(=> (and (instance ?E Entering) (destination ?E ?F) (attribute ?F PhysicallyRestrictedRegion)) (modalAttribute (exists (?R) (and (entrance ?R ?F) (path ?E ?R))) Obligation)) |
Mid-level-ontology.kif 7850-7859 | |
(=> (and (instance ?E Exiting) (origin ?E ?F) (attribute ?F PhysicallyRestrictedRegion) (not (entrance ?R ?F))) (modalAttribute (path ?E ?R) Prohibition)) |
Mid-level-ontology.kif 7882-7890 | |
(=> (and (instance ?E Exiting) (origin ?E ?F) (attribute ?F PhysicallyRestrictedRegion)) (modalAttribute (exists (?R) (and (entrance ?R ?F) (path ?E ?R))) Obligation)) |
Mid-level-ontology.kif 7871-7880 | |
(=> (and (instance ?F Facility) (attribute ?F PhysicallyRestrictedRegion) (entrance ?R ?F)) (hasPurpose ?R (exists (?E) (and (or (instance ?E Entering) (instance ?E Exiting)) (path ?E ?R))))) |
Mid-level-ontology.kif 7815-7826 | |
(=> (and (instance ?F Facility) (attribute ?F PhysicallyRestrictedRegion)) (modalAttribute (exists (?E ?R) (and (or (instance ?E Entering) (instance ?E Exiting)) (path ?E ?R) (not (entrance ?R ?F)))) Unlikely)) |
Mid-level-ontology.kif 7828-7840 | |
(=> (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 1301-1313 | |
(=> (and (instance ?GOING (TransitFn ?WAY)) (instance ?WAY Transitway)) (path ?GOING ?WAY)) |
Transportation.kif 1738-1742 | |
(=> (and (instance ?HARBOR Harbor) (equipmentCount ?HARBOR ShipBerth ?NUM) (greaterThan ?NUM 0)) (capability ShipBerthing path ?HARBOR)) |
Transportation.kif 3778-3783 | |
(=> (and (instance ?PORT PortFacility) (capability ShipBerthing patient ?PORT)) (exists (?HARBOR) (and (instance ?HARBOR Harbor) (connected ?HARBOR ?PORT) (capability ShipBerthing path ?HARBOR)))) |
Transportation.kif 3785-3793 | |
(=> (and (instance ?S Shooting) (instance ?G Gun) (instrument ?S ?G)) (exists (?E ?GB ?B ?C ?M) (and (subProcess ?E ?S) (instance ?E Exiting) (eventLocated ?E ?GB) (instance ?GB GunBarrel) (part ?GB ?G) (objectTransferred ?E ?B) (instance ?B Bullet) (origin ?B ?C) (instance ?C BulletCartridge) (located ?C ?GB) (path ?E ?GB) (entrance ?M ?GB) (instance ?M GunMuzzle)))) |
Mid-level-ontology.kif 1362-1381 | |
(=> (and (instance ?S Swallowing) (agent ?S ?H)) (exists (?M ?E ?ST ?O) (and (instance ?M Mouth) (instance ?E Esophagus) (instance ?ST Stomach) (objectTransferred ?S ?O) (origin ?S ?M) (destination ?S ?ST) (path ?S ?E)))) |
Mid-level-ontology.kif 7532-7544 | |
(=> (and (instance ?T Transportation) (instance ?P1 Transitway) (path ?T ?P1) (conveyance ?T ?V) (instance ?J TransitwayJunction) (part ?J ?P1)) (exists (?P2 ?M) (and (instance ?P2 Transitway) (not (equal ?P1 ?P2)) (connects ?J ?P1 ?P2) (capability Transfer path ?J) (instance ?M Transfer) (conveyance ?M ?V) (meetsTemporally (WhenFn ?T) (WhenFn ?M)) (modalAttribute (path ?M ?P2) Possibility)))) |
Transportation.kif 3820-3840 | |
(=> (and (instance ?W Transitway) (attribute ?W BiDirectionalTraffic)) (exists (?P) (and (instance ?P Policy) (confersNorm ?P (exists (?T1 ?A ?B) (and (instance ?T1 Transportation) (path ?T1 ?W) (instance ?A GeographicArea) (origin ?T1 ?A) (instance ?B GeographicArea) (destination ?T1 ?B) (holdsDuring (WhenFn ?T1) (exists (?T2) (and (instance ?T2 Transportation) (path ?T2 ?W) (origin ?T1 ?B) (destination ?T1 ?A) (not (equal ?T1 ?T2))))))) Permission)))) |
Transportation.kif 3242-3266 | |
(=> (and (instance ?W Transitway) (attribute ?W UniDirectionalTraffic)) (exists (?P) (and (instance ?P Policy) (confersNorm ?P (exists (?T1 ?A ?B) (and (instance ?T1 Transportation) (path ?T1 ?W) (instance ?A GeographicArea) (origin ?T1 ?A) (instance ?B GeographicArea) (destination ?T1 ?B) (holdsDuring (WhenFn ?T1) (exists (?T2) (and (instance ?T2 Transportation) (path ?T2 ?W) (origin ?T1 ?B) (destination ?T1 ?A) (not (equal ?T1 ?T2))))))) Prohibition)))) |
Transportation.kif 3275-3299 | |
(=> (and (navigableForDraft ?WATERWAY (MeasureFn ?AMOUNT Meter)) (ladenDraft ?SHIP (MeasureFn ?DRAFT Meter)) (greaterThan ?AMOUNT ?DRAFT)) (capability (TripFn ?SHIP) path ?WATERWAY)) |
Transportation.kif 3184-3189 | |
(=> (and (navigableForDraft ?WATERWAY (MeasureFn ?AMOUNT Meter)) (ladenDraft ?SHIP (MeasureFn ?DRAFT Meter)) (lessThanOrEqualTo ?AMOUNT ?DRAFT)) (not (capability (TripFn ?SHIP) path ?WATERWAY))) |
Transportation.kif 3191-3196 | |
(=> (and (navigableForShippingTonnage ?WATERWAY (MeasureFn ?TONNAGE LongTon)) (instance ?VESSEL WaterVehicle) (vesselDisplacement ?VESSEL (MeasureFn ?DWT LongTon)) (lessThanOrEqualTo ?DWT ?TONNAGE)) (capability (TripFn ?VESSEL) path ?WATERWAY)) |
Transportation.kif 3168-3174 | |
(=> (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 1121-1130 | |
(=> (instance ?B Bridge) (hasPurpose ?B (exists (?T ?X) (and (instance ?T Translocation) (path ?T ?B) (orientation ?B ?X Above) (or (instance ?X LandArea) (instance ?X BodyOfWater)))))) |
Transportation.kif 1752-1762 | |
(=> (instance ?BC BloodCirculation) (exists (?O ?V ?A ?B) (and (instance ?O Animal) (instance ?B Blood) (moves ?BC ?B) (instance ?A Artery) (instance ?V Vein) (part ?A ?O) (part ?V ?O) (path ?BC ?A) (path ?BC ?V)))) |
Medicine.kif 480-492 | |
(=> (instance ?BL BowlingLane) (hasPurpose ?BL (exists (?TR ?BALL) (and (instance ?TR Translocation) (instance ?BALL BowlingBall) (patient ?TR ?BALL) (path ?TR ?BL))))) |
Sports.kif 1160-1168 | |
(=> (instance ?C Catheter) (hasPurpose ?C (exists (?M ?O ?OBJ ?L) (and (instance ?O Organism) (instance ?M Motion) (moves ?M ?OBJ) (orientation ?L ?O Outside) (path ?M ?C) (or (and (origin ?M ?L) (destination ?M ?O)) (and (origin ?M ?O) (destination ?M ?L))))))) |
Medicine.kif 538-554 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |