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 997-998
(documentation hole JapaneseLanguage "(hole ?HOLE ?OBJ) とは、Hole が ?OBJ の Hole で あることを意味する。Hole は、surface Object に位置する書き込み可能なボディである。") japanese_format.kif 1599-1600
(domain hole 1 HoleRegion) Merge.kif 994-994 的 1 数量 是 instance
(domain hole 2 SelfConnectedObject) Merge.kif 995-995 的 2 数量 是 自身连接物体instance
(instance hole AsymmetricRelation) Merge.kif 993-993 非对称关系instance
(instance hole BinaryPredicate) Merge.kif 991-991 二元谓语instance
(instance hole SpatialRelation) Merge.kif 992-992 空间关系instance

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 65853-65853
(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 9885-9892
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (part ?OBJ1 ?OBJ2))
    (or
        (overlapsSpatially ?HOLE ?OBJ2)
        (hole ?HOLE ?OBJ2)))
Merge.kif 9903-9909
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (properlyFills ?OBJ2 ?HOLE))
    (contains ?OBJ1 ?OBJ2))
Merge.kif 1035-1039
(=>
    (and
        (hole ?HOLE1 ?OBJ)
        (hole ?HOLE2 ?OBJ))
    (forall (?HOLE3)
        (=>
            (part ?HOLE3
                (MereologicalSumFn ?HOLE1 ?HOLE2))
            (hole ?HOLE3 ?OBJ))))
Merge.kif 9894-9901
(=>
    (and
        (hole ?HOLE1 ?OBJ1)
        (hole ?HOLE2 ?OBJ2)
        (overlapsSpatially ?HOLE1 ?HOLE2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 9911-9916
(=>
    (and
        (instance ?land CaveMatrix)
        (instance ?cave Cave)
        (hole ?cave ?land))
    (equal ?land
        (HoleSkinFn ?cave)))
Geography.kif 6060-6065
(=>
    (hole ?HOLE ?OBJ)
    (connected ?HOLE ?OBJ))
Merge.kif 9935-9937
(=>
    (hole ?HOLE ?OBJ)
    (instance ?HOLE HoleRegion))
Merge.kif 9871-9873
(=>
    (hole ?HOLE ?OBJ)
    (not
        (instance ?OBJ HoleRegion)))
Merge.kif 9875-9878
(=>
    (hole ?HOLE ?OBJ)
    (not
        (overlapsSpatially ?HOLE ?OBJ)))
Merge.kif 9880-9883

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


(=>
    (and
        (hole ?HOLE ?OBJ1)
        (hole ?HOLE ?OBJ2))
    (exists (?OBJ3)
        (and
            (properPart ?OBJ3
                (MereologicalProductFn ?OBJ1 ?OBJ2))
            (hole ?HOLE ?OBJ3))))
Merge.kif 9885-9892
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (part ?OBJ1 ?OBJ2))
    (or
        (overlapsSpatially ?HOLE ?OBJ2)
        (hole ?HOLE ?OBJ2)))
Merge.kif 9903-9909
(=>
    (and
        (hole ?HOLE1 ?OBJ)
        (hole ?HOLE2 ?OBJ))
    (forall (?HOLE3)
        (=>
            (part ?HOLE3
                (MereologicalSumFn ?HOLE1 ?HOLE2))
            (hole ?HOLE3 ?OBJ))))
Merge.kif 9894-9901
(=>
    (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 18099-18106
(=>
    (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 3617-3632
(=>
    (attribute ?C ContainerEmpty)
    (not
        (exists (?H ?S)
            (and
                (instance ?H HoleRegion)
                (hole ?H ?C)
                (partiallyFills ?S ?C)))))
Mid-level-ontology.kif 1628-1635
(=>
    (attribute ?C ContainerFull)
    (exists (?H ?S)
        (and
            (instance ?H HoleRegion)
            (hole ?H ?C)
            (fills ?S ?C))))
Mid-level-ontology.kif 1646-1652
(=>
    (contains ?OBJ1 ?OBJ2)
    (exists (?HOLE)
        (and
            (hole ?HOLE ?OBJ1)
            (properlyFills ?OBJ2 ?HOLE))))
Merge.kif 1028-1033
(=>
    (instance ?Canyon Canyon)
    (exists (?Hole)
        (hole ?Hole ?Canyon)))
Geography.kif 4263-4266
(=>
    (instance ?HOLE HoleRegion)
    (exists (?OBJ)
        (hole ?HOLE ?OBJ)))
Merge.kif 9866-9869
(=>
    (instance ?PC PorousContainer)
    (exists (?HOLE)
        (and
            (instance ?HOLE HoleRegion)
            (hole ?HOLE ?PC))))
Mid-level-ontology.kif 4517-4522
(=>
    (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 1765-1773
(=>
    (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 5212-5232
(=>
    (instance ?Slot ATMSlot)
    (exists (?ATM)
        (and
            (instance ?ATM ATMMachine)
            (hole ?Slot ?ATM))))
FinancialOntology.kif 3662-3667
(=>
    (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 6053-6058


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