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
-------------------------


(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 10068-10071
(documentation HoleHostFn JapaneseLanguage "A UnaryFunction は、Hole を主ホストである Object にマップする。Hole の原理ホストは、その最大に接続されたホストである (引数がホールである 場合にのみ定義される概念)。") japanese_format.kif 1610-1612
(domain HoleHostFn 1 HoleRegion) Merge.kif 10065-10065 Le nombre 1 argument de HoleHostFn est une instance de trou
(instance HoleHostFn UnaryFunction) Merge.kif 10062-10062 HoleHostFn est une instance de function unaire
(range HoleHostFn Object) Merge.kif 10066-10066 Le domaine de HoleHostFn est une instance de objet

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 28382-28382
(termFormat ChineseTraditionalLanguage HoleHostFn "洞主持人") domainEnglishFormat.kif 28381-28381
(termFormat EnglishLanguage HoleHostFn "hole host") domainEnglishFormat.kif 28380-28380

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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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 775-785
(=>
    (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 6235-6244
(=>
    (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

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 745-756
(=>
    (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 7059-7077
(=>
    (and
        (instance ?T GearTooth)
        (instance ?G InternalGear)
        (part ?T ?G)
        (surface ?S ?T))
    (exists (?H)
        (and
            (instance ?H HoleRegion)
            (equal ?G
                (HoleHostFn ?H))
            (part ?S ?G))))
engineering.kif 803-814
(=>
    (attribute ?X RingTorus)
    (exists (?H)
        (and
            (instance ?H HoleRegion)
            (equal ?X
                (HoleHostFn ?H)))))
Cars.kif 4478-4483
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (=>
        (and
            (superficialPart ?OBJ3
                (HoleHostFn ?HOLE))
            (meetsSpatially ?HOLE ?OBJ3)
            (overlapsSpatially ?OBJ2 ?OBJ3))
        (overlapsSpatially ?OBJ2 ?OBJ1)))
Merge.kif 10226-10233
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (=>
        (overlapsSpatially ?OBJ2 ?OBJ1)
        (exists (?OBJ3)
            (and
                (superficialPart ?OBJ3
                    (HoleHostFn ?HOLE))
                (meetsSpatially ?HOLE ?OBJ3)
                (overlapsSpatially ?OBJ2 ?OBJ3)))))
Merge.kif 10216-10224
(=>
    (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 5717-5727
(=>
    (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 14277-14284
(=>
    (instance ?CC CombustionChamber)
    (exists (?H)
        (and
            (instance ?H HoleRegion)
            (equal ?CC
                (HoleHostFn ?H)))))
Cars.kif 1707-1712
(=>
    (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 819-835
(=>
    (instance ?E Engine)
    (exists (?C)
        (and
            (instance ?C Crankcase)
            (equal ?E
                (HoleHostFn ?C)))))
Cars.kif 328-333
(=>
    (instance ?E EngineCylinder)
    (exists (?H)
        (and
            (instance ?H InternalCombustionChamber)
            (equal ?E
                (HoleHostFn ?H)))))
Cars.kif 317-322
(=>
    (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 2827-2856
(=>
    (instance ?G Glottis)
    (exists (?VC)
        (and
            (instance ?VC VocalCords)
            (equal ?VC
                (HoleHostFn ?G)))))
Mid-level-ontology.kif 7085-7091
(=>
    (instance ?G InternalGear)
    (exists (?H)
        (and
            (instance ?H HoleRegion)
            (equal ?G
                (HoleHostFn ?H)))))
engineering.kif 795-801
(=>
    (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 1612-1622
(=>
    (instance ?L Laceration)
    (exists (?S)
        (and
            (instance ?S Skin)
            (equal ?S
                (HoleHostFn ?L)))))
Medicine.kif 6228-6233
(=>
    (instance ?LA LeftAtrium)
    (exists (?HEART)
        (and
            (equal ?HEART
                (HoleHostFn ?LA))
            (instance ?HEART Heart))))
Medicine.kif 275-280
(=>
    (instance ?LA LeftVentricle)
    (exists (?HEART)
        (and
            (equal ?HEART
                (HoleHostFn ?LA))
            (instance ?HEART Heart))))
Medicine.kif 288-293
(=>
    (instance ?LA RightAtrium)
    (exists (?HEART)
        (and
            (equal ?HEART
                (HoleHostFn ?LA))
            (instance ?HEART Heart))))
Medicine.kif 301-306
(=>
    (instance ?LA RightVentricle)
    (exists (?HEART)
        (and
            (equal ?HEART
                (HoleHostFn ?LA))
            (instance ?HEART Heart))))
Medicine.kif 314-319
(=>
    (instance ?N NasalCavity)
    (exists (?NOSE)
        (and
            (instance ?NOSE Nose)
            (equal ?NOSE
                (HoleHostFn ?N)))))
Mid-level-ontology.kif 7026-7032
(=>
    (instance ?P Pupil)
    (exists (?I)
        (and
            (instance ?I Eye)
            (equal ?I
                (HoleHostFn ?P)))))
Mid-level-ontology.kif 13457-13463
(=>
    (instance ?U Ulcer)
    (exists (?H ?BP)
        (and
            (instance ?H HoleRegion)
            (instance ?BP BodyPart)
            (equal ?BP
                (HoleHostFn ?H))
            (part ?BP ?U))))
Mid-level-ontology.kif 10753-10760
(=>
    (instance ?VH VacuumHose)
    (hasPurpose ?VH
        (exists (?H)
            (and
                (instance ?H HoleRegion)
                (equal ?VH
                    (HoleHostFn ?H))
                (attribute ?H PartialVacuum)))))
Cars.kif 4309-4316

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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