Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hole
Hole(hole)
Aristarchus, Carlsbad_Caverns, Copernicus, Ranvier's_nodes, air-intake, air_hole, air_horn, air_shaft, air_well, amniotic_cavity, aortic_orifice, aperture, armhole, barbecue_pit, bell, birth_canal, blank, blankness, blowhole, bolt-hole, bore, bore-hole, borrow_pit, breach, bullet_hole, bunghole, bursa_omentalis, button_hole, buttonhole, caldera, canalis_cervicis_uteri, canalis_vertebralis, cavern, cavity, cervical_canal, channel, chap, chasm, chest_cavity, chink, chuckhole, cleft, costal_groove, countersink, cove, crack, cranial_cavity, crannied, cranny, crater...

appearance as argument number 1
-------------------------


(documentation Hole ChineseLanguage "洞是一个位于 Object 物体表面没有形体的部分。因为每个 Hole 在本体上依靠着它的主体(即是那个开着洞的物体),一个 Hole 的定于是它是在某处的 hole。注:两个 Hole 可以占据同一个地区或者相同地区的一部分,而没有任何共同的部分。一个洞的任何两个主体有一个完全承载这个 洞的共同真正部分。两个洞的共同主体承载洞的所有部分,任何含有洞为主体的物体就是那个洞的主体,除非它的部分也 包含这个洞的部分。崇德的洞拥有重叠的主体,没有洞拥有原子性的特性,洞与它的主体相连,没有洞可以有一个真正的 部分,而这个真正的部分和有着这个洞本身完全相同的物质,在外部相连接。") Merge.kif 9889-9894
(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 9877-9888
(externalImage Hole "http://www.adampease.org/Articulate/SUMOpictures/pictures/ recreation/ sports/ golf/ Hole_10.png") pictureList.kif 500-500 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ recreation/ sports/ golf/ Hole_10.png" is a URL depicting hole
(subclass Hole Region) Merge.kif 9875-9875 Hole is a subclass of region

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


(instance SouthSandwichTrench Hole) Geography.kif 4390-4390 South sandwich trench is an instance of hole
(subclass ATMSlot Hole) FinancialOntology.kif 3551-3551 ATM slot is a subclass of hole
(subclass Cave Hole) Geography.kif 5594-5594 Cave is a subclass of hole
(subclass Crankcase Hole) Cars.kif 324-324 Crankcase is a subclass of hole
(subclass GolfHole Hole) Sports.kif 808-808 Golf hole is a subclass of hole
(subclass InternalCombustionChamber Hole) Cars.kif 311-311 Internal combustion chamber is a subclass of hole
(termFormat ChineseLanguage Hole "洞") chinese_format.kif 944-944 "洞" is the printable form of hole in ChineseLanguage
(termFormat EnglishLanguage Hole "hole") english_format.kif 898-898 "hole" is the printable form of hole in english language
(termFormat JapaneseLanguage Hole "ホール") english_format.kif 899-899 "ホール" is the printable form of hole in japanese language

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


(domain HoleHostFn 1 Hole) Merge.kif 9953-9953 The number 1 argument of hole host is an instance of hole
(domain HoleSkinFn 1 Hole) Merge.kif 10127-10127 The number 1 argument of hole skin is an instance of hole
(domain fills 2 Hole) Merge.kif 10078-10078 The number 2 argument of fills is an instance of hole
(domain hole 1 Hole) Merge.kif 9867-9867 The number 1 argument of hole is an instance of hole
(domain partiallyFills 2 Hole) Merge.kif 10003-10003 The number 2 argument of partially fills is an instance of hole
(domain properlyFills 2 Hole) Merge.kif 10026-10026 The number 2 argument of properly fills is an instance of hole

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


(<=>
    (instance ?HOLE Hole)
    (exists (?OBJ)
        (hole ?HOLE ?OBJ)))
Merge.kif 9896-9899 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
        (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 9967-9975
(=>
    (instance ?HOLE1 Hole)
    (exists (?HOLE2)
        (properPart ?HOLE2 ?HOLE1)))
Merge.kif 9944-9947

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


(<=>
    (attribute ?HOLE1 Fillable)
    (exists (?HOLE2)
        (and
            (instance ?HOLE2 Hole)
            (part ?HOLE1 ?HOLE2))))
Merge.kif 9992-9997 Fillable is an attribute of an object if and only if there exists another object such that the other object is an instance of hole and the object is a part of the other 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 1085-1100
(=>
    (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 775-788
(=>
    (attribute ?C ContainerEmpty)
    (not
        (exists (?H ?S)
            (and
                (instance ?H Hole)
                (hole ?H ?C)
                (partiallyFills ?S ?C)))))
Mid-level-ontology.kif 2037-2044
(=>
    (attribute ?C ContainerFull)
    (exists (?H ?S)
        (and
            (instance ?H Hole)
            (hole ?H ?C)
            (fills ?S ?C))))
Mid-level-ontology.kif 2055-2061
(=>
    (attribute ?X RingTorus)
    (exists (?H)
        (and
            (instance ?H Hole)
            (equal ?X
                (HoleHostFn ?H)))))
Cars.kif 4381-4386
(=>
    (hole ?HOLE ?OBJ)
    (not
        (instance ?OBJ Hole)))
Merge.kif 9901-9904
(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE Hole)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))
Mid-level-ontology.kif 23954-23961
(=>
    (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 975-988
(=>
    (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 2824-2853
(=>
    (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)
            (instance ?H2 Hole)
            (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 5495-5512
(=>
    (instance ?VH VacuumHose)
    (hasPurpose ?VH
        (exists (?H)
            (and
                (instance ?H Hole)
                (equal ?VH
                    (HoleHostFn ?H))
                (attribute ?H PartialVacuum)))))
Cars.kif 4212-4219
(=>
    (instance ?W WasherForBolt)
    (exists (?H)
        (and
            (instance ?H Hole)
            (equal ?W
                (HoleHostFn ?H)))))
Mid-level-ontology.kif 4781-4786
(=>
    (instance ?X ElectricalOutlet)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE Hole)
            (part ?HOLE ?X))))
Mid-level-ontology.kif 23897-23903


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