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 9236-9247
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 9234-9234 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 4403-4403 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 3558-3558 ATM slot 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 5609-5609 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__GolfHole,s__SetOrClass)

s__instance(s__Hole,s__SetOrClass)

s__subclass(s__GolfHole,s__Hole)

Sports.kif 810-810 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__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 9306-9306 The number 1 argument of hole host is an instance of hole
s__domain(s__HoleSkinFn__m,n__1,s__Hole)

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

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

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

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

Merge.kif 9371-9371 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 9249-9252 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 862-876
( ! [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 9318-9326
( ! [V__HOLE1] :
   (s__instance(V__HOLE1,s__Hole) =>
     ( ? [V__HOLE2] :
       ((s__instance(V__HOLE2,s__Object) &
           s__properPart(V__HOLE2,V__HOLE1))))
   )
)

Merge.kif 9297-9300

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 9341-9346 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 1040-1055
( ! [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 730-743
( ! [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 2032-2039
( ! [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 2050-2056
( ! [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 4390-4395
( ! [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 9254-9257
( ! [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 23967-23974
No TPTP formula. May not be expressible in strict first order. Sports.kif 977-990
( ! [V__CC] :
   (s__instance(V__CC,s__CombustionChamber) =>
     ( ? [V__H] :
       ((s__instance(V__H,s__Hole) &
           (V__CC = s__HoleHostFn(V__H)))))
   )
)

Cars.kif 1696-1701
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15808-15816
No TPTP formula. May not be expressible in strict first order. Cars.kif 2828-2857
( ! [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 1602-1611
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5492-5512
No TPTP formula. May not be expressible in strict first order. Cars.kif 4221-4228
( ! [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 4776-4781
( ! [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 23910-23916


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