Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - properlyFills
properlyFills

appearance as argument number 1
-------------------------


(documentation properlyFills ChineseLanguage "(properlyFills ?OBJ ?HOLE)的意思是 ?HOLE 是真正的(但可能不是全部的)被 ?OBJ 填充了,即是 ?HOLE 的某些部分被 ?OBJ 完美的填充了。注: properlyFillscompletelyFills 是成双的,因此它也和 partiallyFills 相关,一个 ?OBJ 会 properlyFills ?HOLE, 以防这个 ?OBJ partiallyFills 这个 ?HOLE 的每一个部分(故此, 在意义上每一个把洞完美填充的物质是既完整又适当的)。每一个洞和联系这个洞的适当填充物质的所有东西相连, 一个洞(的一部分)的完美填充物质的每一个适当的部分,适当的填充这个洞(它的一部分)。") chinese_format.kif 2874-2879
(documentation properlyFills EnglishLanguage "(properlyFills ?OBJ ?HOLE)means that ?HOLE is properly (though perhaps incompletely) filled by ?OBJ, i.e. some part of ?HOLE is perfectly filled by ?OBJ. Note thatproperlyFills is the dual of completelyFills, and is so related to partiallyFills that ?OBJ properlyFills ?HOLE just in case ?OBJ partiallyFills every part of ?HOLE. (Thus, every perfect filler is both complete and proper in this sense). Every hole is connected with everything with which a proper filler of the hole is connected. Every proper part of a perfect filler of (a part of) a hole properly fills (that part of) that hole.") Merge.kif 1005-1012
(documentation properlyFills JapaneseLanguage "(properlyFills ?OBJ ?HOLE) は、?HOLE が ?OBJ によって適切に(おそらく不完全であるが)満たされていることを意味する。例:?HOLE の一部は、?OBJ によって完全に満たされている。注:properlyFillscompletelyFills のデュアルであるため、 ?OBJ が properlyFills ?HOLE の partiallyFills に関連している。それは ?OBJ が ?HOLE のすべ ての部分を partiallyFills する場合に備えている。(したがって、すべての完璧なフィラーは、この意味 で完全かつ適切である)。すべてのホールは、ホールの適切なフィラーが接続されているすべてのものに接続さ れている。ホールの完全なフィラーのすべての適切な部分は、そのホールを適切に埋める(その一部)。") japanese_format.kif 1621-1627
(domain properlyFills 1 Object) Merge.kif 1002-1002 恰当填入 的 1 数量 是 客体instance
(domain properlyFills 2 HoleRegion) Merge.kif 1003-1003 恰当填入 的 2 数量 是 instance
(instance properlyFills AsymmetricRelation) Merge.kif 1000-1000 恰当填入非对称关系instance
(subrelation properlyFills partiallyFills) Merge.kif 1001-1001 恰当填入部分填入subrelation

appearance as argument number 2
-------------------------


(format ChineseLanguage properlyFills "%1 %n{doesn't} 适当的 fills %2") chinese_format.kif 385-385
(format EnglishLanguage properlyFills "%1 %n{doesn't} properly fill%p{s} %2") english_format.kif 391-391
(format FrenchLanguage properlyFills "%1 %n{ne} remplie %n{pas} compl�tement %2") french_format.kif 221-221
(format ItalianLanguage properlyFills "%1 %n{non} riempie propriamente%p{s} %2") relations-it.txt 233-233
(format JapaneseLanguage properlyFills "%1 は %2 を properly fill%p{s} %n{ない}") japanese_format.kif 2027-2027
(format PortugueseLanguage properlyFills "%1 %n{nao} rempliecompleta %n corretamente %2") portuguese_format.kif 173-173
(format cz properlyFills "%1 p�esn� %n{ne}zapl�uje %2") relations-cz.txt 228-228
(format de properlyFills "%1 fuellt %2 %n{nicht} richtig") relations-de.txt 516-516
(format hi properlyFills "%1 %2 ko puurNatayaa %n{nahiin} bharataa hai") relations-hindi.txt 271-271
(format ro properlyFills "%1 %n{nu} fill%t{umple} properly%t{adecvat} %2") relations-ro.kif 241-241
(format sv properlyFills "%1 fyller %n{inte} korrekt %2") relations-sv.txt 238-238
(format tg properlyFills "%1 %n ay nagtatambak %2") relations-tg.txt 425-425
(subrelation fills properlyFills) Merge.kif 10022-10022 刚好填入恰当填入subrelation
(termFormat ChineseLanguage properlyFills "恰当填入") chinese_format.kif 386-386
(termFormat ChineseLanguage properlyFills "适当填充") domainEnglishFormat.kif 47792-47792
(termFormat ChineseTraditionalLanguage properlyFills "適當填充") domainEnglishFormat.kif 47791-47791
(termFormat EnglishLanguage properlyFills "properly fills") domainEnglishFormat.kif 47790-47790

antecedent
-------------------------


(=>
    (and
        (hole ?HOLE ?OBJ1)
        (properlyFills ?OBJ2 ?HOLE))
    (contains ?OBJ1 ?OBJ2))
Merge.kif 1035-1039
(=>
    (and
        (properlyFills ?OBJ1 ?HOLE)
        (connected ?OBJ2 ?OBJ1))
    (connected ?HOLE ?OBJ2))
Merge.kif 10046-10050
(=>
    (properlyFills ?OBJ ?HOLE1)
    (exists (?HOLE2)
        (and
            (part ?HOLE2 ?HOLE1)
            (fills ?OBJ ?HOLE2))))
Merge.kif 9994-9999

consequent
-------------------------


(=>
    (and
        (fills ?OBJ1 ?HOLE)
        (properPart ?OBJ2 ?OBJ1))
    (properlyFills ?OBJ2 ?HOLE))
Merge.kif 10058-10062
(=>
    (contains ?OBJ1 ?OBJ2)
    (exists (?HOLE)
        (and
            (hole ?HOLE ?OBJ1)
            (properlyFills ?OBJ2 ?HOLE))))
Merge.kif 1028-1033
(=>
    (instance ?AREA WaterArea)
    (exists (?BED ?HOLE ?WATER)
        (and
            (equal
                (HoleHostFn ?HOLE) ?BED)
            (instance ?WATER Water)
            (properlyFills ?WATER ?HOLE)
            (equal
                (MereologicalSumFn ?BED ?WATER) ?AREA))))
Merge.kif 14124-14131


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