Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  HoleHostFn

Sigma KEE - HoleHostFn
HoleHostFn

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


(documentation HoleHostFn ChineseLanguage "这是一个 UnaryFunction,它把一个 Hole 和属于它 主要主体的 Object 联系起来。一个 Hole 的主要主体是和它最大程度相连的主体(这个概念在这里要符合这个定义 时才能算是一个洞)。") chinese_format.kif 2863-2865
(documentation HoleHostFn 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 9837-9840
(domain HoleHostFn 1 Hole) Merge.kif 9834-9834
(instance HoleHostFn UnaryFunction) Merge.kif 9831-9831
(range HoleHostFn Object) Merge.kif 9835-9835

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
(termFormat ChineseLanguage HoleHostFn "洞主体函数") chinese_format.kif 402-402
(termFormat ChineseLanguage HoleHostFn "洞主持人") domainEnglishFormat.kif 28362-28362
(termFormat ChineseTraditionalLanguage HoleHostFn "洞主持人") domainEnglishFormat.kif 28361-28361
(termFormat EnglishLanguage HoleHostFn "hole host") domainEnglishFormat.kif 28360-28360

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


(=>
    (and
        (instance ?AS AutomobileShock)
        (instance ?C Compressing)
        (instance ?H Hole)
        (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 ?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 Sneezing)
        (experiencer ?C ?H))
    (hasPurpose ?C
        (exists (?R ?N ?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 5802-5820
(=>
    (attribute ?X RingTorus)
    (exists (?H)
        (and
            (instance ?H Hole)
            (equal ?X
                (HoleHostFn ?H)))))
Cars.kif 4420-4425
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (forall (?OBJ2)
        (<=>
            (overlapsSpatially ?OBJ2 ?OBJ1)
            (exists (?OBJ3)
                (and
                    (superficialPart ?OBJ3
                        (HoleHostFn ?HOLE))
                    (meetsSpatially ?HOLE ?OBJ3)
                    (overlapsSpatially ?OBJ2 ?OBJ3))))))
Merge.kif 9992-10001
(=>
    (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 13870-13877
(=>
    (instance ?CC CombustionChamber)
    (exists (?H)
        (and
            (instance ?H Hole)
            (equal ?CC
                (HoleHostFn ?H)))))
Cars.kif 1700-1705
(=>
    (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)
                        (and
                            (instance ?H Hole)
                            (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 2843-2872
(=>
    (instance ?G Glottis)
    (exists (?VC)
        (and
            (instance ?VC VocalCords)
            (equal ?VC
                (HoleHostFn ?G)))))
Mid-level-ontology.kif 5828-5834
(=>
    (instance ?HC HydraulicCylinder)
    (exists (?HH ?C ?P)
        (and
            (instance ?C Hole)
            (equal ?HH
                (HoleHostFn ?C))
            (attribute ?C Cylinder)
            (instance ?P Piston)
            (part ?P ?HC)
            (part ?HH ?HC))))
Cars.kif 1606-1615
(=>
    (instance ?N NasalCavity)
    (exists (?NOSE)
        (and
            (instance ?NOSE Nose)
            (equal ?NOSE
                (HoleHostFn ?N)))))
Mid-level-ontology.kif 5769-5775
(=>
    (instance ?P Pupil)
    (exists (?I)
        (and
            (instance ?I EyeIris)
            (equal ?I
                (HoleHostFn ?P)))))
Mid-level-ontology.kif 11604-11610
(=>
    (instance ?U Ulcer)
    (exists (?H ?BP)
        (and
            (instance ?H Hole)
            (instance ?BP BodyPart)
            (equal ?BP
                (HoleHostFn ?H))
            (part ?BP ?U))))
Mid-level-ontology.kif 9020-9027
(=>
    (instance ?VH VacuumHose)
    (hasPurpose ?VH
        (exists (?H)
            (and
                (instance ?H Hole)
                (equal ?VH
                    (HoleHostFn ?H))
                (attribute ?H PartialVacuum)))))
Cars.kif 4251-4258
(=>
    (instance ?W WasherForBolt)
    (exists (?H)
        (and
            (instance ?H Hole)
            (equal ?W
                (HoleHostFn ?H)))))
Mid-level-ontology.kif 4198-4203


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 is open source software produced by Articulate Software and its partners