TreeView Knowledge Base Browser

appearance as argument number 1

(documentation HoleHostFn ChineseLanguage "这是一个 UnaryFunction，它把一个 HoleRegion 和属于它主要主体的 Object 联系起来。一个 HoleRegion 的主要主体是和它最大程度相连的主体(这个概念在这里要符合这个定义时才能算是一个洞)。")	chinese_format.kif 2863-2865
(documentation HoleHostFn EnglishLanguage "A UnaryFunction that maps a HoleRegion to the Object which is its principal host. The principle host of a HoleRegion is its maximally connected host (a notion taken here to be defined only when the argument is a hole).")	Merge.kif 9952-9955
(documentation HoleHostFn JapaneseLanguage "A UnaryFunction は、Hole を主ホストである Object にマップする。Hole の原理ホストは、その最大に接続されたホストである (引数がホールである場合にのみ定義される概念)。")	japanese_format.kif 1610-1612
(domain HoleHostFn 1 HoleRegion)	Merge.kif 9949-9949	The number 1 argument of hole host is an instance of hole
(instance HoleHostFn UnaryFunction)	Merge.kif 9946-9946	Hole host is an instance of unary function
(range HoleHostFn Object)	Merge.kif 9950-9950	The range of hole host is an instance of object

appearance as argument number 2

(format ChineseLanguage HoleHostFn "洞 %1 的主体")	chinese_format.kif 401-401
(format EnglishLanguage HoleHostFn "the host of the hole %1")	english_format.kif 407-407
(format FrenchLanguage HoleHostFn "l h�te du trou %1")	french_format.kif 231-231
(format JapaneseLanguage HoleHostFn "ホール %1 の host")	japanese_format.kif 2033-2033
(format PortugueseLanguage HoleHostFn "o dono do buraco %1")	portuguese_format.kif 183-183
(format ro HoleHostFn "host%t{gazda} deshizãturii %1")	relations-ro.kif 251-251
(termFormat ChineseLanguage HoleHostFn "洞主体函数")	chinese_format.kif 402-402
(termFormat ChineseLanguage HoleHostFn "洞主持人")	domainEnglishFormat.kif 28371-28371
(termFormat ChineseTraditionalLanguage HoleHostFn "洞主持人")	domainEnglishFormat.kif 28370-28370
(termFormat EnglishLanguage HoleHostFn "hole host")	domainEnglishFormat.kif 28369-28369

antecedent

