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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HoleHostFn
HoleHostFn

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


s__documentation(s__HoleHostFn__m,s__ChineseLanguage,'"这是一个 UnaryFunction,它把一个 Hole 和属于它 主要主体的 Object 联系起来。一个 Hole 的主要主体是和它最大程度相连的主体(这个概念在这里要符合这个定义 时才能算是一个洞)。"')

chinese_format.kif 2863-2865
s__documentation(s__HoleHostFn__m,s__EnglishLanguage,'"A UnaryFunction that maps a Hole to the Object which is its principal host. The principle host of a Hole is its maximally connected host (a notion taken here to be defined only when the argument is a hole)."')

Merge.kif 9498-9501
s__domain(s__HoleHostFn__m,n__1,s__Hole)

Merge.kif 9495-9495 The number 1 argument of hole host is an instance of hole
s__instance(s__UnaryFunction,s__SetOrClass)

s__instance(s__HoleHostFn__m,s__UnaryFunction)

Merge.kif 9492-9492 Hole host is an instance of unary function
s__range(s__HoleHostFn__m,s__Object)

Merge.kif 9496-9496 The range of hole host is an instance of object

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


s__format(s__ChineseLanguage,s__HoleHostFn__m,'"洞 %1 的主体"')

chinese_format.kif 401-401
s__format(s__EnglishLanguage,s__HoleHostFn__m,'"the host of the hole %1"')

english_format.kif 410-410
s__termFormat(s__ChineseLanguage,s__HoleHostFn__m,'"洞主体函数"')

chinese_format.kif 402-402
s__termFormat(s__ChineseLanguage,s__HoleHostFn__m,'"洞主持人"')

domainEnglishFormat.kif 28362-28362
s__termFormat(s__ChineseTraditionalLanguage,s__HoleHostFn__m,'"洞主持人"')

domainEnglishFormat.kif 28361-28361
s__termFormat(s__EnglishLanguage,s__HoleHostFn__m,'"hole host"')

domainEnglishFormat.kif 28360-28360

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


