Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  HoleHostFn

 Sigma KEE - HoleHostFn
HoleHostFn

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


(instance HoleHostFn UnaryFunction) Merge.kif 10151-10151 Hole host is an instance of unary function
(domain HoleHostFn 1 HoleRegion) Merge.kif 10153-10153 The number 1 argument of hole host is an instance of hole
(range HoleHostFn Object) Merge.kif 10154-10154 The range of hole host is an instance of object
(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 10156-10159 The range of hole host is an instance of object

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


(termFormat EnglishLanguage HoleHostFn "hole host") domainEnglishFormat.kif 28373-28373
(termFormat ChineseTraditionalLanguage HoleHostFn "洞主持人") domainEnglishFormat.kif 28374-28374
(termFormat ChineseLanguage HoleHostFn "洞主持人") domainEnglishFormat.kif 28375-28375
(format EnglishLanguage HoleHostFn "the host of the hole %1") english_format.kif 407-407

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


(=>
    (and
        (instance ?O Object)
        (equal ?O
            (HoleHostFn ?H))
        (holdsDuring ?T
            (attribute ?O Open)))
    (holdsDuring ?T
        (modalAttribute
            (exists (?MOVE ?THING)
                (and
                    (instance ?MOVE Transfer)
                    (objectTransferred ?MOVE ?THING)
                    (destination ?MOVE ?H))) Possibility)))		 Mid-level-ontology.kif 23743-23756 If X is an instance of object, equal X and the host of the hole Y, and open is an attribute of X holds during Z, then the statement there exist W, V such that W is an instance of transfer, the object transferred in W is V, and W ends up at Y has the modal force of possibility holds during Z
(=>
    (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 124-137 If X is an instance of four stroke intake, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exist W, V such that V is an instance of gas motion, W is an instance of fuel vapor, V is a subprocess of X, V ends up at Z, and W is a patient of V
(=>
    (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 144-153 If X is an instance of four stroke compression, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then pressurized is an attribute of Z holds during the end of the time of existence of X
(=>
    (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 160-170 If X is an instance of four stroke combustion, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exists W such that W is an instance of burning and W is a subprocess of X
(=>
    (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 178-191 If X is an instance of four stroke exhaust, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exist W, V such that V is an instance of gas motion, W is an instance of exhaust, V is a subprocess of X, V originates at Z, and W is a patient of V
(=>
    (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 416-428 If All of the following hold: (1) X is an instance of engine cylinder (2) Y is an instance of internal combustion chamber (3) Z is an instance of piston (4) W is an instance of two stroke intake (5) Z is located at X holds during W (6) equal X and the host of the hole Y (7) W is located at X, then Z has the purpose Z partially fills Y holds during W
(=>
    (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 462-474 If All of the following hold: (1) X is an instance of engine cylinder (2) Y is an instance of crankcase (3) Z is an instance of piston (4) W is an instance of two stroke transfer (5) Z is located at X holds during W (6) equal X and the host of the hole Y (7) W is located at X, then Z has the purpose Z partially fills Y holds during W
(=>
    (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 476-489 If X is an instance of two stroke transfer, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exist W, V such that V is an instance of gas motion, W is an instance of exhaust, V is a subprocess of X, V originates at Z, and W is a patient of V
(=>
    (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 808-822 If All of the following hold: (1) X is an instance of shock (2) Y is an instance of compressing (3) Z is an instance of hole (4) fluid is an attribute of W (5) equal X and the host of the hole Z (6) X contains W (7) X is a patient of Y, then there exists V such that V is an instance of transfer, the object transferred in V is W, Z is path along which V occurs, and Y causes V
(=>
    (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 6249-6258 If X is an instance of laceration, Y is an instance of skin, equal Y and the host of the hole X, and Y is a part of Z, then there exists W such that W is an instance of poking and X is a result of W
(=>
    (and
        (instance ?G ExternalGear)
        (instance ?H HoleRegion)
        (equal ?G
            (HoleHostFn ?H))
        (instance ?T GearTooth)
        (part ?T ?G)
        (surface ?ST ?T))
    (not
        (part ?ST ?G)))		 engineering.kif 862-872 If All of the following hold: (1) X is an instance of external gear (2) Y is an instance of hole (3) equal X and the host of the hole Y (4) Z is an instance of gear tooth (5) Z is a part of X (6) W is a surface of Z, then W is not a part of X

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


(=>
    (instance ?C Crater)
    (exists (?HOST ?EVENT ?METEOR ?BOMB)
        (and
            (hole ?C ?HOST)
            (superficialPart ?SURF
                (HoleHostFn ?C))
            (or
                (and
                    (instance ?EVENT Impacting)
                    (instrument ?EVENT ?METEOR)
                    (instance ?METEOR Meteorite))
                (and
                    (instance ?EVENT Explosion)
                    (instrument ?EVENT ?BOMB)
                    (instance ?BOMB Bomb))
                (instance ?EVENT VolcanicEruption))
            (result ?EVENT ?C))))		 Merge.kif 1059-1075 If X is an instance of crater, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that X is a hole in Y (3) U is a superficial part of the host of the hole X (4) Z is an instance of impacting (5) W is an instrument for Z (6) W is an instance of meteorite or Z is an instance of explosion (7) V is an instrument for Z (8) V is an instance of bomb or Z is an instance of volcanic eruption (9) X is a result of Z
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (=>
        (overlapsSpatially ?OBJ2 ?OBJ1)
        (exists (?OBJ3)
            (and
                (superficialPart ?OBJ3
                    (HoleHostFn ?HOLE))
                (meetsSpatially ?HOLE ?OBJ3)
                (overlapsSpatially ?OBJ2 ?OBJ3)))))		 Merge.kif 10302-10310 Assuming equal X and the surface of the hole Y, it follows that: if Z and X overlapsSpatially, then there exists W such that W is a superficial part of the host of the hole Y, Y meets W, Z, and W overlapsSpatially
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (=>
        (and
            (superficialPart ?OBJ3
                (HoleHostFn ?HOLE))
            (meetsSpatially ?HOLE ?OBJ3)
            (overlapsSpatially ?OBJ2 ?OBJ3))
        (overlapsSpatially ?OBJ2 ?OBJ1)))		 Merge.kif 10312-10319 Assuming equal X and the surface of the hole Y, it follows that: if Z is a superficial part of the host of the hole Y, Y meets Z, and W and Z overlapsSpatially, then W and X overlapsSpatially
(=>
    (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 14438-14445 If X is an instance of water area, then All of the following hold: (1) there exist Y, Z (2) W such that equal the host of the hole Z (3) Y (4) W is an instance of water (5) W properly fills Z (6) equal the union of the parts of Y (7) W (8) X
(=>
    (instance ?N NasalCavity)
    (exists (?NOSE)
        (and
            (instance ?NOSE Nose)
            (equal ?NOSE
                (HoleHostFn ?N)))))		 Mid-level-ontology.kif 7208-7214 If X is an instance of nasal cavity, then there exists Y such that Y is an instance of nose, equal Y, and the host of the hole X
(=>
    (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 7241-7259 If X is an instance of sneezing and Y experiences X, then All of the following hold: (1) X has the purpose there exist Z, W,, , V (2) U such that W is an instance of nasal cavity (3) V is an instance of nose (4) equal V (5) the host of the hole W (6) U is an instance of object (7) Z is an instance of removing (8) V is a part of Y (9) the object transferred in Z is U (10) U is located at W holds during immediately before the time of existence of X
(=>
    (instance ?G Glottis)
    (exists (?VC)
        (and
            (instance ?VC VocalCords)
            (equal ?VC
                (HoleHostFn ?G)))))		 Mid-level-ontology.kif 7267-7273 If X is an instance of glottis, then there exists Y such that Y is an instance of vocal cords, equal Y, and the host of the hole X
(=>
    (instance ?U Ulcer)
    (exists (?H ?BP)
        (and
            (instance ?H HoleRegion)
            (instance ?BP BodyPart)
            (equal ?BP
                (HoleHostFn ?H))
            (part ?BP ?U))))		 Mid-level-ontology.kif 10916-10923 If X is an instance of ulcer, then there exist Y, Z such that Y is an instance of hole, Z is an instance of body part, equal Z, the host of the hole Y, and Z is a part of X
(=>
    (instance ?BO BodyOrifice)
    (exists (?H)
        (and
            (instance ?H Hole)
            (equal ?BO
                (HoleHostFn ?H)))))		 Mid-level-ontology.kif 13551-13556 If X is an instance of body orifice, then there exists Y such that Y is an instance of hole, equal X, and the host of the hole Y
(=>
    (instance ?P EyePupil)
    (exists (?I)
        (and
            (instance ?I Eyeball)
            (equal ?I
                (HoleHostFn ?P)))))		 Mid-level-ontology.kif 13634-13640 If X is an instance of eye pupil, then there exists Y such that Y is an instance of eye ball, equal Y, and the host of the hole X
(=>
    (instance ?E Eyesocket)
    (exists (?S)
        (and
            (instance ?S Skull)
            (equal ?S
                (HoleHostFn ?E)))))		 Mid-level-ontology.kif 13701-13707 If X is an instance of eye socket, then there exists Y such that Y is an instance of skull, equal Y, and the host of the hole X
(=>
    (attribute ?X RingTorus)
    (exists (?H)
        (and
            (instance ?H HoleRegion)
            (equal ?X
                (HoleHostFn ?H)))))		 Mid-level-ontology.kif 33397-33402 If ring torus is an attribute of X, then there exists Y such that Y is an instance of hole, equal X, and the host of the hole Y
(=>
    (instance ?E EngineCylinder)
    (exists (?H)
        (and
            (instance ?H InternalCombustionChamber)
            (equal ?E
                (HoleHostFn ?H)))))		 Cars.kif 270-275 If X is an instance of engine cylinder, then there exists Y such that Y is an instance of internal combustion chamber, equal X, and the host of the hole Y
(=>
    (instance ?E Engine)
    (exists (?C)
        (and
            (instance ?C Crankcase)
            (equal ?E
                (HoleHostFn ?C)))))		 Cars.kif 281-286 If X is an instance of engine, then there exists Y such that Y is an instance of crankcase, equal X, and the host of the hole Y
(=>
    (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 1491-1501 If X is an instance of hydraulic cylinder, then All of the following hold: (1) there exist Y, Z (2) W such that Z is an instance of hole (3) equal Y (4) the host of the hole Z (5) Z is cylinder (6) W is an instance of piston (7) W is a part of X (8) Y is a part of X
(=>
    (instance ?CC CombustionChamber)
    (exists (?H)
        (and
            (instance ?H HoleRegion)
            (equal ?CC
                (HoleHostFn ?H)))))		 Cars.kif 1587-1592 If X is an instance of combustion chamber, then there exists Y such that Y is an instance of hole, equal X, and the host of the hole Y
(=>
    (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 2681-2710 If X is an instance of gasket, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of corpuscular object (3) Z is an instance of corpuscular object (4) Y meets X (5) Z meets X (6) there don't exist W, V,, , U (7) T such that W is an instance of hole (8) equal X (9) the host of the hole W (10) U is an instance of translocation (11) W is path along which U occurs (12) U originates at T (13) U ends up at V (14) Y contains T (15) Y doesn't contain V (16) Y meets V (17) there doesn't exist S such that W contains S (18) Y doesn't contain S (19) Z doesn't contain S
(=>
    (instance ?W WasherForBolt)
    (exists (?H)
        (and
            (instance ?H HoleRegion)
            (equal ?W
                (HoleHostFn ?H)))))		 Cars.kif 4101-4106 If X is an instance of washer, then there exists Y such that Y is an instance of hole, equal X, and the host of the hole Y
(=>
    (instance ?VH VacuumHose)
    (hasPurpose ?VH
        (exists (?H)
            (and
                (instance ?H HoleRegion)
                (equal ?VH
                    (HoleHostFn ?H))
                (attribute ?H PartialVacuum)))))		 Cars.kif 4155-4162 If X is an instance of vacuum hose, then X has the purpose there exists Y such that Y is an instance of hole, equal X, the host of the hole Y, and partial vacuum is an attribute of Y
(=>
    (instance ?LA LeftAtrium)
    (exists (?HEART)
        (and
            (equal ?HEART
                (HoleHostFn ?LA))
            (instance ?HEART Heart))))		 Medicine.kif 277-282 If X is an instance of left atrium, then there exists Y such that equal Y, the host of the hole X, and Y is an instance of heart
(=>
    (instance ?LA LeftVentricle)
    (exists (?HEART)
        (and
            (equal ?HEART
                (HoleHostFn ?LA))
            (instance ?HEART Heart))))		 Medicine.kif 290-295 If X is an instance of left ventricle, then there exists Y such that equal Y, the host of the hole X, and Y is an instance of heart
(=>
    (instance ?LA RightAtrium)
    (exists (?HEART)
        (and
            (equal ?HEART
                (HoleHostFn ?LA))
            (instance ?HEART Heart))))		 Medicine.kif 303-308 If X is an instance of right atrium, then there exists Y such that equal Y, the host of the hole X, and Y is an instance of heart
(=>
    (instance ?LA RightVentricle)
    (exists (?HEART)
        (and
            (equal ?HEART
                (HoleHostFn ?LA))
            (instance ?HEART Heart))))		 Medicine.kif 316-321 If X is an instance of right ventricle, then there exists Y such that equal Y, the host of the hole X, and Y is an instance of heart
(=>
    (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 732-743 If X is an instance of cricothyrotomy and Y is a patient of X, then there exists Z such that Z is an instance of hole, equal W, the host of the hole Z, W is an instance of throat, and W is a part of Y holds during the end of the time of existence of X
(=>
    (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 807-823 If X is an instance of chest seal, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of closing (3) X is an instrument for Y (4) Y is located at Z (5) Z is an instance of chest (6) V is an instance of hole (7) equal Z (8) the host of the hole V (9) W is an instance of injuring (10) W is located at Z (11) the time of existence of W happens earlier than the time of existence of Y

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners