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

Formal Language: 



KB Term:  Term intersection
English Word: 

  completelyFills

 Sigma KEE - completelyFills
completelyFills

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


(documentation completelyFills ChineseLanguage "(completelyFills ?OBJ ?HOLE) 的意思是 Object ?OBJ 的一些 part 填充了 HoleRegion ?HOLE。注：如果是 (completelyFills ?OBJ1 ?HOLE)和(part?OBJ1 ?OBJ2)的话，那么(completelyFills ?OBJ2 ?HOLE) 就属实。能够把一个洞(它的部分)完全填满的物质会和这个洞(它的部分)相关的所有东西相连。能够把一个洞(它的部分) 完美的填充的物质，会填满这个洞(它的部分)的每一个真正的部分。") chinese_format.kif 2880-2884
(documentation completelyFills EnglishLanguage "(completelyFills ?OBJ ?HOLE) means that some part of the Object ?OBJ fills the HoleRegion ?HOLE. Note that if (completelyFills ?OBJ1 ?HOLE) and (part ?OBJ1 ?OBJ2), then (completelyFills ?OBJ2 ?HOLE). A complete filler of (a part of) a hole is connected with everything with which (that part of) the hole itself is connected. A perfect filler of (a part of) a hole completely fills every proper part of (that part of) that hole.") Merge.kif 10040-10047
(documentation completelyFills JapaneseLanguage "(completelyFills ?OBJ ?HOLE) は、Object ?OBJ の part が Hole ?HOLE を埋めることを意味する。注：(completelyFills ?OBJ1 ?HOLE) お よび (part ?OBJ1 ?OBJ2) の場合、(completelyFills ?OBJ2 ?HOLE) である。　ホールの完全な フィラー、ホール自体が接続されているすべてのものに接続される。ホールの完全なフィラーは、そのホール の(その部分の)すべての適切な部分を完全に埋める。") japanese_format.kif 1628-1632
(instance completelyFills AsymmetricRelation) Merge.kif 10037-10037
(subrelation completelyFills partiallyFills) Merge.kif 10038-10038

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


(format ChineseLanguage completelyFills "%1 %n{doesn't} 完全 fills %2") chinese_format.kif 381-381
(format EnglishLanguage completelyFills "%1 %n{doesn't} completely fill%p{s} %2") english_format.kif 387-387
(format FrenchLanguage completelyFills "%1 %n{ne} remplie %n{pas} compl�tement %2") french_format.kif 219-219
(format ItalianLanguage completelyFills "%1 %n{non} riempie completamente%p{s} %2") relations-it.txt 47-47
(format JapaneseLanguage completelyFills "%1 は %2 を completely fill%p{s} %n{ない}") japanese_format.kif 2025-2025
(format PortugueseLanguage completelyFills "%1 %n{nao} completa %n completemente %2") portuguese_format.kif 171-171
(format cb completelyFills "%1 %n{dili} tanang nagsakop %2") relations-cb.txt 81-81
(format cz completelyFills "%1 zcela %n{ne}zapl�uje %2") relations-cz.txt 226-226
(format de completelyFills "%1 fuellt %2 %n{nicht} vollstaendig") relations-de.txt 510-510
(format hi completelyFills "%1 %2 ko purii taraha se bharataa %n{nahiin} hai") relations-hindi.txt 89-89
(format ro completelyFills "%1 %n{nu} fill%t{umple} completely%t{complet} %2") relations-ro.kif 239-239
(format sv completelyFills "%1 fyller %n{inte} fullständigt %2") relations-sv.txt 236-236
(format tg completelyFills "%1 %n{hindi} lubos nagpupuno %2") relations-tg.txt 110-110
(subrelation fills completelyFills) Merge.kif 10057-10057
(termFormat ChineseLanguage completelyFills "填满") chinese_format.kif 382-382
(termFormat ChineseLanguage completelyFills "完全填满") domainEnglishFormat.kif 16176-16176
(termFormat ChineseTraditionalLanguage completelyFills "完全填滿") domainEnglishFormat.kif 16175-16175
(termFormat EnglishLanguage completelyFills "completely fills") domainEnglishFormat.kif 16174-16174
(termFormat tg completelyFills "lubos nagpupuno") relations-tg.txt 111-111

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


(=>
    (and
        (instance ?PLUG ElectricalPlug)
        (instance ?DEVICE ElectricDevice)
        (instance ?OUTLET ElectricalOutlet)
        (connectedEngineeringComponents ?DEVICE ?PLUG)
        (completelyFills ?PLUG ?OUTLET)
        (instance ?POWER PowerSource)
        (connectedEngineeringComponents ?POWER ?OUTLET))
    (exists (?RE)
        (and
            (instance ?RE RadiatingElectromagnetic)
            (origin ?RE ?POWER)
            (destination ?RE ?DEVICE))))		 Mid-level-ontology.kif 25980-25993
(=>
    (completelyFills ?OBJ1 ?HOLE)
    (exists (?OBJ2)
        (and
            (part ?OBJ2 ?OBJ1)
            (fills ?OBJ2 ?HOLE))))		 Merge.kif 10049-10054
(=>
    (completelyFills ?OBJ1 ?HOLE)
    (forall (?OBJ2)
        (=>
            (connected ?OBJ2 ?HOLE)
            (connected ?OBJ2 ?OBJ1))))		 Merge.kif 10075-10080

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


(=>
    (and
        (fills ?OBJ ?HOLE1)
        (properPart ?HOLE2 ?HOLE1))
    (completelyFills ?OBJ ?HOLE2))		 Merge.kif 10088-10092
(=>
    (instance ?ADAPT OutletAdapter)
    (hasPurpose ?ADAPT
        (exists (?OUTLET ?PLUG)
            (and
                (instance ?PLUG ElectricalPlug)
                (instance ?OUTLET ElectricalOutlet)
                (completelyFills ?PLUG ?ADAPT)
                (completelyFills ?ADAPT ?OUTLET)
                (connectsEngineeringComponents ?ADAPT ?PLUG ?OUTLET)))))		 Mid-level-ontology.kif 26010-26019
(=>
    (instance ?PLUG Plug)
    (exists (?HOLE)
        (completelyFills ?PLUG ?HOLE)))		 Mid-level-ontology.kif 3656-3659
(=>
    (instance ?R
        (OperatingFn InternalCombustionEngine))
    (exists (?E ?C ?F)
        (and
            (instance ?E InternalCombustionEngine)
            (instrument ?R ?E)
            (hole ?C ?E)
            (instance ?F Combustion)
            (completelyFills ?F ?C))))		 Mid-level-ontology.kif 1758-1766
(=>
    (instance ?X ElectricalPlug)
    (hasPurpose ?X
        (exists (?OUTLET)
            (and
                (instance ?OUTLET ElectricalOutlet)
                (completelyFills ?X ?OUTLET)))))		 Mid-level-ontology.kif 25972-25978
(=>
    (partiallyFills ?OBJ ?HOLE1)
    (exists (?HOLE2)
        (and
            (part ?HOLE2 ?HOLE1)
            (completelyFills ?OBJ ?HOLE2))))		 Merge.kif 10023-10028


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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