( ! [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
No TPTP formula. May not be expressible in strict first order. Cars.kif 509-521
No TPTP formula. May not be expressible in strict first order. Cars.kif 463-475
( ! [V__C,V__F,V__I] :
   (((s__instance(V__F,s__FourStrokeCombustion) &
         s__instance(V__C,s__EngineCylinder) &
         s__instance(V__I,s__InternalCombustionChamber) &
         (V__C = s__HoleHostFn(V__I))
       &
       s__eventLocated(V__F,V__C))
   =>
   (( ? [V__CO] :
       ((s__instance(V__CO,s__Combustion) &
           s__subProcess(V__CO,V__F))))))
)
)

Cars.kif 207-217
No TPTP formula. May not be expressible in strict first order. Cars.kif 191-200
( ! [V__C,V__F,V__I] :
   (((s__instance(V__F,s__FourStrokeExhaust) &
         s__instance(V__C,s__EngineCylinder) &
         s__instance(V__I,s__InternalCombustionChamber) &
         (V__C = s__HoleHostFn(V__I))
       &
       s__eventLocated(V__F,V__C))
   =>
   (( ? [V__E, V__M] :
       ((s__instance(V__M,s__GasMotion) &
           s__instance(V__E,s__Exhaust) &
           s__subProcess(V__M,V__F)
         &
         s__origin(V__M,V__I)
       &
       s__patient(V__M,V__E))))))
)
)

Cars.kif 225-238
( ! [V__C,V__F,V__I] :
   (((s__instance(V__F,s__FourStrokeIntake) &
         s__instance(V__C,s__EngineCylinder) &
         s__instance(V__I,s__InternalCombustionChamber) &
         (V__C = s__HoleHostFn(V__I))
       &
       s__eventLocated(V__F,V__C))
   =>
   (( ? [V__FV, V__M] :
       ((s__instance(V__M,s__GasMotion) &
           s__instance(V__FV,s__FuelVapor) &
           s__subProcess(V__M,V__F)
         &
         s__destination(V__M,V__I)
       &
       s__patient(V__M,V__FV))))))
)
)

Cars.kif 171-184
( ! [V__C,V__T,V__I] :
   (((s__instance(V__T,s__TwoStrokeTransfer) &
         s__instance(V__C,s__EngineCylinder) &
         s__instance(V__I,s__InternalCombustionChamber) &
         (V__C = s__HoleHostFn(V__I))
       &
       s__eventLocated(V__T,V__C))
   =>
   (( ? [V__E, V__M] :
       ((s__instance(V__M,s__GasMotion) &
           s__instance(V__E,s__Exhaust) &
           s__subProcess(V__M,V__T)
         &
         s__origin(V__M,V__I)
       &
       s__patient(V__M,V__E))))))
)
)

Cars.kif 523-536

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


( ! [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 4433-4438
( ! [V__OBJ1,V__HOLE] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__HOLE,s__Hole))
       =>
       (((V__OBJ1 = s__HoleSkinFn(V__HOLE))
         =>
         (( ! [V__OBJ2] :
             ((s__instance(V__OBJ2,s__Object) =>
                 (((s__overlapsSpatially(V__OBJ2,V__OBJ1)
                     =>
                     ( ? [V__OBJ3] :
                       ((s__instance(V__OBJ3,s__Object) &
                           (s__superficialPart(V__OBJ3,s__HoleHostFn(V__HOLE))
                         &
                         s__meetsSpatially(V__HOLE,V__OBJ3)
                       &
                       s__overlapsSpatially(V__OBJ2,V__OBJ3))))))
           &
           (( ? [V__OBJ3] :
               ((s__instance(V__OBJ3,s__Object) &
                   (s__superficialPart(V__OBJ3,s__HoleHostFn(V__HOLE))
                 &
                 s__meetsSpatially(V__HOLE,V__OBJ3)
               &
               s__overlapsSpatially(V__OBJ2,V__OBJ3)))))
     =>
     s__overlapsSpatially(V__OBJ2,V__OBJ1)))))))))))
)
)

Merge.kif 9653-9662
( ! [V__AREA] :
   ((s__instance(V__AREA,s__WaterArea) =>
       (( ? [V__BED, V__HOLE, V__WATER] :
           ((s__instance(V__BED,s__Object) &
               s__instance(V__HOLE,s__Hole) &
               ((s__HoleHostFn(V__HOLE)
                 = V__BED)
               &
               s__instance(V__WATER,s__Water) &
               s__properlyFills(V__WATER,V__HOLE)
             &
             (s__MereologicalSumFn(V__BED,V__WATER)
             = V__AREA)))))))
)
)

Merge.kif 13453-13460
( ! [V__CC] :
   ((s__instance(V__CC,s__CombustionChamber) =>
       (( ? [V__H] :
           ((s__instance(V__H,s__Hole) &
               (V__CC = s__HoleHostFn(V__H)))))))
   )
)

Cars.kif 1714-1719
( ! [V__E] :
   ((s__instance(V__E,s__Engine) =>
       (( ? [V__C] :
           ((s__instance(V__C,s__Crankcase) &
               (V__E = s__HoleHostFn(V__C)))))))
   )
)

Cars.kif 328-333
( ! [V__E] :
   ((s__instance(V__E,s__EngineCylinder) =>
       (( ? [V__H] :
           ((s__instance(V__H,s__InternalCombustionChamber) &
               (V__E = s__HoleHostFn(V__H)))))))
   )
)

Cars.kif 317-322
No TPTP formula. May not be expressible in strict first order. Cars.kif 2857-2886
( ! [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 1620-1629
No TPTP formula. May not be expressible in strict first order. Cars.kif 4264-4271
( ! [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 4178-4183


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