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 "洞是一个位于 Object 物体表面没有形体的部分。因为每个 Hole 在本体上依靠着它的主体(即是那个开着洞的物体),一个 Hole 的定于是它是在某处的 hole。注:两个 Hole 可以占据同一个地区或者相同地区的一部分,而没有任何共同的部分。一个洞的任何两个主体有一个完全承载这个 洞的共同真正部分。两个洞的共同主体承载洞的所有部分,任何含有洞为主体的物体就是那个洞的主体,除非它的部分也 包含这个洞的部分。崇德的洞拥有重叠的主体,没有洞拥有原子性的特性,洞与它的主体相连,没有洞可以有一个真正的 部分,而这个真正的部分和有着这个洞本身完全相同的物质,在外部相连接。") chinese_format.kif 2857-2862
(documentation Hole EnglishLanguage "A hole is an immaterial body located at the surface of an Object. Since every Hole is ontologically dependent on its host (i.e., the object in which it is a hole), being a Hole is defined as being a hole in something. Note that two Holes may occupy the same region, or part of the same region, without sharing any parts. Any two hosts of a hole have a common proper part that entirely hosts the hole. A common host of two holes hosts all parts of the sum of those holes. Any object that includes the host of a hole is a host of that hole, unless its parts also include parts of that very hole. Overlapping holes have overlapping hosts. No hole is atomic. Holes are connected with their hosts. No hole can have a proper part that is externally connected with exactly the same things as the hole itself.") Merge.kif 9145-9156
(externalImage Hole "http://www.adampease.org/Articulate/SUMOpictures/pictures/ recreation/ sports/ golf/ Hole_10.png") pictureList.kif 500-500 externalImage Hole and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ recreation/ sports/ golf/ Hole_10.png"
(subclass Hole Region) Merge.kif 9143-9143 subclass Hole and Region

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


(instance SouthSandwichTrench Hole) Geography.kif 4403-4403 instance SouthSandwichTrench and Hole
(subclass ATMSlot Hole) FinancialOntology.kif 3557-3557 subclass ATMSlot and Hole
(subclass Cave Hole) Geography.kif 5610-5610 subclass Cave and Hole
(subclass Crankcase Hole) Cars.kif 324-324 subclass Crankcase and Hole
(subclass GolfHole Hole) Sports.kif 810-810 subclass GolfHole and Hole
(subclass InternalCombustionChamber Hole) Cars.kif 311-311 subclass InternalCombustionChamber and Hole
(termFormat ChineseLanguage Hole "洞") chinese_format.kif 944-944 termFormat ChineseLanguage, Hole and "洞"
(termFormat EnglishLanguage Hole "hole") english_format.kif 1100-1100 termFormat EnglishLanguage, Hole and "hole"

appearance as argument number 3
-------------------------


(domain HoleHostFn 1 Hole) Merge.kif 9215-9215 domain HoleHostFn, 1 and Hole
(domain HoleSkinFn 1 Hole) Merge.kif 9365-9365 domain HoleSkinFn, 1 and Hole
(domain fills 2 Hole) Merge.kif 9321-9321 domain fills, 2 and Hole
(domain hole 1 Hole) Merge.kif 9137-9137 domain hole, 1 and Hole
(domain partiallyFills 2 Hole) Merge.kif 9261-9261 domain partiallyFills, 2 and Hole
(domain properlyFills 2 Hole) Merge.kif 9280-9280 domain properlyFills, 2 and Hole

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


(<=>
    (instance ?HOLE Hole)
    (exists (?OBJ)
        (hole ?HOLE ?OBJ)))
Merge.kif 9158-9161 instance Hole and Hole SelfConnectedObject hole Hole and SelfConnectedObject
(=>
    (and
        (instance ?AS AutomobileShock)
        (instance ?C Compressing)
        (instance ?H Hole)
        (attribute ?F Fluid)
        (equal ?AS
            (HoleHostFn ?H))
        (contains ?AS ?F)
        (patient ?C ?AS))
    (exists (?T)
        (and
            (instance ?T Transfer)
            (objectTransferred ?T ?F)
            (path ?T ?H)
            (causes ?C ?T))))
Cars.kif 861-875
(=>
    (and
        (instance ?HOLE1 Hole)
        (properPart ?HOLE2 ?HOLE1))
    (exists (?OBJ)
        (and
            (meetsSpatially ?HOLE1 ?OBJ)
            (not
                (meetsSpatially ?HOLE2 ?OBJ)))))
