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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hole

Sigma KEE - Hole
Hole(洞)

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


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

Merge.kif 9889-9894
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 9877-9888
s__externalImage(s__Hole,'http://www.adampease.org/Articulate/SUMOpictures/pictures/ recreation/ sports/ golf/ Hole_10.png')

pictureList.kif 500-500 externalImage and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ recreation/ sports/ golf/ Hole_10.png"
s__instance(s__Region,s__SetOrClass)

s__instance(s__Hole,s__SetOrClass)

s__subclass(s__Hole,s__Region)

Merge.kif 9875-9875 地区subclass

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


s__instance(s__SouthSandwichTrench,s__Hole)

s__instance(s__Hole,s__SetOrClass)

Geography.kif 4390-4390 SouthSandwichTrenchinstance
s__instance(s__ATMSlot,s__SetOrClass)

s__instance(s__Hole,s__SetOrClass)

s__subclass(s__ATMSlot,s__Hole)

FinancialOntology.kif 3551-3551 ATMSlotsubclass
s__subclass(s__Cave,s__Hole)

s__instance(s__Cave,s__SetOrClass)

s__instance(s__Hole,s__SetOrClass)

Geography.kif 5594-5594 Cavesubclass
s__instance(s__Crankcase,s__SetOrClass)

s__instance(s__Hole,s__SetOrClass)

s__subclass(s__Crankcase,s__Hole)

Cars.kif 324-324 Crankcasesubclass
s__instance(s__GolfHole,s__SetOrClass)

s__instance(s__Hole,s__SetOrClass)

s__subclass(s__GolfHole,s__Hole)

Sports.kif 808-808 GolfHolesubclass
s__subclass(s__InternalCombustionChamber,s__Hole)

s__instance(s__Hole,s__SetOrClass)

s__instance(s__InternalCombustionChamber,s__SetOrClass)

Cars.kif 311-311 InternalCombustionChambersubclass
s__termFormat(s__ChineseLanguage,s__Hole,'洞')

chinese_format.kif 944-944 termFormat ChineseLanguage, and "洞"
s__termFormat(s__EnglishLanguage,s__Hole,'hole')

english_format.kif 898-898 termFormat EnglishLanguage, and "hole"
s__termFormat(s__JapaneseLanguage,s__Hole,'ホール')

english_format.kif 899-899 termFormat JapaneseLanguage, and "ホール"

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


s__domain(s__HoleHostFn__m,1,s__Hole)

Merge.kif 9953-9953 洞主体函数 的 1 数量 是 instance
s__domain(s__HoleSkinFn__m,1,s__Hole)

Merge.kif 10127-10127 洞表面函数 的 1 数量 是 instance
s__domain(s__fills__m,2,s__Hole)

Merge.kif 10078-10078 刚好填入 的 2 数量 是 instance
s__domain(s__hole__m,1,s__Hole)

Merge.kif 9867-9867 的 1 数量 是 instance
s__domain(s__partiallyFills__m,2,s__Hole)

Merge.kif 10003-10003 部分填入 的 2 数量 是 instance
s__domain(s__properlyFills__m,2,s__Hole)

Merge.kif 10026-10026 恰当填入 的 2 数量 是 instance

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


( ! [V__HOLE] :
   (s__instance(V__HOLE,s__Hole)s__<=>
    (s__exists__m[V__OBJ] :
       (s__instance(V__OBJ,s__SelfConnectedObject)s__and__ms__hole(V__HOLE,V__OBJ))))
)

Merge.kif 9896-9899 instance 若且唯若 有存在 自身连接物体 这样 那个 洞那个 自身连接物体 内的 hole
( ! [V__F,V__AS,V__C,V__H] :
   (s__instance(V__F,s__Object)s__=>((s__instance(V__AS,s__AutomobileShock)s__and__ms__instance(V__C,s__Compressing)s__and__ms__instance(V__H,s__Hole)s__and__ms__attribute(V__F,s__Fluid)s__and__m(V__ASs__equal__ms__HoleHostFn(V__H))
    s__and__ms__contains(V__AS,V__F)
  s__and__ms__patient(V__C,V__AS))
s__=>(s__exists__m[V__T] :
(s__instance(V__T,s__Transfer)s__and__ms__objectTransferred(V__T,V__F)
s__and__ms__path(V__T,V__H)
s__and__ms__causes(V__C,V__T)))))
)

Cars.kif 861-875
( ! [V__HOLE2,V__HOLE1] :
   (s__instance(V__HOLE2,s__Object)s__=>((s__instance(V__HOLE1,s__Hole)s__and__ms__properPart(V__HOLE2,V__HOLE1))
    s__=>(s__exists__m[V__OBJ] :
       (s__instance(V__OBJ,s__Object)s__and__m(s__meetsSpatially(V__HOLE1,V__OBJ)
      s__and__m(s__not__ms__meetsSpatially(V__HOLE2,V__OBJ)))))))
)

Merge.kif 9967-9975
( ! [V__HOLE1] :
   (s__instance(V__HOLE1,s__Hole)s__=>(s__exists__m[V__HOLE2] :
       (s__instance(V__HOLE2,s__Object)s__and__ms__properPart(V__HOLE2,V__HOLE1))))
)

