| appearance as argument number 1 |
|
| (documentation fills ChineseLanguage " 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).") | chinese_format.kif 2885-2889 | |
| (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 10063-10066 | |
| (documentation fills JapaneseLanguage "ホールを埋めることができる。(fills ?OBJ ?HOLE) は、 Object ?OBJ が Hole ?HOLEを埋めるということを意味する。注：ここで fills は完全に満たされ たことを意味する。完全なフィラーと充填可能なエンティティには、共通の部分がない(むしろ、同じ空間領域 を占有する場合がある)。") | japanese_format.kif 1633-1636 | |
| (domain fills 1 Object) | Merge.kif 10059-10059 | O argumento numero 1 de fills e' uma instancia de Objeto |
| (domain fills 2 HoleRegion) | Merge.kif 10060-10060 | O argumento numero 2 de fills e' uma instancia de Buraco |
| (instance fills AsymmetricRelation) | Merge.kif 10056-10056 | fills e' uma instancia de Relacao Assimetrica |
| (relatedInternalConcept fills Fillable) | Merge.kif 10061-10061 | fills e' relacionado internamente por SUMO a Fillable |
| (subrelation fills completelyFills) | Merge.kif 10057-10057 | fills e' uma sub-relacao de completelyFills |
| (subrelation fills properlyFills) | Merge.kif 10058-10058 | fills e' uma sub-relacao de properlyFills |
| 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 385-385 | |
| (format FrenchLanguage fills "%1 %n{ne} remplie %n{pas} %2") | french_format.kif 218-218 | |
| (format ItalianLanguage fills "%1 %n{non} riempie%p{s} %2") | relations-it.txt 110-110 | |
| (format JapaneseLanguage fills "%1 は %2 を fill%p{s} %n{ない}") | japanese_format.kif 2024-2024 | |
| (format PortugueseLanguage fills "%1 %n{nao} completa %n %2") | portuguese_format.kif 170-170 | |
| (format cz fills "%1 %n{ne}zapl�uje %2") | relations-cz.txt 225-225 | |
| (format de fills "%1 fuellt %2 %n{nicht}") | relations-de.txt 507-507 | |
| (format hi fills "%2 %1 se bharaa huaa hai") | relations-hindi.txt 150-150 | |
| (format ro fills "%1 %n{nu} fill%t{umple} %2") | relations-ro.kif 238-238 | |
| (format sv fills "%1 fyller %n{inte} %2") | relations-sv.txt 235-235 | |
| (format tg fills "%1 %n nagtatambak %2") | relations-tg.txt 230-230 | |
| (termFormat ChineseLanguage fills "刚好填入") | chinese_format.kif 380-380 | |
| (termFormat ChineseLanguage fills "填充") | domainEnglishFormat.kif 23678-23678 | |
| (termFormat ChineseTraditionalLanguage fills "填充") | domainEnglishFormat.kif 23677-23677 | |
| (termFormat EnglishLanguage fills "fills") | domainEnglishFormat.kif 23676-23676 | |
| (termFormat tg fills "nagtatambak") | relations-tg.txt 231-231 |
| antecedent |
|
|
| (=> (and (fills ?OBJ ?HOLE1) (properPart ?HOLE2 ?HOLE1)) (completelyFills ?OBJ ?HOLE2)) |
Merge.kif 10088-10092 | |
| (=> (and (fills ?OBJ1 ?HOLE) (attribute ?OBJ2 Fillable)) (not (overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 10068-10073 | |
| (=> (and (fills ?OBJ1 ?HOLE) (properPart ?OBJ2 ?OBJ1)) (properlyFills ?OBJ2 ?HOLE)) |
Merge.kif 10094-10098 |
|
| (=> (holdsDuring ?TIME (fills ?OBJ ?HOLE)) (attribute ?HOLE Fillable)) |
Merge.kif 9992-9995 |
| consequent |
|
|
| (=> (attribute ?C ContainerFull) (exists (?H ?S) (and (instance ?H HoleRegion) (hole ?H ?C) (fills ?S ?C)))) |
Mid-level-ontology.kif 1639-1645 |
|
| (=> (completelyFills ?OBJ1 ?HOLE) (exists (?OBJ2) (and (part ?OBJ2 ?OBJ1) (fills ?OBJ2 ?HOLE)))) |
Merge.kif 10049-10054 | |
| (=> (properlyFills ?OBJ ?HOLE1) (exists (?HOLE2) (and (part ?HOLE2 ?HOLE1) (fills ?OBJ ?HOLE2)))) |
Merge.kif 10030-10035 |
|
|
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 3.0 is open source software produced by Articulate Software and its partners