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 9284-9285
(domain hole 1 Hole) Merge.kif 9281-9281 domain hole, 1 and Hole
(domain hole 2 SelfConnectedObject) Merge.kif 9282-9282 domain hole, 2 and SelfConnectedObject
(instance hole AsymmetricRelation) Merge.kif 9280-9280 instance hole and AsymmetricRelation
(instance hole BinaryPredicate) Merge.kif 9278-9278 instance hole and BinaryPredicate
(instance hole SpatialRelation) Merge.kif 9279-9279 instance hole and SpatialRelation

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 9317-9324
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (part ?OBJ1 ?OBJ2))
    (or
        (overlapsSpatially ?HOLE ?OBJ2)
        (hole ?HOLE ?OBJ2)))
Merge.kif 9335-9341
(=>
    (and
        (hole ?HOLE1 ?OBJ)
        (hole ?HOLE2 ?OBJ))
    (forall (?HOLE3)
        (=>
            (part ?HOLE3
                (MereologicalSumFn ?HOLE1 ?HOLE2))
            (hole ?HOLE3 ?OBJ))))
Merge.kif 9326-9333
(=>
    (and
        (hole ?HOLE1 ?OBJ1)
        (hole ?HOLE2 ?OBJ2)
        (overlapsSpatially ?HOLE1 ?HOLE2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 9343-9348
(=>
    (and
        (instance ?land CaveMatrix)
        (instance ?cave Cave)
        (hole ?cave ?land))
    (equal ?land
        (HoleSkinFn ?cave)))
Geography.kif 5749-5754
(=>
    (hole ?HOLE ?OBJ)
    (connected ?HOLE ?OBJ))
Merge.kif 9367-9369
(=>
    (hole ?HOLE ?OBJ)
    (not
        (instance ?OBJ Hole)))
Merge.kif 9307-9310
(=>
    (hole ?HOLE ?OBJ)
    (not
        (overlapsSpatially ?HOLE ?OBJ)))
Merge.kif 9312-9315

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


(<=>
    (contains ?OBJ1 ?OBJ2)
    (exists (?HOLE)
        (and
            (hole ?HOLE ?OBJ1)
            (properlyFills ?OBJ2 ?HOLE))))
Merge.kif 956-961 contains SelfConnectedObject and Object Hole hole Hole and SelfConnectedObject properlyFills Object and Hole
(<=>
    (instance ?HOLE Hole)
    (exists (?OBJ)
        (hole ?HOLE ?OBJ)))
Merge.kif 9302-9305 instance Hole and Hole SelfConnectedObject hole Hole and SelfConnectedObject
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (hole ?HOLE ?OBJ2))
    (exists (?OBJ3)
        (and
            (properPart ?OBJ3
                (MereologicalProductFn ?OBJ1 ?OBJ2))
            (hole ?HOLE ?OBJ3))))
Merge.kif 9317-9324
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (part ?OBJ1 ?OBJ2))
    (or
        (overlapsSpatially ?HOLE ?OBJ2)
        (hole ?HOLE ?OBJ2)))
Merge.kif 9335-9341
(=>
    (and
        (hole ?HOLE1 ?OBJ)
        (hole ?HOLE2 ?OBJ))
    (forall (?HOLE3)
        (=>
            (part ?HOLE3
                (MereologicalSumFn ?HOLE1 ?HOLE2))
            (hole ?HOLE3 ?OBJ))))
Merge.kif 9326-9333
(=>
    (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 15821-15828
(=>
    (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 1040-1055
(=>
    (attribute ?C ContainerEmpty)
    (not
        (exists (?H ?S)
            (and
                (instance ?H Hole)
                (hole ?H ?C)
                (partiallyFills ?S ?C)))))
Mid-level-ontology.kif 2038-2045
(=>
    (attribute ?C ContainerFull)
    (exists (?H ?S)
        (and
            (instance ?H Hole)
            (hole ?H ?C)
            (fills ?S ?C))))
Mid-level-ontology.kif 2056-2062
(=>
    (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 2184-2192
(=>
    (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 5498-5518
(=>
    (instance ?Slot ATMSlot)
    (exists (?ATM)
        (and
            (instance ?ATM ATMMachine)
            (hole ?Slot ?ATM))))
FinancialOntology.kif 3561-3566
(=>
    (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 1007-1025
(=>
    (instance ?cave Cave)
    (exists (?land)
        (and
            (instance ?land CaveMatrix)
            (hole ?cave ?land))))
Geography.kif 5742-5747


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