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
-------------------------


s__documentation(s__Hole,s__ChineseLanguage,'"洞是一个位于 Object 物体表面没有形体的部分。因为每个 Hole 在本体上依靠着它的主体(即是那个开着洞的物体),一个 Hole 的定于是它是在某处的 hole。注:两个 Hole 可以占据同一个地区或者相同地区的一部分,而没有任何共同的部分。一个洞的任何两个主体有一个完全承载这个 洞的共同真正部分。两个洞的共同主体承载洞的所有部分,任何含有洞为主体的物体就是那个洞的主体,除非它的部分也 包含这个洞的部分。崇德的洞拥有重叠的主体,没有洞拥有原子性的特性,洞与它的主体相连,没有洞可以有一个真正的 部分,而这个真正的部分和有着这个洞本身完全相同的物质,在外部相连接。"')

chinese_format.kif 2857-2862
s__documentation(s__Hole,s__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 9458-9469
s__externalImage(s__Hole,'"http://www.adampease.org/Articulate/SUMOpictures/pictures/ recreation/ sports/ golf/ Hole_10.png"')

pictureList.kif 500-500
s__instance(s__Region,s__SetOrClass)

s__instance(s__Hole,s__SetOrClass)

s__subclass(s__Hole,s__Region)

Merge.kif 9456-9456 Hole is a subclass of region

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


s__instance(s__SouthSandwichTrench,s__Hole)

s__instance(s__Hole,s__SetOrClass)

Geography.kif 4488-4488 South sandwich trench is an instance of hole
s__instance(s__ATMSlot,s__SetOrClass)

s__instance(s__Hole,s__SetOrClass)

s__subclass(s__ATMSlot,s__Hole)

FinancialOntology.kif 3621-3621 ATM slot is a subclass of hole
s__instance(s__Hole,s__SetOrClass)

s__instance(s__BodyOrifice,s__SetOrClass)

s__subclass(s__BodyOrifice,s__Hole)

Mid-level-ontology.kif 11262-11262 BodyOrifice is a subclass of hole
s__instance(s__Burrow,s__SetOrClass)

s__subclass(s__Burrow,s__Hole)

s__instance(s__Hole,s__SetOrClass)

Geography.kif 5809-5809 Burrow is a subclass of hole
s__subclass(s__Cave,s__Hole)

s__instance(s__Cave,s__SetOrClass)

s__instance(s__Hole,s__SetOrClass)

Geography.kif 5794-5794 Cave is a subclass of hole
s__instance(s__Crankcase,s__SetOrClass)

s__instance(s__Hole,s__SetOrClass)

s__subclass(s__Crankcase,s__Hole)

Cars.kif 324-324 Crankcase is a subclass of hole
s__instance(s__Glottis,s__SetOrClass)

s__instance(s__Hole,s__SetOrClass)

s__subclass(s__Glottis,s__Hole)

Mid-level-ontology.kif 5799-5799 Glottis is a subclass of hole
s__instance(s__GolfHole,s__SetOrClass)

s__instance(s__Hole,s__SetOrClass)

s__subclass(s__GolfHole,s__Hole)

Sports.kif 886-886 Golf hole is a subclass of hole
s__subclass(s__InternalCombustionChamber,s__Hole)

s__instance(s__Hole,s__SetOrClass)

s__instance(s__InternalCombustionChamber,s__SetOrClass)

Cars.kif 311-311 Internal combustion chamber is a subclass of hole
s__subclass(s__Pupil,s__Hole)

s__instance(s__Pupil,s__SetOrClass)

s__instance(s__Hole,s__SetOrClass)

Mid-level-ontology.kif 11336-11336 Pupil is a subclass of hole
s__termFormat(s__ChineseLanguage,s__Hole,'"洞"')

chinese_format.kif 944-944
s__termFormat(s__EnglishLanguage,s__Hole,'"hole"')

english_format.kif 1100-1100

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


s__domain(s__HoleHostFn__m,n__1,s__Hole)

Merge.kif 9528-9528 The number 1 argument of hole host is an instance of hole
s__domain(s__HoleSkinFn__m,n__1,s__Hole)

Merge.kif 9678-9678 The number 1 argument of hole skin is an instance of hole
s__domain(s__fills__m,n__2,s__Hole)

Merge.kif 9634-9634 The number 2 argument of fills is an instance of hole
s__domain(s__hole__m,n__1,s__Hole)

Merge.kif 9450-9450 The number 1 argument of hole is an instance of hole
s__domain(s__partiallyFills__m,n__2,s__Hole)

Merge.kif 9574-9574 The number 2 argument of partially fills is an instance of hole
s__domain(s__properlyFills__m,n__2,s__Hole)

Merge.kif 9593-9593 The number 2 argument of properly fills is an instance of hole

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


( ! [V__HOLE] :
   (((s__instance(V__HOLE,s__Hole) =>
         ( ? [V__OBJ] :
           ((s__instance(V__OBJ,s__SelfConnectedObject) &
               s__hole(V__HOLE,V__OBJ)))))
     &
     (( ? [V__OBJ] :
         ((s__instance(V__OBJ,s__SelfConnectedObject) &
             s__hole(V__HOLE,V__OBJ))))
     =>
     s__instance(V__HOLE,s__Hole)))
)
)

Merge.kif 9471-9474 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
( ! [V__AS,V__C,V__F,V__H] :
   ((s__instance(V__F,s__Object) =>
       (((s__instance(V__AS,s__AutomobileShock) &
             s__instance(V__C,s__Compressing) &
             s__instance(V__H,s__Hole) &
             s__attribute(V__F,s__Fluid) &
             (V__AS = s__HoleHostFn(V__H))
           &
           s__contains(V__AS,V__F)
         &
         s__patient(V__C,V__AS))
     =>
     (( ? [V__T] :
         ((s__instance(V__T,s__Transfer) &
             s__objectTransferred(V__T,V__F)
           &
           s__path(V__T,V__H)
         &
         s__causes(V__C,V__T))))))))
)
)

Cars.kif 871-885
( ! [V__HOLE1,V__HOLE2] :
   ((s__instance(V__HOLE2,s__Object) =>
       (((s__instance(V__HOLE1,s__Hole) &
             s__properPart(V__HOLE2,V__HOLE1))
         =>
         (( ? [V__OBJ] :
             ((s__instance(V__OBJ,s__Object) &
                 (s__meetsSpatially(V__HOLE1,V__OBJ)
                 &
                 ~(s__meetsSpatially(V__HOLE2,V__OBJ))))))))))
)
)

Merge.kif 9540-9548
( ! [V__HOLE1] :
   ((s__instance(V__HOLE1,s__Hole) =>
       (( ? [V__HOLE2] :
           ((s__instance(V__HOLE2,s__Object) &
               s__properPart(V__HOLE2,V__HOLE1))))))
   )
)

Merge.kif 9519-9522

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


( ! [V__HOLE1] :
   ((s__instance(V__HOLE1,s__Object) =>
       (((s__attribute(V__HOLE1,s__Fillable) =>
             ( ? [V__HOLE2] :
               ((s__instance(V__HOLE2,s__Hole) &
                   s__part(V__HOLE1,V__HOLE2)))))
         &
         (( ? [V__HOLE2] :
             ((s__instance(V__HOLE2,s__Hole) &
                 s__part(V__HOLE1,V__HOLE2))))
         =>
         s__attribute(V__HOLE1,s__Fillable)))))
)
)

Merge.kif 9563-9568 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
No TPTP formula. May not be expressible in strict first order. Food.kif 1030-1045
( ! [V__X] :
   (((s__instance(V__X,s__Penne) &
         ~(( ? [V__Y] :
             ((s__instance(V__Y,s__Penne) &
                 s__part(V__Y,V__X))))))
     =>
     ((( ? [V__HOLE2] :
           ((s__instance(V__HOLE2,s__Hole) &
               s__part(V__X,V__HOLE2))))
       &
       s__attribute(V__X,s__Fillable))))
)
)

Food.kif 715-728
( ! [V__C] :
   (((s__instance(V__C,s__SelfConnectedObject) &
         s__instance(V__C,s__Hole))
       =>
       ((s__attribute(V__C,s__ContainerEmpty) =>
           (~(( ? [V__H, V__S] :
                 ((s__instance(V__S,s__Object) &
                     (s__instance(V__H,s__Hole) &
                       s__hole(V__H,V__C)
                     &
                     s__partiallyFills(V__S,V__C))))))))))
)
)

Mid-level-ontology.kif 1566-1573
( ! [V__C] :
   (((s__instance(V__C,s__SelfConnectedObject) &
         s__instance(V__C,s__Hole))
       =>
       ((s__attribute(V__C,s__ContainerFull) =>
           (( ? [V__H, V__S] :
               ((s__instance(V__S,s__Object) &
                   (s__instance(V__H,s__Hole) &
                     s__hole(V__H,V__C)
                   &
                   s__fills(V__S,V__C)))))))))
)
)

Mid-level-ontology.kif 1584-1590
( ! [V__X] :
   ((s__instance(V__X,s__Object) =>
       ((s__attribute(V__X,s__RingTorus) =>
           (( ? [V__H] :
               ((s__instance(V__H,s__Hole) &
                   (V__X = s__HoleHostFn(V__H)))))))))
   )
)

Cars.kif 4420-4425
( ! [V__OBJ,V__HOLE] :
   (((s__instance(V__OBJ,s__SelfConnectedObject) &
         s__instance(V__HOLE,s__Hole))
       =>
       ((s__hole(V__HOLE,V__OBJ)
         =>
         (~(s__instance(V__OBJ,s__Hole))))))
   )
)

Merge.kif 9476-9479
( ! [V__ADAPT] :
   ((s__instance(V__ADAPT,s__OutletAdapter) =>
       (( ? [V__HOLE] :
           ((s__instance(V__HOLE,s__Collection) &
               s__memberType(V__HOLE,s__Hole) &
               s__part(V__HOLE,V__ADAPT)
             &
             s__material(s__Metal,V__ADAPT))))))
)
)

Mid-level-ontology.kif 25005-25012
No TPTP formula. May not be expressible in strict first order. Sports.kif 1053-1066
( ! [V__CC] :
   ((s__instance(V__CC,s__CombustionChamber) =>
       (( ? [V__H] :
           ((s__instance(V__H,s__Hole) &
               (V__CC = s__HoleHostFn(V__H)))))))
   )
)

Cars.kif 1700-1705
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17179-17187
No TPTP formula. May not be expressible in strict first order. Cars.kif 2843-2872
( ! [V__HC] :
   ((s__instance(V__HC,s__HydraulicCylinder) =>
       (( ? [V__HH, V__C, V__P] :
           ((s__instance(V__HH,s__Object) &
               (s__instance(V__C,s__Hole) &
                 (V__HH = s__HoleHostFn(V__C))
               &
               s__attribute(V__C,s__Cylinder) &
               s__instance(V__P,s__Piston) &
               s__part(V__P,V__HC)
             &
             s__part(V__HH,V__HC)))))))
)
)

Cars.kif 1606-1615
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4911-4931
( ! [V__U] :
   ((s__instance(V__U,s__Ulcer) =>
       (( ? [V__H, V__BP] :
           ((s__instance(V__H,s__Hole) &
               s__instance(V__BP,s__BodyPart) &
               (V__BP = s__HoleHostFn(V__H))
             &
             s__part(V__BP,V__U))))))
)
)

Mid-level-ontology.kif 8929-8936
No TPTP formula. May not be expressible in strict first order. Cars.kif 4251-4258
( ! [V__W] :
   ((s__instance(V__W,s__WasherForBolt) =>
       (( ? [V__H] :
           ((s__instance(V__H,s__Hole) &
               (V__W = s__HoleHostFn(V__H)))))))
   )
)

Mid-level-ontology.kif 4181-4186
( ! [V__X] :
   ((s__instance(V__X,s__ElectricalOutlet) =>
       (( ? [V__HOLE] :
           ((s__instance(V__HOLE,s__Collection) &
               s__memberType(V__HOLE,s__Hole) &
               s__part(V__HOLE,V__X))))))
   )
)

Mid-level-ontology.kif 24948-24954


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