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 的主要主体是和它最大程度相连的主体(这个概念在这里要符合这个定义时才能算是一个洞)。')	Merge.kif 9959-9961
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 9955-9958
s__domain(s__HoleHostFn__m,1,s__Hole)	Merge.kif 9953-9953	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 9950-9950	Hole host is an instance of unary function
s__range(s__HoleHostFn__m,s__Object)	Merge.kif 9954-9954	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 241-241
s__termFormat(s__ChineseLanguage,s__HoleHostFn__m,'洞主体函数')	chinese_format.kif 402-402	"洞主体函数" is the printable form of hole host in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__HoleHostFn__m,'hole host')	domainEnglishFormat.kif 5146-5146	"hole host" is the printable form of hole host in english language

antecedent

( ! [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	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 contains the object 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 has 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 has purpose the physical partially fills the hole holds during the process
( ! [V__F,V__C,V__I] : ((s__instance(V__F,s__FourStrokeCombustion)s__and__ms__instance(V__C,s__EngineCylinder)s__and__ms__instance(V__I,s__InternalCombustionChamber)s__and__m(V__Cs__equal__ms__HoleHostFn(V__I)) s__and__ms__eventLocated(V__F,V__C)) s__=>(s__exists__m[V__CO] : (s__instance(V__CO,s__Combustion)s__and__ms__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__F,V__C,V__I] : ((s__instance(V__F,s__FourStrokeExhaust)s__and__ms__instance(V__C,s__EngineCylinder)s__and__ms__instance(V__I,s__InternalCombustionChamber)s__and__m(V__Cs__equal__ms__HoleHostFn(V__I)) s__and__ms__eventLocated(V__F,V__C)) s__=>(s__exists__m[V__E,V__M] : (s__instance(V__M,s__GasMotion)s__and__ms__instance(V__E,s__Exhaust)s__and__ms__subProcess(V__M,V__F) s__and__ms__origin(V__M,V__I) s__and__ms__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__F,V__C,V__I] : ((s__instance(V__F,s__FourStrokeIntake)s__and__ms__instance(V__C,s__EngineCylinder)s__and__ms__instance(V__I,s__InternalCombustionChamber)s__and__m(V__Cs__equal__ms__HoleHostFn(V__I)) s__and__ms__eventLocated(V__F,V__C)) s__=>(s__exists__m[V__FV,V__M] : (s__instance(V__M,s__GasMotion)s__and__ms__instance(V__FV,s__FuelVapor)s__and__ms__subProcess(V__M,V__F) s__and__ms__destination(V__M,V__I) s__and__ms__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__F,V__T,V__C,V__I] : (s__instance(V__F,s__Process)s__=>((s__instance(V__T,s__TwoStrokeTransfer)s__and__ms__instance(V__C,s__EngineCylinder)s__and__ms__instance(V__I,s__InternalCombustionChamber)s__and__m(V__Cs__equal__ms__HoleHostFn(V__I)) s__and__ms__eventLocated(V__F,V__C)) s__=>(s__exists__m[V__E,V__M] : (s__instance(V__M,s__GasMotion)s__and__ms__instance(V__E,s__Exhaust)s__and__ms__subProcess(V__M,V__T) s__and__ms__origin(V__M,V__I) s__and__ms__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 another process is located at 2, then there exist an entity and a third process such that the third process is an instance of gas motion and the entity is an instance of exhaust and the third process is a subprocess of the process and the third process originates at the hole and the entity is a patient of the third process

consequent

( ! [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	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__and__ms__instance(V__HOLE,s__Hole)) s__=>((V__OBJ1s__equal__ms__HoleSkinFn(V__HOLE)) s__=>(s__forall__m[V__OBJ2] : (s__instance(V__OBJ2,s__Object)s__=>(s__overlapsSpatially(V__OBJ2,V__OBJ1) s__<=> (s__exists__m[V__OBJ3] : (s__instance(V__OBJ3,s__Object)s__and__m(s__superficialPart(V__OBJ3,s__HoleHostFn(V__HOLE)) s__and__ms__meetsSpatially(V__HOLE,V__OBJ3) s__and__ms__overlapsSpatially(V__OBJ2,V__OBJ3))))))))) )	Merge.kif 10137-10146	If an object is equal to the surface of the hole a hole, then for all another object the other object overlaps with 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 the other object overlaps with the third object
( ! [V__AREA] : (s__instance(V__AREA,s__WaterArea)s__=>(s__exists__m[V__BED,V__HOLE,V__WATER] : (s__instance(V__BED,s__Object)s__and__ms__instance(V__HOLE,s__Hole)s__and__m((s__HoleHostFn(V__HOLE) s__equal__mV__BED)s__and__ms__instance(V__WATER,s__Water)s__and__ms__properlyFills(V__WATER,V__HOLE) s__and__m(s__MereologicalSumFn(V__BED,V__WATER) s__equal__mV__AREA))))) )	Merge.kif 14135-14142	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)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	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)s__=>(s__exists__m[V__C] : (s__instance(V__C,s__Crankcase)s__and__m(V__Es__equal__ms__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)s__=>(s__exists__m[V__H] : (s__instance(V__H,s__InternalCombustionChamber)s__and__m(V__Es__equal__ms__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 2824-2853	If a physical is an instance of gasket, then the physical has 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 contains the fifth entity and the entity doesn't contain the sixth entity and the entity meets the sixth entity and there doesn't exist the fifth entity3 such that the third entity contains the fifth entity3 and the entity doesn't contain the fifth entity3 and the other entity doesn't contain the fifth entity3
( ! [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	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 4212-4219	If a physical is an instance of vacuum hose, then the physical has 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)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	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