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

Formal Language: 


KB Term:  Term intersection
English Word: 

  HoleRegion

 Sigma KEE - HoleRegion
HoleRegion

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


(documentation HoleRegion ChineseLanguage "洞是一个位于 Object 物体表面没有形体的部分。因为每个 HoleRegion 在本体上依靠着它的主体(即是那个开着洞的物体),一个 HoleRegion 的定于是它是在某处的 hole。注：两个 HoleRegion 可以占据同一个地区或者相同地区的一部分，而没有任何共同的部分。一个洞的任何两个主体有一个完全承载这个 洞的共同真正部分。两个洞的共同主体承载洞的所有部分，任何含有洞为主体的物体就是那个洞的主体，除非它的部分也 包含这个洞的部分。崇德的洞拥有重叠的主体，没有洞拥有原子性的特性，洞与它的主体相连，没有洞可以有一个真正的 部分，而这个真正的部分和有着这个洞本身完全相同的物质，在外部相连接。") chinese_format.kif 2857-2862
(documentation HoleRegion EnglishLanguage "A hole is an immaterial body located at the surface of an Object. Since every HoleRegion is ontologically dependent on its host (i.e., the object in which it is a hole), being a HoleRegion is defined as being a hole in something. Note that two HoleRegions may occupy the same region, or part of the same region, without sharing any parts. Any two hosts of a hole have a common proper part that entirely hosts the hole. A common host of two holes hosts all parts of the sum of those holes. Any object that includes the host of a hole is a host of that hole, unless its parts also include parts of that very hole. Overlapping holes have overlapping hosts. No hole is atomic. HoleRegions are connected with their hosts. No hole can have a proper part that is externally connected with exactly the same things as the hole itself.") Merge.kif 9991-10002
(documentation HoleRegion JapaneseLanguage "ホールは、Object の表面に位置する重要でないボディであ る。すべての Hole は、そのホスト主(すなわち、それがホールであるオブジェクト)に依存しているので、 Hole は何かの中で hole であると定義される。注：２つの Hole は、パーツを共有せずに、同じ領域 または同じ領域の一部を占有する場合がある。ホールの任意の２つのホストは、完全にホールをホストする共通 の適切な部分を持ってる。２つのホールの共通ホストは、それらのホールの合計のすべての部分をホストする。 ホールのホストを含むオブジェクトは、その部分がまさにそのホールの一部として含まれていない限り、その ホールのホストである。重なり合うホールには、ホストが重なり合う。ホールは原子ではないホールはホスト と接続されている。ホール自体とまったく同じものに外部的に接続されている適切な部分を持つホールはな い。") japanese_format.kif 1601-1609
(externalImage HoleRegion "http://articulatesoftware.com/SUMOpictures/recreation/ sports/ golf/ HoleRegion_10.png") pictureList.kif 500-500
(subclass HoleRegion Region) Merge.kif 9989-9989 HoleRegion は 地域 の subclass では

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


(instance SouthSandwichTrench HoleRegion) Geography.kif 5069-5069 SouthSandwichTrench は HoleRegion の instance では
(subclass ATMSlot HoleRegion) FinancialOntology.kif 3677-3677 ATMSlot は HoleRegion の subclass では
(subclass BodyOrifice HoleRegion) Mid-level-ontology.kif 13378-13378 BodyOrifice は HoleRegion の subclass では
(subclass Burrow HoleRegion) Geography.kif 6468-6468 Burrow は HoleRegion の subclass では
(subclass Cave HoleRegion) Geography.kif 6453-6453 Cave は HoleRegion の subclass では
(subclass Crankcase HoleRegion) Cars.kif 324-324 Crankcase は HoleRegion の subclass では
(subclass Glottis HoleRegion) Mid-level-ontology.kif 7079-7079 Glottis は HoleRegion の subclass では
(subclass GolfHole HoleRegion) Sports.kif 971-971 GolfHole は HoleRegion の subclass では
(subclass InternalCombustionChamber HoleRegion) Cars.kif 311-311 InternalCombustionChamber は HoleRegion の subclass では
(subclass Pupil HoleRegion) Mid-level-ontology.kif 13452-13452 Pupil は HoleRegion の subclass では
(termFormat ChineseLanguage HoleRegion "洞") chinese_format.kif 944-944 Pupil は HoleRegion の subclass では
(termFormat EnglishLanguage HoleRegion "hole") english_format.kif 1095-1095 Pupil は HoleRegion の subclass では
(termFormat FrenchLanguage HoleRegion "trou") french_format.kif 620-620 Pupil は HoleRegion の subclass では
(termFormat Hindi HoleRegion "antaraala") terms-hindi.txt 151-151 Pupil は HoleRegion の subclass では
(termFormat ItalianLanguage HoleRegion "apertura") terms-it.txt 154-154 Pupil は HoleRegion の subclass では
(termFormat PortugueseLanguage HoleRegion "Buraco") portuguese_format.kif 572-572 Pupil は HoleRegion の subclass では
(termFormat cb HoleRegion "buhu") terms-cb.txt 156-156 Pupil は HoleRegion の subclass では
(termFormat cz HoleRegion "hole") terms-cz.txt 188-188 Pupil は HoleRegion の subclass では
(termFormat de HoleRegion "Loch") terms-de.txt 447-447 Pupil は HoleRegion の subclass では
(termFormat ro HoleRegion "gaurã") relations-ro.kif 641-641 Pupil は HoleRegion の subclass では
(termFormat tg HoleRegion "butas") terms-tg.txt 155-155 Pupil は HoleRegion の subclass では

