| 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).") | Merge.kif 10084-10088 | |
| (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 10080-10083 | |
| (domain fills 1 Object) | Merge.kif 10077-10077 | |
| (domain fills 2 Hole) | Merge.kif 10078-10078 | |
| (instance fills AsymmetricRelation) | Merge.kif 10074-10074 | |
| (relatedInternalConcept fills Fillable) | Merge.kif 10079-10079 | |
| (subrelation fills completelyFills) | Merge.kif 10075-10075 | |
| (subrelation fills properlyFills) | Merge.kif 10076-10076 |
| 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 228-228 | |
| (termFormat ChineseLanguage fills "刚好填入") | chinese_format.kif 380-380 | |
| (termFormat EnglishLanguage fills "fills") | domainEnglishFormat.kif 4368-4368 |
| antecedent |
|
|
| (=> (and (fills ?OBJ ?HOLE1) (properPart ?HOLE2 ?HOLE1)) (completelyFills ?OBJ ?HOLE2)) |
Merge.kif 10111-10115 | |
| (=> (and (fills ?OBJ1 ?HOLE) (attribute ?OBJ2 Fillable)) (not (overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 10091-10096 | |
| (=> (and (fills ?OBJ1 ?HOLE) (properPart ?OBJ2 ?OBJ1)) (properlyFills ?OBJ2 ?HOLE)) |
Merge.kif 10117-10121 | |
| (=> (exists (?TIME) (holdsDuring ?TIME (fills ?OBJ ?HOLE))) (attribute ?HOLE Fillable)) |
Merge.kif 9986-9990 |
| consequent |
|
|
| (=> (attribute ?C ContainerFull) (exists (?H ?S) (and (instance ?H Hole) (hole ?H ?C) (fills ?S ?C)))) |
Mid-level-ontology.kif 2055-2061 | |
| (=> (completelyFills ?OBJ1 ?HOLE) (exists (?OBJ2) (and (part ?OBJ2 ?OBJ1) (fills ?OBJ2 ?HOLE)))) |
Merge.kif 10067-10072 | |
| (=> (properlyFills ?OBJ ?HOLE1) (exists (?HOLE2) (and (part ?HOLE2 ?HOLE1) (fills ?OBJ ?HOLE2)))) |
Merge.kif 10044-10049 |
|
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