Merge.kif 9944-9947

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


( ! [V__HOLE1] :
   (s__instance(V__HOLE1,s__Object)s__=>(s__attribute(V__HOLE1,s__Fillable)s__<=>
      (s__exists__m[V__HOLE2] :
         (s__instance(V__HOLE2,s__Hole)s__and__ms__part(V__HOLE1,V__HOLE2)))))
)

Merge.kif 9992-9997 Fillable 客体attribute 若且唯若 有存在 另一个 客体 这样 那个 另外 客体instance那个 客体那个 另外 客体part
No TPTP formula. May not be expressible in strict first order. Food.kif 1085-1100
( ! [V__X] :
   ((s__instance(V__X,s__Penne)s__and__m(s__not__m(s__exists__m[V__Y] :
       (s__instance(V__Y,s__Penne)s__and__ms__part(V__Y,V__X)))))
s__=>((s__exists__m[V__HOLE2] :
   (s__instance(V__HOLE2,s__Hole)s__and__ms__part(V__X,V__HOLE2)))
s__and__ms__attribute(V__X,s__Fillable)))
)

Food.kif 775-788
( ! [V__C] :
   ((s__instance(V__C,s__SelfConnectedObject)s__and__ms__instance(V__C,s__Hole))
    s__=>(s__attribute(V__C,s__ContainerEmpty)s__=>(s__not__m(s__exists__m[V__H,V__S] :
         (s__instance(V__S,s__Object)s__and__m(s__instance(V__H,s__Hole)s__and__ms__hole(V__H,V__C)
        s__and__ms__partiallyFills(V__S,V__C)))))))
)

Mid-level-ontology.kif 2037-2044
( ! [V__C] :
   ((s__instance(V__C,s__SelfConnectedObject)s__and__ms__instance(V__C,s__Hole))
    s__=>(s__attribute(V__C,s__ContainerFull)s__=>(s__exists__m[V__H,V__S] :
         (s__instance(V__S,s__Object)s__and__m(s__instance(V__H,s__Hole)s__and__ms__hole(V__H,V__C)
        s__and__ms__fills(V__S,V__C))))))
)

Mid-level-ontology.kif 2055-2061
( ! [V__X] :
   (s__instance(V__X,s__Object)s__=>(s__attribute(V__X,s__RingTorus)s__=>(s__exists__m[V__H] :
         (s__instance(V__H,s__Hole)s__and__m(V__Xs__equal__ms__HoleHostFn(V__H))))))
)

Cars.kif 4381-4386
( ! [V__OBJ,V__HOLE] :
   ((s__instance(V__OBJ,s__SelfConnectedObject)s__and__ms__instance(V__HOLE,s__Hole))
    s__=>(s__hole(V__HOLE,V__OBJ)
    s__=>(s__not__ms__instance(V__OBJ,s__Hole))))
)

Merge.kif 9901-9904
( ! [V__ADAPT] :
   (s__instance(V__ADAPT,s__OutletAdapter)s__=>(s__exists__m[V__HOLE] :
       (s__instance(V__HOLE,s__Collection)s__and__ms__memberType(V__HOLE,s__Hole)s__and__ms__part(V__HOLE,V__ADAPT)
      s__and__ms__material(s__Metal,V__ADAPT))))
)

Mid-level-ontology.kif 23954-23961
No TPTP formula. May not be expressible in strict first order. Sports.kif 975-988
( ! [V__CC] :
   (s__instance(V__CC,s__CombustionChamber)s__=>(s__exists__m[V__H] :
       (s__instance(V__H,s__Hole)s__and__m(V__CCs__equal__ms__HoleHostFn(V__H)))))
)

Cars.kif 1695-1700
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15807-15815
No TPTP formula. May not be expressible in strict first order. Cars.kif 2824-2853
( ! [V__HC] :
   (s__instance(V__HC,s__HydraulicCylinder)s__=>(s__exists__m[V__HH,V__C,V__P] :
       (s__instance(V__HH,s__Object)s__and__m(s__instance(V__C,s__Hole)s__and__m(V__HHs__equal__ms__HoleHostFn(V__C))
    s__and__ms__attribute(V__C,s__Cylinder)s__and__ms__instance(V__P,s__Piston)s__and__ms__part(V__P,V__HC)
  s__and__ms__part(V__HH,V__HC)))))
)

Cars.kif 1601-1610
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5495-5512
No TPTP formula. May not be expressible in strict first order. Cars.kif 4212-4219
( ! [V__W] :
   (s__instance(V__W,s__WasherForBolt)s__=>(s__exists__m[V__H] :
       (s__instance(V__H,s__Hole)s__and__m(V__Ws__equal__ms__HoleHostFn(V__H)))))
)

Mid-level-ontology.kif 4781-4786
( ! [V__X] :
   (s__instance(V__X,s__ElectricalOutlet)s__=>(s__exists__m[V__HOLE] :
       (s__instance(V__HOLE,s__Collection)s__and__ms__memberType(V__HOLE,s__Hole)s__and__ms__part(V__HOLE,V__X))))
)

Mid-level-ontology.kif 23897-23903


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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