appearance as argument number 3
-------------------------


(domain HoleHostFn 1 HoleRegion) Merge.kif 10065-10065 HoleHostFn の数値 1 引数は HoleRegion の instance では
(domain HoleSkinFn 1 HoleRegion) Merge.kif 10208-10208 HoleSkinFn の数値 1 引数は HoleRegion の instance では
(domain completelyFills 2 HoleRegion) Merge.kif 10141-10141 completelyFills の数値 2 引数は HoleRegion の instance では
(domain cylinderBore 1 HoleRegion) Cars.kif 1538-1538 cylinderBore の数値 1 引数は HoleRegion の instance では
(domain fills 2 HoleRegion) Merge.kif 10164-10164 fills の数値 2 引数は HoleRegion の instance では
(domain hole 1 HoleRegion) Merge.kif 1004-1004 hole の数値 1 引数は HoleRegion の instance では
(domain partiallyFills 2 HoleRegion) Merge.kif 10116-10116 partiallyFills の数値 2 引数は HoleRegion の instance では
(domain properlyFills 2 HoleRegion) Merge.kif 1013-1013 properlyFills の数値 2 引数は HoleRegion の instance では

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


(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY HoleRegion)
        (shape ?CY Cylinder)
        (part ?CI ?CY)
        (instance ?CI Region)
        (shape ?CI ?C)
        (equal ?C Circle))
    (diameter ?C ?M))		 Cars.kif 1541-1550
(=>
    (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 ?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 ?HOLE1 HoleRegion)
        (properPart ?HOLE2 ?HOLE1))
    (exists (?OBJ)
        (and
            (meetsSpatially ?HOLE1 ?OBJ)
            (not
                (meetsSpatially ?HOLE2 ?OBJ)))))		 Merge.kif 10077-10085
(=>
    (and
        (instance ?HOLE2 HoleRegion)
        (part ?HOLE1 ?HOLE2))
    (attribute ?HOLE1 Fillable))		 Merge.kif 10106-10110
(=>
    (instance ?HOLE HoleRegion)
    (exists (?OBJ)
        (hole ?HOLE ?OBJ)))		 Merge.kif 10004-10007
(=>
    (instance ?HOLE1 HoleRegion)
    (exists (?HOLE2)
        (properPart ?HOLE2 ?HOLE1)))		 Merge.kif 10056-10059

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 ?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
(=>
    (and
        (instance ?W Whiskey)
        (instance ?D Distilling)
        (result ?D ?W)
        (resource ?DR ?W)
        (instance ?DR Drinking))
    (exists (?C ?T ?H)
        (and
            (instance ?C Cask)
            (instance ?H HoleRegion)
            (hole ?H ?C)
            (holdsDuring ?T
                (partiallyFills ?W ?C))
            (earlier ?D ?T)
            (earlier ?T ?DR))))		 Food.kif 3624-3639
(=>
    (and
        (instance ?X Penne)
        (not
            (exists (?Y)
                (and
                    (instance ?Y Penne)
                    (part ?Y ?X)))))
    (and
        (exists (?HOLE2)
            (and
                (instance ?HOLE2 HoleRegion)
                (part ?X ?HOLE2)))
        (attribute ?X Fillable)))		 Food.kif 2770-2783
(=>
    (attribute ?C ContainerEmpty)
    (not
        (exists (?H ?S)
            (and
                (instance ?H HoleRegion)
                (hole ?H ?C)
                (partiallyFills ?S ?C)))))		 Mid-level-ontology.kif 2091-2098
(=>
    (attribute ?C ContainerFull)
    (exists (?H ?S)
        (and
            (instance ?H HoleRegion)
            (hole ?H ?C)
            (fills ?S ?C))))		 Mid-level-ontology.kif 2109-2115
