| appearance as argument number 1 |
|
| (documentation fills ChineseLanguage " Holes can be filled. (fills ?OBJ ?HOLE) means that the Object ?OBJ fills the Hole ?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).") | chinese_format.kif 2885-2889 | |
| (documentation fills EnglishLanguage "Holes can be filled. (fills ?OBJ ?HOLE) means that the Object ?OBJ fills the Hole ?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 9415-9418 | |
| (domain fills 1 Object) | Merge.kif 9411-9411 | The number 1 argument of fills is an instance of object |
| (domain fills 2 Hole) | Merge.kif 9412-9412 | The number 2 argument of fills is an instance of hole |
| (instance fills AsymmetricRelation) | Merge.kif 9408-9408 | fills is an instance of asymmetric relation |
| (relatedInternalConcept fills Fillable) | Merge.kif 9413-9413 | fills is internally related to fillable |
| (subrelation fills completelyFills) | Merge.kif 9409-9409 | fills is a subrelation of completely fills |
| (subrelation fills properlyFills) | Merge.kif 9410-9410 | fills is a subrelation of properly fills |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage fills "%1 %n{doesn't} fills %2") | chinese_format.kif 379-379 | |
| (format EnglishLanguage fills "%1 %n{doesn't} fill%p{s} %2") | english_format.kif 388-388 | |
| (termFormat ChineseLanguage fills "刚好填入") | chinese_format.kif 380-380 | |
| (termFormat ChineseLanguage fills "填充") | domainEnglishFormat.kif 23605-23605 | |
| (termFormat ChineseTraditionalLanguage fills "填充") | domainEnglishFormat.kif 23604-23604 | |
| (termFormat EnglishLanguage fills "fills") | domainEnglishFormat.kif 23603-23603 |
| antecedent |
|
|
| (=> (and (fills ?OBJ ?HOLE1) (properPart ?HOLE2 ?HOLE1)) (completelyFills ?OBJ ?HOLE2)) |
Merge.kif 9440-9444 |
|
| (=> (and (fills ?OBJ1 ?HOLE) (attribute ?OBJ2 Fillable)) (not (overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 9420-9425 |
|
| (=> (and (fills ?OBJ1 ?HOLE) (properPart ?OBJ2 ?OBJ1)) (properlyFills ?OBJ2 ?HOLE)) |
Merge.kif 9446-9450 |
|
| (=> (exists (?TIME) (holdsDuring ?TIME (fills ?OBJ ?HOLE))) (attribute ?HOLE Fillable)) |
Merge.kif 9335-9339 |
|
| consequent |
|
|
| (=> (attribute ?C ContainerFull) (exists (?H ?S) (and (instance ?H Hole) (hole ?H ?C) (fills ?S ?C)))) |
Mid-level-ontology.kif 2050-2056 |
|
| (=> (completelyFills ?OBJ1 ?HOLE) (exists (?OBJ2) (and (part ?OBJ2 ?OBJ1) (fills ?OBJ2 ?HOLE)))) |
Merge.kif 9401-9406 |
|
| (=> (properlyFills ?OBJ ?HOLE1) (exists (?HOLE2) (and (part ?HOLE2 ?HOLE1) (fills ?OBJ ?HOLE2)))) |
Merge.kif 9382-9387 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners