HoleHostFn - Sigma Knowledge base Browser

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 9309-9312
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__instance(s__UnaryFunction,s__SetOrClass) s__instance(s__HoleHostFn__m,s__UnaryFunction)	Merge.kif 9303-9303	Hole host is an instance of unary function
s__range(s__HoleHostFn__m,s__Object)	Merge.kif 9307-9307	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 28273-28273
s__termFormat(s__ChineseTraditionalLanguage,s__HoleHostFn__m,'"洞主持人"')	domainEnglishFormat.kif 28272-28272
s__termFormat(s__EnglishLanguage,s__HoleHostFn__m,'"hole host"')	domainEnglishFormat.kif 28271-28271

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 862-876	If a self connected object is an instance of shock and a process is an instance of compressing and a hole is an instance of hole and fluid is an attribute of an object and the self connected object is equal to the host of the hole the hole and the self connected object は the object を contains %n{ない} and the self connected object is a patient of the process, then there exists a transfer such that the transfer is an instance of transfer and the object transferred in the transfer is the object and the hole is path along which the transfer occurs and the process causes the transfer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 509-521	If an object is an instance of EngineCylinder and a hole is an instance of Crankcase and a physical is an instance of piston and a process is an instance of two stroke transfer and the physical is located at the object holds during the process and the object is equal to the host of the hole the hole and the process is located at 2, then the physical purpose the physical partially fills the hole holds during the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 463-475	If an object is an instance of EngineCylinder and a hole is an instance of internal combustion chamber and a physical is an instance of piston and a process is an instance of two stroke intake and the physical is located at the object holds during the process and the object is equal to the host of the hole the hole and the process is located at 2, then the physical purpose the physical partially fills the hole holds during the process
( ! [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	If a process is an instance of four stroke combustion and an object is an instance of EngineCylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at 2, then there exists the objectO such that the objectO is an instance of combustion and the objectO is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 191-200	If a process is an instance of four stroke compression and an object is an instance of EngineCylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at 2, then pressurized is an attribute of the hole holds during the end of the time of existence of the process
( ! [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	If a process is an instance of four stroke exhaust and an object is an instance of EngineCylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at 2, then there exist an entity and another process such that the other process is an instance of gas motion and the entity is an instance of exhaust and the other process is a subprocess of the process and the other process originates at the hole and the entity is a patient of the other process
( ! [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	If a process is an instance of four stroke intake and an object is an instance of EngineCylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at 2, then there exist the processV and another process such that the other process is an instance of gas motion and the processV is an instance of fuel vapor and the other process is a subprocess of the process and the other process ends up at the hole and the processV is a patient of the other process
( ! [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	If a process is an instance of two stroke transfer and an object is an instance of EngineCylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at 2, then there exist an entity and another process such that the other process is an instance of gas motion and the entity is an instance of exhaust and the other process is a subprocess of the process and the other process originates at the hole and the entity is a patient of the other process

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 4390-4395	If ring torus is an attribute of an object, then there exists a hole such that the hole is an instance of hole and the object is equal to the host of the hole the hole
( ! [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 9464-9473	If an object is equal to the surface of the hole a hole, then for all another object overlaps spatially the other object and the object if and only if there exists a third object such that the third object is a superficial part of the host of the hole the hole and the hole meets the third object and overlaps spatially the other object and the third object
( ! [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 13076-13083	If an object is an instance of water area, then there exist another object, a hole and a third object such that the host of the hole the hole is equal to the other object and the third object is an instance of water and the third object properly fills the hole and the union of the parts of the other object and the third object is equal to the object
( ! [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	If an object is an instance of combustion chamber, then there exists a hole such that the hole is an instance of hole and the object is equal to the host of the hole the hole
( ! [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	If an object is an instance of engine, then there exists a hole such that the hole is an instance of Crankcase and the object is equal to the host of the hole the hole
( ! [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	If an object is an instance of EngineCylinder, then there exists a hole such that the hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2828-2857	If a physical is an instance of gasket, then the physical purpose there exist an entity and another entity such that the entity is an instance of corpuscular object and the other entity is an instance of corpuscular object and the entity meets the physical and the other entity meets the physical and there doesn't exist a third entity such that the third entity is an instance of hole and the physical is equal to the host of the hole the third entity and a fourth entity is an instance of translocation and the third entity is path along which the fourth entity occurs and the fourth entity originates at a fifth entity and the fourth entity ends up at a sixth entity and the entity は the fifth entity を contains %n{ない} and the entity は the sixth entity を contain ない and the entity meets the sixth entity and there doesn't exist the fifth entity3 such that the third entity は the fifth entity3 を contains %n{ない} and the entity は the fifth entity3 を contain ない and the other entity は the fifth entity3 を contain ない
( ! [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	If an object is an instance of hydraulic cylinder, then there exist another object, a hole and a third object such that the hole is an instance of hole and the other object is equal to the host of the hole the hole and cylinder is an attribute of the hole and the third object is an instance of piston and the third object is a part of the object and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4221-4228	If a physical is an instance of vacuum hose, then the physical purpose there exists an entity such that the entity is an instance of hole and the physical is equal to the host of the hole the entity and partial vacuum is an attribute of the entity
( ! [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	If an object is an instance of washer, then there exists a hole such that the hole is an instance of hole and the object is equal to the host of the hole the hole

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