(=> (and (instance ?AS AutomobileShock) (instance ?C Compressing) (instance ?H HoleRegion) (attribute ?F Fluid) (equal ?AS (HoleHostFn ?H)) (contains ?AS ?F) (patient ?C ?AS)) (exists (?T) (and (instance ?T Transfer) (objectTransferred ?T ?F) (path ?T ?H) (causes ?C ?T))))	Cars.kif 871-885	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
(=> (and (instance ?E EngineCylinder) (instance ?C Crankcase) (instance ?P Piston) (instance ?T TwoStrokeTransfer) (holdsDuring ?T (located ?P ?E)) (equal ?E (HoleHostFn ?C)) (eventLocated ?T ?E)) (hasPurpose ?P (holdsDuring ?T (partiallyFills ?P ?C))))	Cars.kif 509-521	If an object is an instance of engine cylinder 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 the object, then the physical has the purpose the physical partially fills the hole holds during the process
(=> (and (instance ?E EngineCylinder) (instance ?I InternalCombustionChamber) (instance ?P Piston) (instance ?T TwoStrokeIntake) (holdsDuring ?T (located ?P ?E)) (equal ?E (HoleHostFn ?I)) (eventLocated ?T ?E)) (hasPurpose ?P (holdsDuring ?T (partiallyFills ?P ?I))))	Cars.kif 463-475	If an object is an instance of engine cylinder 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 the object, then the physical has the purpose the physical partially fills the hole holds during the process
(=> (and (instance ?F FourStrokeCombustion) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?F ?C)) (exists (?CO) (and (instance ?CO Combustion) (subProcess ?CO ?F))))	Cars.kif 207-217	If a process is an instance of four stroke combustion and an object is an instance of engine cylinder 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 the object, then there exists the objectO such that the objectO is an instance of burning and the objectO is a subprocess of the process
(=> (and (instance ?F FourStrokeCompression) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?F ?C)) (holdsDuring (EndFn (WhenFn ?F)) (attribute ?I Pressurized)))	Cars.kif 191-200	If a process is an instance of four stroke compression and an object is an instance of engine cylinder 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 the object, then pressurized is an attribute of the hole holds during the end of the time of existence of the process
(=> (and (instance ?F FourStrokeExhaust) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?F ?C)) (exists (?E ?M) (and (instance ?M GasMotion) (instance ?E Exhaust) (subProcess ?M ?F) (origin ?M ?I) (patient ?M ?E))))	Cars.kif 225-238	If a process is an instance of four stroke exhaust and an object is an instance of engine cylinder 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 the object, 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
(=> (and (instance ?F FourStrokeIntake) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?F ?C)) (exists (?FV ?M) (and (instance ?M GasMotion) (instance ?FV FuelVapor) (subProcess ?M ?F) (destination ?M ?I) (patient ?M ?FV))))	Cars.kif 171-184	If a process is an instance of four stroke intake and an object is an instance of engine cylinder 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 the object, 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
(=> (and (instance ?L Laceration) (instance ?S Skin) (equal ?S (HoleHostFn ?L)) (part ?S ?H)) (exists (?P) (and (instance ?P Poking) (result ?P ?L))))	Medicine.kif 6219-6228	If a hole is an instance of Laceration and an object is an instance of skin and the object is equal to the host of the hole the hole and the object is a part of another object, then there exists a process such that the process is an instance of poking and the hole is a result of the process
(=> (and (instance ?T TwoStrokeTransfer) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?T ?C)) (exists (?E ?M) (and (instance ?M GasMotion) (instance ?E Exhaust) (subProcess ?M ?T) (origin ?M ?I) (patient ?M ?E))))	Cars.kif 523-536	If a process is an instance of two stroke transfer and an object is an instance of engine cylinder 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 the object, 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

