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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - hole
hole

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


(documentation hole ChineseLanguage "(hole ?HOLE ?OBJ)的意思是 ?HOLE 是在 ?OBJ 的一个 HoleRegion。 一个 HoleRegion 是位于一个 Object surface 可以被填满的部分。") chinese_format.kif 2855-2856
(documentation hole EnglishLanguage "(hole ?HOLE ?OBJ) means that ?HOLE is a HoleRegion in ?OBJ. A HoleRegion is a fillable body located at the surface an Object.") Merge.kif 1007-1008
(documentation hole JapaneseLanguage "(hole ?HOLE ?OBJ) とは、Hole が ?OBJ の Hole で あることを意味する。Hole は、surface Object に位置する書き込み可能なボディである。") japanese_format.kif 1599-1600
(domain hole 1 HoleRegion) Merge.kif 1004-1004 Le nombre 1 argument de hole est une instance de trou
(domain hole 2 SelfConnectedObject) Merge.kif 1005-1005 Le nombre 2 argument de hole est une instance de objet en une partie
(instance hole AsymmetricRelation) Merge.kif 1003-1003 hole est une instance de relation asym�trique
(instance hole BinaryPredicate) Merge.kif 1001-1001 hole est une instance de pr�dicat binaire
(instance hole SpatialRelation) Merge.kif 1002-1002 hole est une instance de relation spatial

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


(format ChineseLanguage hole "%1 %n 是 %2 内的 hole") chinese_format.kif 377-377
(format EnglishLanguage hole "%1 is %n a hole in %2") english_format.kif 378-378
(format FrenchLanguage hole "%1 est %n un trou dans %2") french_format.kif 217-217
(format ItalianLanguage hole "%1 è %n un' apertura in %2") relations-it.txt 132-132
(format JapaneseLanguage hole "%1 は %2 の hole では %n") japanese_format.kif 2023-2023
(format PortugueseLanguage hole "%1 e' %n um buraco dans %2") portuguese_format.kif 169-169
(format cz hole "%1 %p{je} %n{nen�} d�ra v %2") relations-cz.txt 224-224
(format de hole "%1 ist ein loch in %2 %n{nicht}") relations-de.txt 504-504
(format hi hole "%1 %2 men chhidra %n hai") relations-hindi.txt 62-62
(format ro hole "%1 %n{nu} este o hole%t{deschizãturã} în %2") relations-ro.kif 237-237
(format sv hole "%1 är %n{inte} ett hål i %2") relations-sv.txt 234-234
(format tg hole "%1 %n ay ang butas sa %2") relations-tg.txt 270-270
(termFormat ChineseLanguage hole "洞") chinese_format.kif 378-378
(termFormat EnglishLanguage hole "hole") domainEnglishFormat.kif 65860-65860
(termFormat de hole "loch") terms-de.txt 157-157
(termFormat tg hole "butas") relations-tg.txt 271-271

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


(=>
    (and
        (hole ?HOLE ?OBJ1)
        (hole ?HOLE ?OBJ2))
    (exists (?OBJ3)
        (and
            (properPart ?OBJ3
                (MereologicalProductFn ?OBJ1 ?OBJ2))
            (hole ?HOLE ?OBJ3))))		 Merge.kif 10023-10030
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (part ?OBJ1 ?OBJ2))
    (or
        (overlapsSpatially ?HOLE ?OBJ2)
        (hole ?HOLE ?OBJ2)))		 Merge.kif 10041-10047
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (properlyFills ?OBJ2 ?HOLE))
    (contains ?OBJ1 ?OBJ2))		 Merge.kif 1045-1049
(=>
    (and
        (hole ?HOLE1 ?OBJ)
        (hole ?HOLE2 ?OBJ))
    (forall (?HOLE3)
        (=>
            (part ?HOLE3
                (MereologicalSumFn ?HOLE1 ?HOLE2))
            (hole ?HOLE3 ?OBJ))))		 Merge.kif 10032-10039
(=>
    (and
        (hole ?HOLE1 ?OBJ1)
        (hole ?HOLE2 ?OBJ2)
        (overlapsSpatially ?HOLE1 ?HOLE2))
    (overlapsSpatially ?OBJ1 ?OBJ2))		 Merge.kif 10049-10054
(=>
    (and
        (instance ?land CaveMatrix)
        (instance ?cave Cave)
        (hole ?cave ?land))
    (equal ?land
        (HoleSkinFn ?cave)))		 Geography.kif 6330-6335
(=>
    (hole ?HOLE ?OBJ)
    (connected ?HOLE ?OBJ))		 Merge.kif 10073-10075
(=>
    (hole ?HOLE ?OBJ)
    (instance ?HOLE HoleRegion))		 Merge.kif 10009-10011
(=>
    (hole ?HOLE ?OBJ)
    (not
        (instance ?OBJ HoleRegion)))		 Merge.kif 10013-10016
(=>
    (hole ?HOLE ?OBJ)
    (not
        (overlapsSpatially ?HOLE ?OBJ)))		 Merge.kif 10018-10021

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


