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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hole
Hole(ホール)

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


(documentation Hole ChineseLanguage "洞是一个位于 Object 物体表面没有形体的部分。因为每个 Hole 在本体上依靠着它的主体(即是那个开着洞的物体),一个 Hole 的定于是它是在某处的 hole。注:两个 Hole 可以占据同一个地区或者相同地区的一部分,而没有任何共同的部分。一个洞的任何两个主体有一个完全承载这个 洞的共同真正部分。两个洞的共同主体承载洞的所有部分,任何含有洞为主体的物体就是那个洞的主体,除非它的部分也 包含这个洞的部分。崇德的洞拥有重叠的主体,没有洞拥有原子性的特性,洞与它的主体相连,没有洞可以有一个真正的 部分,而这个真正的部分和有着这个洞本身完全相同的物质,在外部相连接。") Merge.kif 9889-9894
(documentation Hole EnglishLanguage "A hole is an immaterial body located at the surface of an Object. Since every Hole is ontologically dependent on its host (i.e., the object in which it is a hole), being a Hole is defined as being a hole in something. Note that two Holes 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. Holes 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 9877-9888
(externalImage Hole "http://www.adampease.org/Articulate/SUMOpictures/pictures/ recreation/ sports/ golf/ Hole_10.png") pictureList.kif 500-500 externalImage ホール and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ recreation/ sports/ golf/ Hole_10.png"
(subclass Hole Region) Merge.kif 9875-9875 subclass ホール and 地域

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


(instance SouthSandwichTrench Hole) Geography.kif 4390-4390 instance SouthSandwichTrench and ホール
(subclass ATMSlot Hole) FinancialOntology.kif 3551-3551 subclass ATMSlot and ホール
(subclass Cave Hole) Geography.kif 5594-5594 subclass Cave and ホール
(subclass Crankcase Hole) Cars.kif 324-324 subclass Crankcase and ホール
(subclass GolfHole Hole) Sports.kif 808-808 subclass GolfHole and ホール
(subclass InternalCombustionChamber Hole) Cars.kif 311-311 subclass InternalCombustionChamber and ホール
(termFormat ChineseLanguage Hole "洞") chinese_format.kif 944-944 termFormat ChineseLanguage, ホール and "洞"
(termFormat EnglishLanguage Hole "hole") english_format.kif 898-898 termFormat EnglishLanguage, ホール and "hole"
(termFormat JapaneseLanguage Hole "ホール") english_format.kif 899-899 termFormat JapaneseLanguage, ホール and "ホール"

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


(domain HoleHostFn 1 Hole) Merge.kif 9953-9953 domain HoleHostFn, 1 and ホール
(domain HoleSkinFn 1 Hole) Merge.kif 10127-10127 domain HoleSkinFn, 1 and ホール
(domain fills 2 Hole) Merge.kif 10078-10078 domain fills, 2 and ホール
(domain hole 1 Hole) Merge.kif 9867-9867 domain hole, 1 and ホール
(domain partiallyFills 2 Hole) Merge.kif 10003-10003 domain partiallyFills, 2 and ホール
(domain properlyFills 2 Hole) Merge.kif 10026-10026 domain properlyFills, 2 and ホール

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


(<=>
    (instance ?HOLE Hole)
    (exists (?OBJ)
        (hole ?HOLE ?OBJ)))
Merge.kif 9896-9899 instance ホール and ホール 自己接続オブジェクト hole ホール and 自己接続オブジェクト
(=>
    (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 861-875
(=>
    (and
        (instance ?HOLE1 Hole)
        (properPart ?HOLE2 ?HOLE1))
    (exists (?OBJ)
        (and
            (meetsSpatially ?HOLE1 ?OBJ)
            (not
                (meetsSpatially ?HOLE2 ?OBJ)))))
Merge.kif 9967-9975
(=>
    (instance ?HOLE1 Hole)
    (exists (?HOLE2)
        (properPart ?HOLE2 ?HOLE1)))
Merge.kif 9944-9947

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


(<=>
    (attribute ?HOLE1 Fillable)
    (exists (?HOLE2)
        (and
            (instance ?HOLE2 Hole)
            (part ?HOLE1 ?HOLE2))))
Merge.kif 9992-9997 attribute オブジェクト and Fillable オブジェクト instance オブジェクト and ホール part オブジェクト and オブジェクト
(=>
    (and
        (instance ?W Whiskey)
        (instance ?D Distilling)
        (result ?D ?W)
        (resource ?DR ?W)
        (instance ?DR Drinking))
    (exists (?C ?T)
        (and
            (instance ?C Cask)
            (instance ?H Hole)
            (hole ?H ?C)
            (holdsDuring ?T
                (partiallyFills ?W ?C))
            (earlier ?D ?T)
            (earlier ?T ?DR))))
Food.kif 1085-1100
(=>
    (and
        (instance ?X Penne)
        (not
            (exists (?Y)
                (and
                    (instance ?Y Penne)
                    (part ?Y ?X)))))
    (and
        (exists (?HOLE2)
            (and
                (instance ?HOLE2 Hole)
                (part ?X ?HOLE2)))
        (attribute ?X Fillable)))
Food.kif 775-788
(=>
    (attribute ?C ContainerEmpty)
    (not
        (exists (?H ?S)
            (and
                (instance ?H Hole)
                (hole ?H ?C)
                (partiallyFills ?S ?C)))))
Mid-level-ontology.kif 2037-2044
(=>
    (attribute ?C ContainerFull)
    (exists (?H ?S)
        (and
            (instance ?H Hole)
            (hole ?H ?C)
            (fills ?S ?C))))
Mid-level-ontology.kif 2055-2061
(=>
    (attribute ?X RingTorus)
    (exists (?H)
        (and
            (instance ?H Hole)
            (equal ?X
                (HoleHostFn ?H)))))
Cars.kif 4381-4386
(=>
    (hole ?HOLE ?OBJ)
    (not
        (instance ?OBJ Hole)))
Merge.kif 9901-9904
(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE Hole)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))
Mid-level-ontology.kif 23954-23961
(=>
    (instance ?B BowlingBall)
    (exists (?HOLES)
        (and
            (instance ?HOLES Collection)
            (memberType ?HOLES Hole)
            (memberCount ?HOLES 3)
            (located ?HOLES ?B)
            (hasPurpose ?HOLES
                (exists (?FINGER)
                    (and
                        (member ?FINGER ?HOLES)
                        (instance ?FINGER Finger)
                        (partiallyFills ?FINGER ?HOLE)))))))
Sports.kif 975-988
(=>
    (instance ?CC CombustionChamber)
    (exists (?H)
        (and
            (instance ?H Hole)
            (equal ?CC
                (HoleHostFn ?H)))))
Cars.kif 1695-1700
(=>
    (instance ?D Drill)
    (hasPurpose ?D
        (exists (?E ?H)
            (and
                (instance ?E Cutting)
                (instance ?H Hole)
                (result ?E ?H)
                (instrument ?E ?D)))))
Mid-level-ontology.kif 15807-15815
(=>
    (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 2824-2853
(=>
    (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 1601-1610
(=>
    (instance ?S Sandal)
    (exists (?H1 ?H2)
        (and
            (instance ?H1 Hole)
            (instance ?H2 Hole)
            (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 5495-5512
(=>
    (instance ?VH VacuumHose)
    (hasPurpose ?VH
        (exists (?H)
            (and
                (instance ?H Hole)
                (equal ?VH
                    (HoleHostFn ?H))
                (attribute ?H PartialVacuum)))))
Cars.kif 4212-4219
(=>
    (instance ?W WasherForBolt)
    (exists (?H)
        (and
            (instance ?H Hole)
            (equal ?W
                (HoleHostFn ?H)))))
Mid-level-ontology.kif 4781-4786
(=>
    (instance ?X ElectricalOutlet)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE Hole)
            (part ?HOLE ?X))))
Mid-level-ontology.kif 23897-23903


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners