Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| partiallyFills |
| appearance as argument number 1 |
|
| (subrelation partiallyFills located) | Merge.kif 10200-10200 | partially fills is a subrelation of located |
| (instance partiallyFills SpatialRelation) | Merge.kif 10201-10201 | partially fills is an instance of spatial relation |
| (domain partiallyFills 1 Object) | Merge.kif 10202-10202 | The number 1 argument of partially fills is an instance of object |
| (domain partiallyFills 2 HoleRegion) | Merge.kif 10203-10203 | The number 2 argument of partially fills is an instance of hole |
| (documentation partiallyFills EnglishLanguage "(partiallyFills ?OBJ ?HOLE) means that ?OBJ completelyFills some part of ?HOLE. Note that if (partiallyFills ?OBJ1 ?HOLE) and (part ?OBJ1 ?OBJ2), then (partiallyFills ?OBJ2 ?HOLE). Note too that a partial filler need not be wholly inside a hole (it may stick out), which means that every complete filler also qualifies as (is a limit case of) a partial one.") | Merge.kif 10205-10210 | The number 2 argument of partially fills is an instance of hole |
| appearance as argument number 2 |
|
|
| (subrelation properlyFills partiallyFills) | Merge.kif 1009-1009 | properly fills is a subrelation of partially fills |
| (subrelation completelyFills partiallyFills) | Merge.kif 10229-10229 | completely fills is a subrelation of partially fills |
| (termFormat EnglishLanguage partiallyFills "partially fills") | domainEnglishFormat.kif 44525-44525 | completely fills is a subrelation of partially fills |
| (termFormat ChineseTraditionalLanguage partiallyFills "部分填補") | domainEnglishFormat.kif 44526-44526 | completely fills is a subrelation of partially fills |
| (termFormat ChineseLanguage partiallyFills "部分填补") | domainEnglishFormat.kif 44527-44527 | completely fills is a subrelation of partially fills |
| (format EnglishLanguage partiallyFills "%1 %n{doesn't} partially fill%p{s} %2") | english_format.kif 389-389 | completely fills is a subrelation of partially fills |
| antecedent |
|
|
| (=> (partiallyFills ?OBJ ?HOLE1) (exists (?HOLE2) (and (part ?HOLE2 ?HOLE1) (completelyFills ?OBJ ?HOLE2)))) |
Merge.kif 10212-10217 | If X partially fills Y, then there exists Z such that Z is a part of Y and X completely fills Z |
| consequent |
|
|
| (=> (attribute ?C ContainerEmpty) (not (exists (?H ?S) (and (instance ?H HoleRegion) (hole ?H ?C) (partiallyFills ?S ?C))))) |
Mid-level-ontology.kif 2160-2167 | If container empty is an attribute of X, then there don't exist Y, Z such that Y is an instance of hole, Y is a hole in X, and Z partially fills X |
| (=> (and (instance ?E EngineCylinder) (instance ?I InternalCombustionChamber) (instance ?P Piston) (instance ?T TwoStrokeIntake) (holdsDuring ?T (located ?P ?E)) (equal ?E (HoleHostFn ?I)) (eventLocated ?T ?E)) (hasPurpose ?P (holdsDuring ?T (partiallyFills ?P ?I)))) |
Cars.kif 416-428 | If All of the following hold: (1) X is an instance of engine cylinder (2) Y is an instance of internal combustion chamber (3) Z is an instance of piston (4) W is an instance of two stroke intake (5) Z is located at X holds during W (6) equal X and the host of the hole Y (7) W is located at X, then Z has the purpose Z partially fills Y holds during W |
| (=> (and (instance ?E EngineCylinder) (instance ?C Crankcase) (instance ?P Piston) (instance ?T TwoStrokeTransfer) (holdsDuring ?T (located ?P ?E)) (equal ?E (HoleHostFn ?C)) (eventLocated ?T ?E)) (hasPurpose ?P (holdsDuring ?T (partiallyFills ?P ?C)))) |
Cars.kif 462-474 | If All of the following hold: (1) X is an instance of engine cylinder (2) Y is an instance of crankcase (3) Z is an instance of piston (4) W is an instance of two stroke transfer (5) Z is located at X holds during W (6) equal X and the host of the hole Y (7) W is located at X, then Z has the purpose Z partially fills Y holds during W |
| (=> (and (instance ?W Whiskey) (instance ?D Distilling) (result ?D ?W) (resource ?DR ?W) (instance ?DR Drinking)) (exists (?C ?T ?H) (and (instance ?C Cask) (instance ?H HoleRegion) (hole ?H ?C) (holdsDuring ?T (partiallyFills ?W ?C)) (earlier ?D ?T) (earlier ?T ?DR)))) |
Food.kif 3654-3669 | If X is an instance of whiskey, Y is an instance of distilling, X is a result of Y, X is a resource for Z, and Z is an instance of drinking, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of cask (3) U is an instance of hole (4) U is a hole in W (5) X partially fills W holds during V (6) Y happens earlier than V (7) V happens earlier than Z |
| (=> (instance ?B BowlingBall) (exists (?HOLES) (and (instance ?HOLES CollectionOfObjects) (memberType ?HOLES HoleRegion) (memberCount ?HOLES 3) (located ?HOLES ?B) (hasPurpose ?HOLES (exists (?FINGER ?HOLE) (and (member ?HOLE ?HOLES) (instance ?FINGER Finger) (partiallyFills ?FINGER ?HOLE))))))) |
Sports.kif 1153-1166 | If X is an instance of bowling ball, then All of the following hold: (1) there exists Y such that Y is an instance of collection (2) hole is a member type of Y (3) 3 is a member count of Y (4) Y is located at X (5) Y has the purpose there exist Z (6) W such that W is a member of Y (7) Z is an instance of finger (8) Z partially fills W |
|