(=>
    (and
        (hole ?HOLE ?OBJ1)
        (hole ?HOLE ?OBJ2))
    (exists (?OBJ3)
        (and
            (properPart ?OBJ3
                (MereologicalProductFn ?OBJ1 ?OBJ2))
            (hole ?HOLE ?OBJ3))))		 Merge.kif 10023-10030
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (part ?OBJ1 ?OBJ2))
    (or
        (overlapsSpatially ?HOLE ?OBJ2)
        (hole ?HOLE ?OBJ2)))		 Merge.kif 10041-10047
(=>
    (and
        (hole ?HOLE1 ?OBJ)
        (hole ?HOLE2 ?OBJ))
    (forall (?HOLE3)
        (=>
            (part ?HOLE3
                (MereologicalSumFn ?HOLE1 ?HOLE2))
            (hole ?HOLE3 ?OBJ))))		 Merge.kif 10032-10039
(=>
    (and
        (instance ?DRILL Drilling)
        (patient ?DRILL ?OBJ))
    (exists (?HOLE)
        (and
            (holdsDuring
                (BeginFn
                    (WhenFn ?DRILL))
                (not
                    (hole ?HOLE ?OBJ)))
            (holdsDuring
                (EndFn
                    (WhenFn ?DRILL))
                (hole ?HOLE ?OBJ)))))		 Mid-level-ontology.kif 19670-19677
(=>
    (and
        (instance ?W Whiskey)
        (instance ?D Distilling)
        (result ?D ?W)
        (resource ?DR ?W)
        (instance ?DR Drinking))
    (exists (?C ?T ?H)
        (and
            (instance ?C Cask)
            (instance ?H HoleRegion)
            (hole ?H ?C)
            (holdsDuring ?T
                (partiallyFills ?W ?C))
            (earlier ?D ?T)
            (earlier ?T ?DR))))		 Food.kif 3624-3639
(=>
    (attribute ?C ContainerEmpty)
    (not
        (exists (?H ?S)
            (and
                (instance ?H HoleRegion)
                (hole ?H ?C)
                (partiallyFills ?S ?C)))))		 Mid-level-ontology.kif 2091-2098
(=>
    (attribute ?C ContainerFull)
    (exists (?H ?S)
        (and
            (instance ?H HoleRegion)
            (hole ?H ?C)
            (fills ?S ?C))))		 Mid-level-ontology.kif 2109-2115
(=>
    (contains ?OBJ1 ?OBJ2)
    (exists (?HOLE)
        (and
            (hole ?HOLE ?OBJ1)
            (properlyFills ?OBJ2 ?HOLE))))		 Merge.kif 1038-1043
(=>
    (instance ?B GunBore)
    (exists (?H)
        (and
            (instance ?H HoleRegion)
            (shape ?B Cylinder)
            (part ?H ?B)
            (hole ?H ?B))))		 Mid-level-ontology.kif 1392-1399
(=>
    (instance ?Canyon Canyon)
    (exists (?Hole)
        (hole ?Hole ?Canyon)))		 Geography.kif 4470-4473
(=>
    (instance ?HOLE HoleRegion)
    (exists (?OBJ)
        (hole ?HOLE ?OBJ)))		 Merge.kif 10004-10007
(=>
    (instance ?PC PorousContainer)
    (exists (?HOLE)
        (and
            (instance ?HOLE HoleRegion)
            (hole ?HOLE ?PC))))		 Mid-level-ontology.kif 4962-4967
(=>
    (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 2228-2236
(=>
    (instance ?S Sandal)
    (exists (?H1 ?H2)
        (and
            (instance ?H1 HoleRegion)
            (hole ?H1 ?S)
            (instance ?H2 HoleRegion)
            (hole ?H2 ?S)
            (not
                (equal ?H1 ?H2))
            (hasPurpose ?H1
                (exists (?D ?F ?A ?I)
                    (and
                        (instance ?D Dressing)
                        (instance ?F Foot)
                        (agent ?D ?A)
                        (part ?F ?A)
                        (subProcess ?I ?D)
                        (instance ?I Inserting)
                        (patient ?I ?F)
                        (destination ?I ?H1)))))))		 Mid-level-ontology.kif 6149-6169
(=>
    (instance ?Slot ATMSlot)
    (exists (?ATM)
        (and
            (instance ?ATM ATMMachine)
            (hole ?Slot ?ATM))))		 FinancialOntology.kif 3680-3685
(=>
    (instance ?X FuelCapLock)
    (hasPurpose ?X
        (exists (?TANK ?HOLE ?T)
            (and
                (instance ?TANK GasTank)
                (hole ?HOLE ?TANK)
                (decreasesLikelihood
                    (holdsDuring ?T
                        (and
                            (connected ?X ?HOLE)
                            (attribute ?X Locked)))
                    (holdsDuring ?T
                        (exists (?STEAL ?FUEL)
                            (and
                                (instance ?STEAL Stealing)
                                (instance ?FUEL Fuel)
                                (located ?FUEL ?TANK)
                                (patient ?STEAL ?FUEL)))))))))		 Cars.kif 1016-1034
(=>
    (instance ?cave Cave)
    (exists (?land)
        (and
            (instance ?land CaveMatrix)
            (hole ?cave ?land))))		 Geography.kif 6323-6328


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