Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| fills |
| appearance as argument number 1 |
|
| (instance fills BinaryPredicate) | Merge.kif 10247-10247 | fills is an instance of binary predicate |
| (subrelation fills completelyFills) | Merge.kif 10248-10248 | fills is a subrelation of completely fills |
| (subrelation fills properlyFills) | Merge.kif 10249-10249 | fills is a subrelation of properly fills |
| (domain fills 1 Object) | Merge.kif 10250-10250 | The number 1 argument of fills is an instance of object |
| (domain fills 2 HoleRegion) | Merge.kif 10251-10251 | The number 2 argument of fills is an instance of hole |
| (relatedInternalConcept fills Fillable) | Merge.kif 10252-10252 | fills is internally related to fillable |
| (documentation fills EnglishLanguage "Holes can be filled. (fills ?OBJ ?HOLE) means that the Object ?OBJ fills the HoleRegion ?HOLE. Note that fills here means perfectly filled. Perfect fillers and fillable entities have no parts in common (rather, they may occupy the same spatial region).") | Merge.kif 10254-10257 | fills is internally related to fillable |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage fills "fills") | domainEnglishFormat.kif 23674-23674 | |
| (termFormat ChineseTraditionalLanguage fills "填充") | domainEnglishFormat.kif 23675-23675 | |
| (termFormat ChineseLanguage fills "填充") | domainEnglishFormat.kif 23676-23676 | |
| (format EnglishLanguage fills "%1 %n{doesn't} fill%p{s} %2") | english_format.kif 385-385 |
| antecedent |
|
|
| (=> (holdsDuring ?TIME (fills ?OBJ ?HOLE)) (attribute ?HOLE Fillable)) |
Merge.kif 10182-10185 | If X fills Y holds during Z, then fillable is an attribute of Y |
| (=> (and (fills ?OBJ1 ?HOLE) (attribute ?OBJ2 Fillable)) (not (overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 10259-10264 | If X fills Y and fillable is an attribute of Z, then X and Z doesn't overlapsSpatially |
| (=> (and (fills ?OBJ ?HOLE1) (properPart ?HOLE2 ?HOLE1)) (completelyFills ?OBJ ?HOLE2)) |
Merge.kif 10279-10283 | If X fills Y and Z is a proper part of Y, then X completely 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 |
| consequent |
|
|
| (=> (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 |
| (=> (completelyFills ?OBJ1 ?HOLE) (exists (?OBJ2) (and (part ?OBJ2 ?OBJ1) (fills ?OBJ2 ?HOLE)))) |
Merge.kif 10240-10245 | If X completely fills Y, then there exists Z such that Z is a part of X and Z fills Y |
| (=> (attribute ?C ContainerFull) (exists (?H ?S) (and (instance ?H HoleRegion) (hole ?H ?C) (fills ?S ?C)))) |
Mid-level-ontology.kif 2178-2184 | If container full is an attribute of X, then there exist Y, Z such that Y is an instance of hole, Y is a hole in X, and Z fills X |
|