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 9839-9850
(externalImage HoleRegion "http://articulatesoftware.com/SUMOpictures/recreation/ sports/ golf/ HoleRegion_10.png") pictureList.kif 500-500
(subclass HoleRegion Region) Merge.kif 9837-9837 HoleRegion est une sous-classe de r�gion

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


(instance SouthSandwichTrench HoleRegion) Geography.kif 4598-4598 SouthSandwichTrench est une instance de HoleRegion
(subclass ATMSlot HoleRegion) FinancialOntology.kif 3672-3672 ATMSlot est une sous-classe de HoleRegion
(subclass BodyOrifice HoleRegion) Mid-level-ontology.kif 11982-11982 BodyOrifice est une sous-classe de HoleRegion
(subclass Burrow HoleRegion) Geography.kif 5934-5934 Burrow est une sous-classe de HoleRegion
(subclass Cave HoleRegion) Geography.kif 5919-5919 Cave est une sous-classe de HoleRegion
(subclass Crankcase HoleRegion) Cars.kif 324-324 Crankcase est une sous-classe de HoleRegion
(subclass Glottis HoleRegion) Mid-level-ontology.kif 6114-6114 Glottis est une sous-classe de HoleRegion
(subclass GolfHole HoleRegion) Sports.kif 959-959 GolfHole est une sous-classe de HoleRegion
(subclass InternalCombustionChamber HoleRegion) Cars.kif 311-311 InternalCombustionChamber est une sous-classe de HoleRegion
(subclass Pupil HoleRegion) Mid-level-ontology.kif 12056-12056 Pupil est une sous-classe de HoleRegion
(termFormat EnglishLanguage HoleRegion "hole") english_format.kif 1095-1095

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


(domain HoleHostFn 1 HoleRegion) Merge.kif 9913-9913 Le nombre 1 argument de HoleHostFn est une instance de HoleRegion
(domain HoleSkinFn 1 HoleRegion) Merge.kif 10054-10054 Le nombre 1 argument de HoleSkinFn est une instance de HoleRegion
(domain fills 2 HoleRegion) Merge.kif 10010-10010 Le nombre 2 argument de fills est une instance de HoleRegion
(domain hole 1 HoleRegion) Merge.kif 994-994 Le nombre 1 argument de hole est une instance de HoleRegion
(domain partiallyFills 2 HoleRegion) Merge.kif 9964-9964 Le nombre 2 argument de partiallyFills est une instance de HoleRegion
(domain properlyFills 2 HoleRegion) Merge.kif 1003-1003 Le nombre 2 argument de properlyFills est une instance de HoleRegion

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 ?HOLE1 HoleRegion)
        (properPart ?HOLE2 ?HOLE1))
    (exists (?OBJ)
        (and
            (meetsSpatially ?HOLE1 ?OBJ)
            (not
                (meetsSpatially ?HOLE2 ?OBJ)))))
Merge.kif 9925-9933
(=>
    (and
        (instance ?HOLE2 HoleRegion)
        (part ?HOLE1 ?HOLE2))
    (attribute ?HOLE1 Fillable))
Merge.kif 9954-9958
(=>
    (instance ?HOLE HoleRegion)
    (exists (?OBJ)
        (hole ?HOLE ?OBJ)))
Merge.kif 9852-9855
(=>
    (instance ?HOLE1 HoleRegion)
    (exists (?HOLE2)
        (properPart ?HOLE2 ?HOLE1)))
Merge.kif 9904-9907

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


(=>
    (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 2761-2776
(=>
    (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 1908-1921
(=>
    (attribute ?C ContainerEmpty)
    (not
        (exists (?H ?S)
            (and
                (instance ?H HoleRegion)
                (hole ?H ?C)
                (partiallyFills ?S ?C)))))
Mid-level-ontology.kif 1600-1607
(=>
    (attribute ?C ContainerFull)
    (exists (?H ?S)
        (and
            (instance ?H HoleRegion)
            (hole ?H ?C)
            (fills ?S ?C))))
Mid-level-ontology.kif 1618-1624
(=>
    (attribute ?HOLE1 Fillable)
    (exists (?HOLE2)
        (and
            (instance ?HOLE2 HoleRegion)
            (part ?HOLE1 ?HOLE2))))
Merge.kif 9947-9952
(=>
    (attribute ?X RingTorus)
    (exists (?H)
        (and
            (instance ?H HoleRegion)
            (equal ?X
                (HoleHostFn ?H)))))
Cars.kif 4417-4422
(=>
    (hole ?HOLE ?OBJ)
    (instance ?HOLE HoleRegion))
Merge.kif 9857-9859
(=>
    (hole ?HOLE ?OBJ)
    (not
        (instance ?OBJ HoleRegion)))
Merge.kif 9861-9864
(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE HoleRegion)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))
Mid-level-ontology.kif 25884-25891
(=>
    (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 1125-1138
(=>
    (instance ?CC CombustionChamber)
    (exists (?H)
        (and
            (instance ?H HoleRegion)
            (equal ?CC
                (HoleHostFn ?H)))))
Cars.kif 1700-1705
(=>
    (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 18025-18033
(=>
    (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 2843-2872
(=>
    (instance ?HC HydraulicCylinder)
    (exists (?HH ?C ?P)
        (and
            (instance ?C HoleRegion)
            (equal ?HH
                (HoleHostFn ?C))
            (attribute ?C Cylinder)
            (instance ?P Piston)
            (part ?P ?HC)
            (part ?HH ?HC))))
Cars.kif 1606-1615
(=>
    (instance ?PC PorousContainer)
    (exists (?HOLE)
        (and
            (instance ?HOLE HoleRegion)
            (hole ?HOLE ?PC))))
Mid-level-ontology.kif 4489-4494
(=>
    (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 5184-5204
(=>
    (instance ?U Ulcer)
    (exists (?H ?BP)
        (and
            (instance ?H HoleRegion)
            (instance ?BP BodyPart)
            (equal ?BP
                (HoleHostFn ?H))
            (part ?BP ?U))))
Mid-level-ontology.kif 9396-9403
(=>
    (instance ?VH VacuumHose)
    (hasPurpose ?VH
        (exists (?H)
            (and
                (instance ?H HoleRegion)
                (equal ?VH
                    (HoleHostFn ?H))
                (attribute ?H PartialVacuum)))))
Cars.kif 4248-4255
(=>
    (instance ?W WasherForBolt)
    (exists (?H)
        (and
            (instance ?H HoleRegion)
            (equal ?W
                (HoleHostFn ?H)))))
Mid-level-ontology.kif 4279-4284
(=>
    (instance ?X ElectricalOutlet)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE HoleRegion)
            (part ?HOLE ?X))))
Mid-level-ontology.kif 25827-25833


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