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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - completelyFills
completelyFills

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


(documentation completelyFills ChineseLanguage "(completelyFills ?OBJ ?HOLE) 的意思是 Object ?OBJ 的一些 part 填充了 Hole ?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 Hole ?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 9301-9308
(instance completelyFills AsymmetricRelation) Merge.kif 9298-9298
(subrelation completelyFills partiallyFills) Merge.kif 9299-9299

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 390-390
(subrelation fills completelyFills) Merge.kif 9318-9318
(termFormat ChineseLanguage completelyFills "填满") chinese_format.kif 382-382
(termFormat ChineseLanguage completelyFills "完全填满") domainEnglishFormat.kif 16105-16105
(termFormat ChineseTraditionalLanguage completelyFills "完全填滿") domainEnglishFormat.kif 16104-16104
(termFormat EnglishLanguage completelyFills "completely fills") domainEnglishFormat.kif 16103-16103

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 23934-23947
(=>
    (completelyFills ?OBJ1 ?HOLE)
    (exists (?OBJ2)
        (and
            (part ?OBJ2 ?OBJ1)
            (fills ?OBJ2 ?HOLE))))
Merge.kif 9310-9315
(=>
    (completelyFills ?OBJ1 ?HOLE)
    (forall (?OBJ2)
        (=>
            (connected ?OBJ2 ?HOLE)
            (connected ?OBJ2 ?OBJ1))))
Merge.kif 9336-9341

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


(=>
    (and
        (fills ?OBJ ?HOLE1)
        (properPart ?HOLE2 ?HOLE1))
    (completelyFills ?OBJ ?HOLE2))
Merge.kif 9349-9353
(=>
    (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 23964-23973
(=>
    (instance ?PLUG Plug)
    (exists (?HOLE)
        (completelyFills ?PLUG ?HOLE)))
Mid-level-ontology.kif 4194-4197
(=>
    (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 2178-2186
(=>
    (instance ?X ElectricalPlug)
    (hasPurpose ?X
        (exists (?OUTLET)
            (and
                (instance ?OUTLET ElectricalOutlet)
                (completelyFills ?X ?OUTLET)))))
Mid-level-ontology.kif 23926-23932
(=>
    (partiallyFills ?OBJ ?HOLE1)
    (exists (?HOLE2)
        (and
            (part ?HOLE2 ?HOLE1)
            (completelyFills ?OBJ ?HOLE2))))
Merge.kif 9270-9275


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