Merge.kif 9227-9235
(=>
    (instance ?HOLE1 Hole)
    (exists (?HOLE2)
        (properPart ?HOLE2 ?HOLE1)))
Merge.kif 9206-9209

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


(<=>
    (attribute ?HOLE1 Fillable)
    (exists (?HOLE2)
        (and
            (instance ?HOLE2 Hole)
            (part ?HOLE1 ?HOLE2))))
Merge.kif 9250-9255 attribute Object and Fillable Object instance Object and Hole part Object and Object
(=>
    (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
(=>
    (and
        (instance ?X Penne)
        (not
            (exists (?Y)
                (and
                    (instance ?Y Penne)
                    (part ?Y ?X)))))
    (and
        (exists (?HOLE2)
            (and
                (instance ?HOLE2 Hole)
                (part ?X ?HOLE2)))
        (attribute ?X Fillable)))
Food.kif 774-787
(=>
    (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
(=>
    (attribute ?X RingTorus)
    (exists (?H)
        (and
            (instance ?H Hole)
            (equal ?X
                (HoleHostFn ?H)))))
Cars.kif 4389-4394
(=>
    (hole ?HOLE ?OBJ)
    (not
        (instance ?OBJ Hole)))
Merge.kif 9163-9166
(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE Hole)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))
Mid-level-ontology.kif 23955-23962
(=>
    (instance ?B BowlingBall)
    (exists (?HOLES)
        (and
            (instance ?HOLES Collection)
            (memberType ?HOLES Hole)
            (memberCount ?HOLES 3)
            (located ?HOLES ?B)
            (hasPurpose ?HOLES
                (exists (?FINGER)
                    (and
                        (member ?FINGER ?HOLES)
                        (instance ?FINGER Finger)
                        (partiallyFills ?FINGER ?HOLE)))))))
Sports.kif 977-990
(=>
    (instance ?CC CombustionChamber)
    (exists (?H)
        (and
            (instance ?H Hole)
            (equal ?CC
                (HoleHostFn ?H)))))
Cars.kif 1695-1700
(=>
    (instance ?D Drill)
    (hasPurpose ?D
        (exists (?E ?H)
            (and
                (instance ?E Cutting)
                (instance ?H Hole)
                (result ?E ?H)
                (instrument ?E ?D)))))
Mid-level-ontology.kif 15807-15815
(=>
    (instance ?G Gasket)
    (hasPurpose ?G
        (exists (?O1 ?O2)
            (and
                (instance ?O1 CorpuscularObject)
                (instance ?O2 CorpuscularObject)
                (meetsSpatially ?O1 ?G)
                (meetsSpatially ?O2 ?G)
                (not
                    (exists (?H)
                        (and
                            (instance ?H Hole)
                            (equal ?G
                                (HoleHostFn ?H))
                            (instance ?T Translocation)
                            (path ?T ?H)
                            (origin ?T ?O)
                            (destination ?T ?D)
                            (contains ?O1 ?O)
                            (not
                                (contains ?O1 ?D))
                            (meetsSpatially ?O1 ?D)
                            (not
                                (exists (?O3)
                                    (and
                                        (contains ?H ?O3)
                                        (not
                                            (contains ?O1 ?O3))
                                        (not
                                            (contains ?O2 ?O3))))))))))))
Cars.kif 2827-2856
(=>
    (instance ?HC HydraulicCylinder)
    (exists (?HH ?C ?P)
        (and
            (instance ?C Hole)
            (equal ?HH
                (HoleHostFn ?C))
            (attribute ?C Cylinder)
            (instance ?P Piston)
            (part ?P ?HC)
            (part ?HH ?HC))))
Cars.kif 1601-1610
(=>
    (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 ?VH VacuumHose)
    (hasPurpose ?VH
        (exists (?H)
            (and
                (instance ?H Hole)
                (equal ?VH
                    (HoleHostFn ?H))
                (attribute ?H PartialVacuum)))))
Cars.kif 4220-4227
(=>
    (instance ?W WasherForBolt)
    (exists (?H)
        (and
            (instance ?H Hole)
            (equal ?W
                (HoleHostFn ?H)))))
Mid-level-ontology.kif 4776-4781
(=>
    (instance ?X ElectricalOutlet)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE Hole)
            (part ?HOLE ?X))))
Mid-level-ontology.kif 23898-23904


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