(=>
    (attribute ?HOLE1 Fillable)
    (exists (?HOLE2)
        (and
            (instance ?HOLE2 HoleRegion)
            (part ?HOLE1 ?HOLE2))))		 Merge.kif 10099-10104
(=>
    (attribute ?X RingTorus)
    (exists (?H)
        (and
            (instance ?H HoleRegion)
            (equal ?X
                (HoleHostFn ?H)))))		 Cars.kif 4478-4483
(=>
    (equal
        (MeasureFn
            (PerFn
                (MeasureFn ?F KilogramForce)
                (MeasureFn ?A SquareMillimeter)) VickersPyramidNumber)
        (VickersHardnessFn ?CLASS))
    (modalAttribute
        (exists (?SUB ?P ?D ?H ?S)
            (and
                (instance ?SUB ?CLASS)
                (instance ?P Pushing)
                (destination ?P ?SUB)
                (instance ?D Diamond)
                (shape ?D SquarePyramid)
                (patient ?P ?D)
                (result ?P ?H)
                (instance ?H HoleRegion)
                (part ?H ?SUB)
                (surface ?S ?H)
                (totalArea ?S
                    (MeasureFn ?A SquareMillimeter))
                (measure ?P
                    (MeasureFn ?F KilogramForce)))) Likely))		 Mid-level-ontology.kif 10473-10494
(=>
    (equal
        (MeasureFn ?X PoundForce)
        (JankaHardnessFn ?CLASS))
    (modalAttribute
        (exists (?T ?W ?P ?B ?H ?S)
            (and
                (instance ?T ?CLASS)
                (part ?W ?T)
                (instance ?W Wood)
                (instance ?P Pushing)
                (destination ?P ?W)
                (instance ?B Ball)
                (material ?B Steel)
                (patient ?P ?B)
                (sphereRadius ?B
                    (MeasureFn 5.64 Millimeter))
                (result ?P ?H)
                (instance ?H HoleRegion)
                (part ?H ?W)
                (surface ?S ?W)
                (distance ?S ?H
                    (MeasureFn 5.64 Millimeter))
                (measure ?P
                    (MeasureFn ?X PoundForce)))) Likely))		 Mid-level-ontology.kif 10397-10420
(=>
    (hole ?HOLE ?OBJ)
    (instance ?HOLE HoleRegion))		 Merge.kif 10009-10011
(=>
    (hole ?HOLE ?OBJ)
    (not
        (instance ?OBJ HoleRegion)))		 Merge.kif 10013-10016
(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE HoleRegion)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))		 Mid-level-ontology.kif 27866-27873
(=>
    (instance ?B BowlingBall)
    (exists (?HOLES)
        (and
            (instance ?HOLES Collection)
            (memberType ?HOLES HoleRegion)
            (memberCount ?HOLES 3)
            (located ?HOLES ?B)
            (hasPurpose ?HOLES
                (exists (?FINGER ?HOLE)
                    (and
                        (member ?HOLE ?HOLES)
                        (instance ?FINGER Finger)
                        (partiallyFills ?FINGER ?HOLE)))))))		 Sports.kif 1139-1152
(=>
    (instance ?B GunBore)
    (exists (?H)
        (and
            (instance ?H HoleRegion)
            (shape ?B Cylinder)
            (part ?H ?B)
            (hole ?H ?B))))		 Mid-level-ontology.kif 1392-1399
(=>
    (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 ?D Drill)
    (hasPurpose ?D
        (exists (?E ?H)
            (and
                (instance ?E Cutting)
                (instance ?H HoleRegion)
                (result ?E ?H)
                (instrument ?E ?D)))))		 Mid-level-ontology.kif 19684-19692
(=>
    (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 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 ?PC PorousContainer)
    (exists (?HOLE)
        (and
            (instance ?HOLE HoleRegion)
            (hole ?HOLE ?PC))))		 Mid-level-ontology.kif 4962-4967
(=>
    (instance ?S Sandal)
    (exists (?H1 ?H2)
        (and
            (instance ?H1 HoleRegion)
            (hole ?H1 ?S)
            (instance ?H2 HoleRegion)
            (hole ?H2 ?S)
            (not
                (equal ?H1 ?H2))
            (hasPurpose ?H1
                (exists (?D ?F ?A ?I)
                    (and
                        (instance ?D Dressing)
                        (instance ?F Foot)
                        (agent ?D ?A)
                        (part ?F ?A)
                        (subProcess ?I ?D)
                        (instance ?I Inserting)
                        (patient ?I ?F)
                        (destination ?I ?H1)))))))		 Mid-level-ontology.kif 6149-6169
(=>
    (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 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