Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| properlyFills |
| appearance as argument number 1 |
|
| (instance properlyFills AsymmetricRelation) | Merge.kif 1008-1008 | properly fills is an instance of asymmetric relation |
| (subrelation properlyFills partiallyFills) | Merge.kif 1009-1009 | properly fills is a subrelation of partially fills |
| (domain properlyFills 1 Object) | Merge.kif 1010-1010 | The number 1 argument of properly fills is an instance of object |
| (domain properlyFills 2 HoleRegion) | Merge.kif 1011-1011 | The number 2 argument of properly fills is an instance of hole |
| (documentation properlyFills EnglishLanguage "(properlyFills ?OBJ ?HOLE)means that ?HOLE is properly (though perhaps incompletely) filled by ?OBJ, i.e. some part of ?HOLE is perfectly filled by ?OBJ. Note thatproperlyFills is the dual of completelyFills, and is so related to partiallyFills that ?OBJ properlyFills ?HOLE just in case ?OBJ partiallyFills every part of ?HOLE. (Thus, every perfect filler is both complete and proper in this sense). Every hole is connected with everything with which a proper filler of the hole is connected. Every proper part of a perfect filler of (a part of) a hole properly fills (that part of) that hole.") | Merge.kif 1079-1086 | The number 2 argument of properly fills is an instance of hole |
| appearance as argument number 2 |
|
|
| (subrelation fills properlyFills) | Merge.kif 10249-10249 | fills is a subrelation of properly fills |
| (termFormat EnglishLanguage properlyFills "properly fills") | domainEnglishFormat.kif 47785-47785 | fills is a subrelation of properly fills |
| (termFormat ChineseTraditionalLanguage properlyFills "適當填充") | domainEnglishFormat.kif 47786-47786 | fills is a subrelation of properly fills |
| (termFormat ChineseLanguage properlyFills "适当填充") | domainEnglishFormat.kif 47787-47787 | fills is a subrelation of properly fills |
| (format EnglishLanguage properlyFills "%1 %n{doesn't} properly fill%p{s} %2") | english_format.kif 391-391 | fills is a subrelation of properly fills |
| antecedent |
|
|
| (=> (and (hole ?HOLE ?OBJ1) (properlyFills ?OBJ2 ?HOLE)) (contains ?OBJ1 ?OBJ2)) |
Merge.kif 1108-1112 | If X is a hole in Y and Z properly fills X, then Y contains Z |
| (=> (properlyFills ?OBJ ?HOLE1) (exists (?HOLE2) (and (part ?HOLE2 ?HOLE1) (fills ?OBJ ?HOLE2)))) |
Merge.kif 10219-10224 | If X properly fills Y, then there exists Z such that Z is a part of Y and X fills Z |
| (=> (and (properlyFills ?OBJ1 ?HOLE) (connected ?OBJ2 ?OBJ1)) (connected ?HOLE ?OBJ2)) |
Merge.kif 10273-10277 | If X properly fills Y and Z is connected to X, then Y is connected to Z |
| consequent |
|
|
| (=> (contains ?OBJ1 ?OBJ2) (exists (?HOLE) (and (hole ?HOLE ?OBJ1) (properlyFills ?OBJ2 ?HOLE)))) |
Merge.kif 1101-1106 | If X contains Y, then there exists Z such that Z is a hole in X and Y properly fills Z |
| (=> (and (fills ?OBJ1 ?HOLE) (properPart ?OBJ2 ?OBJ1)) (properlyFills ?OBJ2 ?HOLE)) |
Merge.kif 10285-10289 | If X fills Y and Z is a proper part of X, then Z properly fills Y |
| (=> (instance ?AREA WaterArea) (exists (?BED ?HOLE ?WATER) (and (equal (HoleHostFn ?HOLE) ?BED) (instance ?WATER Water) (properlyFills ?WATER ?HOLE) (equal (MereologicalSumFn ?BED ?WATER) ?AREA)))) |
Merge.kif 14438-14445 | If X is an instance of water area, then All of the following hold: (1) there exist Y, Z (2) W such that equal the host of the hole Z (3) Y (4) W is an instance of water (5) W properly fills Z (6) equal the union of the parts of Y (7) W (8) X |
| (=> (instance ?B Eyeball) (exists (?S ?L1 ?L2) (and (instance ?S Eyesocket) (properlyFills ?B ?S) (instance ?L1 UpperEyelid) (instance ?L2 LowerEyelid) (covers ?L1 ?B)))) |
Mid-level-ontology.kif 13716-13724 | If X is an instance of eye ball, then there exist Y, Z, W such that Y is an instance of eye socket, X properly fills Y, Z is an instance of upper eye lid, W is an instance of lower eye lid, and Z covers X |
|