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 The number 1 argument of hole is an instance of hole
(domain hole 2 SelfConnectedObject) Merge.kif 9138-9138 The number 2 argument of hole is an instance of self connected object
(instance hole AsymmetricRelation) Merge.kif 9136-9136 hole is an instance of asymmetric relation
(instance hole BinaryPredicate) Merge.kif 9134-9134 hole is an instance of binary predicate
(instance hole SpatialRelation) Merge.kif 9135-9135 hole is an instance of spatial relation

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 "洞" is the printable form of hole in ChineseLanguage

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 A self connected objectan objectcontains %n{ない} if and only if there exists a hole such that the hole is a hole in the self connected object and the object properly fills the hole
(<=>
    (instance ?HOLE Hole)
    (exists (?OBJ)
        (hole ?HOLE ?OBJ)))
Merge.kif 9158-9161 A hole is an instance of hole if and only if there exists a self connected object such that the hole is a hole in the self connected object
(=>
    (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