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 的一个 Hole。 一个 Hole 是位于一个 Object surface 可以被填满的部分。") chinese_format.kif 2855-2856
(documentation hole EnglishLanguage "(hole ?HOLE ?OBJ) means that ?HOLE is a Hole in ?OBJ. A Hole is a fillable body located at the surface an Object.") Merge.kif 9140-9141
(domain hole 1 Hole) Merge.kif 9137-9137
(domain hole 2 SelfConnectedObject) Merge.kif 9138-9138
(instance hole AsymmetricRelation) Merge.kif 9136-9136
(instance hole BinaryPredicate) Merge.kif 9134-9134
(instance hole SpatialRelation) Merge.kif 9135-9135

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 381-381
(termFormat ChineseLanguage hole "洞") chinese_format.kif 378-378

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


(=>
    (and
        (hole ?HOLE ?OBJ1)
        (hole ?HOLE ?OBJ2))
    (exists (?OBJ3)
        (and
            (properPart ?OBJ3
                (MereologicalProductFn ?OBJ1 ?OBJ2))
            (hole ?HOLE ?OBJ3))))
Merge.kif 9173-9180
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (part ?OBJ1 ?OBJ2))
    (or
        (overlapsSpatially ?HOLE ?OBJ2)
        (hole ?HOLE ?OBJ2)))
Merge.kif 9191-9197
(=>
    (and
        (hole ?HOLE1 ?OBJ)
        (hole ?HOLE2 ?OBJ))
    (forall (?HOLE3)
        (=>
            (part ?HOLE3
                (MereologicalSumFn ?HOLE1 ?HOLE2))
            (hole ?HOLE3 ?OBJ))))
Merge.kif 9182-9189
(=>
    (and
        (hole ?HOLE1 ?OBJ1)
        (hole ?HOLE2 ?OBJ2)
        (overlapsSpatially ?HOLE1 ?HOLE2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 9199-9204
(=>
    (and
        (instance ?land CaveMatrix)
        (instance ?cave Cave)
        (hole ?cave ?land))
    (equal ?land
        (HoleSkinFn ?cave)))
Geography.kif 5657-5662
(=>
    (hole ?HOLE ?OBJ)
    (connected ?HOLE ?OBJ))
Merge.kif 9223-9225
(=>
    (hole ?HOLE ?OBJ)
    (not
        (instance ?OBJ Hole)))
Merge.kif 9163-9166
(=>
    (hole ?HOLE ?OBJ)
    (not
        (overlapsSpatially ?HOLE ?OBJ)))
Merge.kif 9168-9171

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


(<=>
    (contains ?OBJ1 ?OBJ2)
    (exists (?HOLE)
        (and
            (hole ?HOLE ?OBJ1)
            (properlyFills ?OBJ2 ?HOLE))))
Merge.kif 958-963
(<=>
    (instance ?HOLE Hole)
    (exists (?OBJ)
        (hole ?HOLE ?OBJ)))
Merge.kif 9158-9161
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (hole ?HOLE ?OBJ2))
    (exists (?OBJ3)
        (and
            (properPart ?OBJ3
                (MereologicalProductFn ?OBJ1 ?OBJ2))
            (hole ?HOLE ?OBJ3))))
Merge.kif 9173-9180
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (part ?OBJ1 ?OBJ2))
    (or
        (overlapsSpatially ?HOLE ?OBJ2)
        (hole ?HOLE ?OBJ2)))
Merge.kif 9191-9197
(=>
    (and
        (hole ?HOLE1 ?OBJ)
        (hole ?HOLE2 ?OBJ))
    (forall (?HOLE3)
        (=>
            (part ?HOLE3
                (MereologicalSumFn ?HOLE1 ?HOLE2))
            (hole ?HOLE3 ?OBJ))))
Merge.kif 9182-9189
(=>
    (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 15793-15800
(=>
    (and
        (instance ?W Whiskey)
        (instance ?D Distilling)
        (result ?D ?W)
        (resource ?DR ?W)
        (instance ?DR Drinking))
    (exists (?C ?T)
        (and
            (instance ?C Cask)
            (instance ?H Hole)
            (hole ?H ?C)
            (holdsDuring ?T
                (partiallyFills ?W ?C))
            (earlier ?D ?T)
            (earlier ?T ?DR))))
Food.kif 1084-1099
(=>
    (attribute ?C ContainerEmpty)
    (not
        (exists (?H ?S)
            (and
                (instance ?H Hole)
                (hole ?H ?C)
                (partiallyFills ?S ?C)))))
Mid-level-ontology.kif 2032-2039
(=>
    (attribute ?C ContainerFull)
    (exists (?H ?S)
        (and
            (instance ?H Hole)
            (hole ?H ?C)
            (fills ?S ?C))))
Mid-level-ontology.kif 2050-2056
(=>
    (instance ?Canyon Canyon)
    (exists (?Hole)
        (hole ?Hole ?Canyon)))
Geography.kif 4042-4045
(=>
    (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 ?S Sandal)
    (exists (?H1 ?H2)
        (and
            (instance ?H1 Hole)
            (hole ?H1 ?S)
            (instance ?H2 Hole)
            (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 5492-5512
(=>
    (instance ?Slot ATMSlot)
    (exists (?ATM)
        (and
            (instance ?ATM ATMMachine)
            (hole ?Slot ?ATM))))
FinancialOntology.kif 3560-3565
(=>
    (instance ?X FuelCapLock)
    (hasPurpose ?X
        (exists (?TANK ?HOLE)
            (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 1006-1024
(=>
    (instance ?cave Cave)
    (exists (?land)
        (and
            (instance ?land CaveMatrix)
            (hole ?cave ?land))))
Geography.kif 5650-5655


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