(=> (and (instance ?C Cricothyroidotomy) (patient ?C ?O)) (holdsDuring (EndFn (WhenFn ?C)) (exists (?H) (and (instance ?H HoleRegion) (equal ?T (HoleHostFn ?H)) (instance ?T Throat) (part ?T ?O)))))	Medicine.kif 754-765	If a process is an instance of cricothyrotomy and an entity is a patient of the process, then there exists another entity such that the other entity is an instance of hole and a third entity is equal to the host of the hole the other entity and the third entity is an instance of throat and the third entity is a part of the entity holds during the end of the time of existence of the process
(=> (and (instance ?C Sneezing) (experiencer ?C ?H)) (hasPurpose ?C (exists (?R ?N ?NOSE ?O) (and (instance ?N NasalCavity) (instance ?NOSE Nose) (equal ?NOSE (HoleHostFn ?N)) (instance ?O Object) (instance ?R Removing) (part ?NOSE ?H) (objectTransferred ?R ?O) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (located ?O ?N))))))	Mid-level-ontology.kif 6121-6139	If a process is an instance of sneezing and an agent experiences the process, then the process has the purpose there exist an entity, another entity,, , the other entityOSE and a fourth entity such that the other entity is an instance of nasal cavity and the other entityOSE is an instance of nose and the other entityOSE is equal to the host of the hole the other entity and the fourth entity is an instance of object and the entity is an instance of removing and the other entityOSE is a part of the agent and the object transferred in the entity is the fourth entity and the fourth entity is located at the other entity holds during immediately before the time of existence of the process
(=> (and (instance ?LA LeftAtrium) (part ?LA ?H)) (exists (?H ?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (part ?HEART ?H) (instance ?HEART Heart))))	Medicine.kif 275-283	If a hole is an instance of left atrium and the hole is a part of an object, then there exist the object and the objectEART such that the objectEART is equal to the host of the hole the hole and the objectEART is a part of the object and the objectEART is an instance of heart
(=> (and (instance ?LA LeftVentricle) (part ?LA ?H)) (exists (?H ?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (part ?HEART ?H) (instance ?HEART Heart))))	Medicine.kif 291-299	If a hole is an instance of left ventricle and the hole is a part of an object, then there exist the object and the objectEART such that the objectEART is equal to the host of the hole the hole and the objectEART is a part of the object and the objectEART is an instance of heart
(=> (and (instance ?LA RightAtrium) (part ?LA ?H)) (exists (?H ?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (part ?HEART ?H) (instance ?HEART Heart))))	Medicine.kif 307-315	If a hole is an instance of right atrium and the hole is a part of an object, then there exist the object and the objectEART such that the objectEART is equal to the host of the hole the hole and the objectEART is a part of the object and the objectEART is an instance of heart
(=> (and (instance ?LA RightVentricle) (part ?LA ?H)) (exists (?H ?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (part ?HEART ?H) (instance ?HEART Heart))))	Medicine.kif 323-331	If a hole is an instance of right ventricle and the hole is a part of an object, then there exist the object and the objectEART such that the objectEART is equal to the host of the hole the hole and the objectEART is a part of the object and the objectEART is an instance of heart
(=> (attribute ?X RingTorus) (exists (?H) (and (instance ?H HoleRegion) (equal ?X (HoleHostFn ?H)))))	Cars.kif 4425-4430	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
(=> (equal ?OBJ1 (HoleSkinFn ?HOLE)) (=> (and (superficialPart ?OBJ3 (HoleHostFn ?HOLE)) (meetsSpatially ?HOLE ?OBJ3) (overlapsSpatially ?OBJ2 ?OBJ3)) (overlapsSpatially ?OBJ2 ?OBJ1)))	Merge.kif 10108-10115	If an object is equal to the surface of the hole a hole, then if another object is a superficial part of the host of the hole the hole and the hole meets the other object and a third object and the other object overlapsSpatially, then the third object and the object overlapsSpatially
(=> (equal ?OBJ1 (HoleSkinFn ?HOLE)) (=> (overlapsSpatially ?OBJ2 ?OBJ1) (exists (?OBJ3) (and (superficialPart ?OBJ3 (HoleHostFn ?HOLE)) (meetsSpatially ?HOLE ?OBJ3) (overlapsSpatially ?OBJ2 ?OBJ3)))))	Merge.kif 10098-10106	If an object is equal to the surface of the hole a hole, then if another object and the object overlapsSpatially, then 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 and the third object overlapsSpatially
(=> (holdsDuring ?T (attribute ?H Sinusitis)) (exists (?NC ?NCH ?I) (and (instance ?NC NasalCavity) (equal ?NCH (HoleHostFn ?NC)) (part ?NCH ?H) (instance ?I Inflammation) (during (WhenFn ?I) ?T) (patient ?I ?NCH))))	Medicine.kif 5706-5716	If sinus infection is an attribute of an object holds during a time interval, then there exist a hole, the holeH and a process such that the hole is an instance of nasal cavity and the holeH is equal to the host of the hole the hole and the holeH is a part of the object and the process is an instance of inflammation and the time of existence of the process takes place during the time interval and the holeH is a patient of the process
(=> (instance ?AREA WaterArea) (exists (?BED ?HOLE ?WATER) (and (equal (HoleHostFn ?HOLE) ?BED) (instance ?WATER Water) (properlyFills ?WATER ?HOLE) (equal (MereologicalSumFn ?BED ?WATER) ?AREA))))	Merge.kif 14146-14153	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
(=> (instance ?CC CombustionChamber) (exists (?H) (and (instance ?H HoleRegion) (equal ?CC (HoleHostFn ?H)))))	Cars.kif 1706-1711	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
(=> (instance ?CS ChestSeal) (hasPurpose ?CS (exists (?C ?CH ?I ?H) (and (instance ?C Closing) (instrument ?C ?CS) (located ?C ?CH) (instance ?CH Chest) (instance ?H HoleRegion) (equal ?CH (HoleHostFn ?H)) (instance ?I Injuring) (located ?I ?CH) (earlier (WhenFn ?I) (WhenFn ?C))))))	Medicine.kif 828-844	If a physical is an instance of chest seal, then the physical has the purpose there exist an entity, the entityH,, , a third entity and a fourth entity such that the entity is an instance of closing and the physical is an instrument for the entity and the entity is located at the entityH and the entityH is an instance of chest and the fourth entity is an instance of hole and the entityH is equal to the host of the hole the fourth entity and the third entity is an instance of injuring and the third entity is located at the entityH and the time of existence of the third entity happens earlier than the time of existence of the entity
(=> (instance ?E Engine) (exists (?C) (and (instance ?C Crankcase) (equal ?E (HoleHostFn ?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
(=> (instance ?E EngineCylinder) (exists (?H) (and (instance ?H InternalCombustionChamber) (equal ?E (HoleHostFn ?H)))))	Cars.kif 317-322	If an object is an instance of engine cylinder, 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
(=> (instance ?G Gasket) (hasPurpose ?G (exists (?O1 ?O2) (and (instance ?O1 CorpuscularObject) (instance ?O2 CorpuscularObject) (meetsSpatially ?O1 ?G) (meetsSpatially ?O2 ?G) (not (exists (?H ?D ?T ?O) (and (instance ?H HoleRegion) (equal ?G (HoleHostFn ?H)) (instance ?T Translocation) (path ?T ?H) (origin ?T ?O) (destination ?T ?D) (contains ?O1 ?O) (not (contains ?O1 ?D)) (meetsSpatially ?O1 ?D) (not (exists (?O3) (and (contains ?H ?O3) (not (contains ?O1 ?O3)) (not (contains ?O2 ?O3))))))))))))	Cars.kif 2849-2878	If a physical is an instance of gasket, then the physical has the 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 don't exist a third entity, a fourth entity,, , a fifth entity and a sixth 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 the fifth entity is an instance of translocation and the third entity is path along which the fifth entity occurs and the fifth entity originates at the sixth entity and the fifth entity ends up at the fourth entity and the entity contains the sixth entity and the entity doesn't contain the fourth entity and the entity meets the fourth entity and there doesn't exist the sixth entity3 such that the third entity contains the sixth entity3 and the entity doesn't contain the sixth entity3 and the other entity doesn't contain the sixth entity3
(=> (instance ?G Glottis) (exists (?VC) (and (instance ?VC VocalCords) (equal ?VC (HoleHostFn ?G)))))	Mid-level-ontology.kif 6147-6153	If a hole is an instance of glottis, then there exists an object such that the object is an instance of vocal cords and the object is equal to the host of the hole the hole
(=> (instance ?HC HydraulicCylinder) (exists (?HH ?C ?P) (and (instance ?C HoleRegion) (equal ?HH (HoleHostFn ?C)) (shape ?C Cylinder) (instance ?P Piston) (part ?P ?HC) (part ?HH ?HC))))	Cars.kif 1611-1621	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 the hole is cylinder 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
(=> (instance ?L Laceration) (exists (?S) (and (instance ?S Skin) (equal ?S (HoleHostFn ?L)))))	Medicine.kif 6212-6217	If a hole is an instance of Laceration, then there exists an object such that the object is an instance of skin and the object is equal to the host of the hole the hole
(=> (instance ?N NasalCavity) (exists (?NOSE) (and (instance ?NOSE Nose) (equal ?NOSE (HoleHostFn ?N)))))	Mid-level-ontology.kif 6088-6094	If a hole is an instance of nasal cavity, then there exists the holeOSE such that the holeOSE is an instance of nose and the holeOSE is equal to the host of the hole the hole
(=> (instance ?P Pupil) (exists (?I) (and (instance ?I Eye) (equal ?I (HoleHostFn ?P)))))	Mid-level-ontology.kif 12125-12131	If a hole is an instance of pupil, then there exists an object such that the object is an instance of eye and the object is equal to the host of the hole the hole
(=> (instance ?U Ulcer) (exists (?H ?BP) (and (instance ?H HoleRegion) (instance ?BP BodyPart) (equal ?BP (HoleHostFn ?H)) (part ?BP ?U))))	Mid-level-ontology.kif 9423-9430	If an object is an instance of ulcer, then there exist a hole and another object such that the hole is an instance of hole and the other object is an instance of body part and the other object is equal to the host of the hole the hole and the other object is a part of the object
(=> (instance ?VH VacuumHose) (hasPurpose ?VH (exists (?H) (and (instance ?H HoleRegion) (equal ?VH (HoleHostFn ?H)) (attribute ?H PartialVacuum)))))	Cars.kif 4256-4263	If a physical is an instance of vacuum hose, then the physical has the 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
(=> (instance ?W WasherForBolt) (exists (?H) (and (instance ?H HoleRegion) (equal ?W (HoleHostFn ?H)))))	Mid-level-ontology.kif 4307-4312	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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: