Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Fillable(fillable) |
| appearance as argument number 1 |
|
| (instance Fillable ShapeAttribute) | Merge.kif 10175-10175 | Fillable is an instance of shape attribute |
| (documentation Fillable EnglishLanguage "Something is Fillable if it can be filled by something else. Note that 'filled' here means perfectly filled. Something is fillable just in case it is part of a hole, i.e., fillability is an exclusive property of holes and their parts.") | Merge.kif 10177-10180 | Fillable is an instance of shape attribute |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept fills Fillable) | Merge.kif 10252-10252 | fills is internally related to fillable |
| (termFormat EnglishLanguage Fillable "fillable") | domainEnglishFormat.kif 23662-23662 | fills is internally related to fillable |
| (termFormat ChineseTraditionalLanguage Fillable "可填寫") | domainEnglishFormat.kif 23663-23663 | fills is internally related to fillable |
| (termFormat ChineseLanguage Fillable "可填写") | domainEnglishFormat.kif 23664-23664 | fills is internally related to fillable |
| antecedent |
|
|
| (=> (attribute ?HOLE1 Fillable) (exists (?HOLE2) (and (instance ?HOLE2 HoleRegion) (part ?HOLE1 ?HOLE2)))) |
Merge.kif 10187-10192 | If fillable is an attribute of X, then there exists Y such that Y is an instance of hole and X is a part 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 |
| consequent |
|
|
| (=> (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 (instance ?HOLE2 HoleRegion) (part ?HOLE1 ?HOLE2)) (attribute ?HOLE1 Fillable)) |
Merge.kif 10194-10198 | If X is an instance of hole and Y is a part of X, then fillable is an attribute of Y |
| (=> (and (instance ?X Penne) (not (exists (?Y) (and (instance ?Y Penne) (part ?Y ?X))))) (and (exists (?HOLE2) (and (instance ?HOLE2 HoleRegion) (part ?X ?HOLE2))) (attribute ?X Fillable))) |
Food.kif 2792-2805 | If X is an instance of penne and there doesn't exist Y such that Y is an instance of penne and Y is a part of X, then there exists Z such that Z is an instance of hole and X is a part of Z and fillable is an attribute of X |
|