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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Making
Making(making)Bessemer_process, Fabbricazione, Fazer, air-condition, alter, anastylosis, antiquate, antique, aquatint, architectonic, arts_and_crafts, assemble, automatise, automatize, back, barb, beat, beneficiate, border, braid, brocade, build, button, calk, camp, camp_down, carving, cast, cast_on, casting, caulk, channelise, channelize, chip, clap_together, clap_up, cleave, cobble_together, cobble_up, cobbling, coil, cold_work, coldwork, comfit, concoction, confect, confection, consolidate, construct, couture...

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


(documentation Making ChineseLanguage "这是制作个别 Artifact 或一种 ArtifactCreation subclass。") Merge.kif 12603-12604
(documentation Making EnglishLanguage "The subclass of Creation in which an individual Artifact or a type of Artifact is made.") Merge.kif 12601-12602
(subclass Making Creation) Merge.kif 12599-12599 Making is a subclass of creation
(subclass Making IntentionalProcess) Merge.kif 12600-12600 Making is a subclass of intentional process

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


(subclass Carpentry Making) Mid-level-ontology.kif 18024-18024 Carpentry is a subclass of making
(subclass Constructing Making) Merge.kif 12613-12613 Constructing is a subclass of making
(subclass Cooking Making) Merge.kif 12645-12645 Cooking is a subclass of making
(subclass Copying Making) Mid-level-ontology.kif 17816-17816 Copying is a subclass of making
(subclass DeliveringWeaponOfMassDestruction Making) WMD.kif 698-698 Delivering weapon of mass destruction is a subclass of making
(subclass DevelopingWeaponOfMassDestruction Making) WMD.kif 681-681 Developing weapon of mass destruction is a subclass of making
(subclass Manufacture Making) Merge.kif 12626-12626 Manufacture is a subclass of making
(subclass Photocopying Making) Mid-level-ontology.kif 23943-23943 Photocopying is a subclass of making
(subclass Sculpting Making) Mid-level-ontology.kif 3811-3811 Sculpting is a subclass of making
(termFormat ChineseLanguage Making "制作") chinese_format.kif 1185-1185 "制作" is the printable form of making in ChineseLanguage
(termFormat EnglishLanguage Making "making") english_format.kif 872-872 "making" is the printable form of making in english language
(termFormat FrenchLanguage Making "faire") french_format.kif 863-863 "faire" is the printable form of making in french language
(termFormat Hindi Making "rachanaa") terms-hindi.txt 395-395 "rachanaa" is the printable form of making in Hindi
(termFormat ItalianLanguage Making "Fabbricazione") terms-it.txt 396-396 "Fabbricazione" is the printable form of making in italian language
(termFormat PortugueseLanguage Making "Fazer") portuguese_format.kif 815-815 "Fazer" is the printable form of making in portuguese language
(termFormat cb Making "paghimo") terms-cb.txt 400-400 "paghimo" is the printable form of making in cb
(termFormat cz Making "making") terms-cz.txt 434-434 "making" is the printable form of making in cz
(termFormat tg Making "pag-gawa") terms-tg.txt 399-399 "pag-gawa" is the printable form of making in tg

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


(domainSubclass MakingFn 1 Making) Merge.kif 18629-18629 The number 1 argument of MakingFn is a subclass of making

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


(=>
    (instance ?MAKING Making)
    (exists (?ARTIFACT)
        (and
            (instance ?ARTIFACT Artifact)
            (result ?MAKING ?ARTIFACT))))
Merge.kif 12606-12611

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


(=>
    (and
        (instance ?AS ArtSchool)
        (instance ?P EducationalProcess)
        (eventLocated ?P ?AS))
    (exists (?M ?ART)
        (and
            (instance ?M Making)
            (patient ?M ?ART)
            (instance ?ART ArtWork)
            (refers ?P ?M))))
Mid-level-ontology.kif 14104-14114
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG ?INDUSTRY)
        (industryProductType ?INDUSTRY ?TYPE))
    (exists (?EVENT ?ITEM)
        (and
            (instance ?EVENT Making)
            (instance ?ITEM ?TYPE)
            (agent ?EVENT ?ORG)
            (result ?EVENT ?ITEM))))
Economy.kif 1611-1621
(=>
    (attribute ?H Potter)
    (exists (?M ?P)
        (and
            (instance ?P Pottery)
            (instance ?M Making)
            (agent ?M ?H)
            (result ?M ?P))))
Mid-level-ontology.kif 18112-18119
(=>
    (attribute ?X AeronauticalEngineer)
    (exists (?SKILL)
        (and
            (hasSkill ?SKILL ?X)
            (forall (?P)
                (=>
                    (instance ?P ?SKILL)
                    (or
                        (exists (?CONS ?OBJ ?PT)
                            (and
                                (instance ?CONS Making)
                                (or
                                    (instance ?OBJ Aircraft)
                                    (and
                                        (instance ?OBJ ?PT)
                                        (typicalPart ?PT Aircraft)))
                                (result ?CONS ?OBJ)
                                (subProcess ?P ?CONS)))
                        (exists (?DESIGN ?PLAN ?OBJ ?PT)
                            (and
                                (instance ?DESIGN Designing)
                                (or
                                    (instance ?OBJ Aircraft)
                                    (and
                                        (instance ?OBJ ?PT)
                                        (typicalPart ?PT Aircraft)))
                                (result ?DESIGN ?PLAN)
                                (represents ?PLAN ?OBJ)
                                (subProcess ?P ?DESIGN)))))))))
Biography.kif 203-232
(=>
    (attribute ?X MeanOfProduction)
    (hasPurpose ?X
        (or
            (exists (?MAKE ?PRODUCT)
                (and
                    (instance ?MAKE Making)
                    (involvedInEvent ?MAKE ?X)
                    (not
                        (result ?MAKE ?X))
                    (instance ?PRODUCT Artifact)
                    (result ?MAKE ?PRODUCT)
                    (hasPurpose ?PRODUCT
                        (exists (?SELL)
                            (and
                                (instance ?SELL Selling)
                                (patient ?SELL ?PRODUCT))))))
            (exists (?SERVICE)
                (and
                    (instance ?SERVICE CommercialService)
                    (involvedInEvent ?SERVICE ?X))))))
Economy.kif 4632-4652
(=>
    (contestObject ?CONTEST ?OBJ ?AGENT)
    (and
        (contestParticipant ?CONTEST ?AGENT)
        (exists (?MAKE ?JUDGE ?PROC)
            (and
                (instance ?MAKE Making)
                (result ?MAKE ?OBJ)
                (agent ?MAKE ?AGENT)
                (instance ?PROC Judging)
                (agent ?PROC ?JUDGE)
                (patient ?PROC ?OBJ)
                (result ?PROC
                    (subjectiveAttribute ?OBJ ?ATTR ?JUDGE))
                (subProcess ?PROC ?CONTEST)))))
Dining.kif 840-853
(=>
    (instance ?ARTIFACT Artifact)
    (exists (?MAKING)
        (and
            (instance ?MAKING Making)
            (result ?MAKING ?ARTIFACT))))
Merge.kif 15676-15681
(=>
    (instance ?C ElectricCoffeeMaker)
    (hasPurpose ?C
        (exists (?COFFEE ?M)
            (and
                (instance ?M Making)
                (instrument ?M ?C)
                (result ?M ?COFFEE)
                (instance ?COFFEE Coffee)))))
Mid-level-ontology.kif 23064-23072
(=>
    (instance ?CLASS ArtMakingClass)
    (exists (?PROC ?ART)
        (and
            (instance ?PROC Making)
            (patient ?PROC ?ART)
            (instance ?ART ArtWork)
            (subProcess ?PROC ?CLASS))))
Offers.kif 220-227
(=>
    (instance ?CLASS WineMakingClass)
    (exists (?PROC ?WINE)
        (and
            (instance ?PROC Making)
            (result ?PROC ?WINE)
            (instance ?WINE Wine)
            (subProcess ?PROC ?CLASS))))
Offers.kif 245-252
(=>
    (instance ?F CottonFabric)
    (exists (?M ?C)
        (and
            (instance ?M Making)
            (resource ?M ?C)
            (instance ?C Cotton)
            (result ?M ?F))))
Mid-level-ontology.kif 5693-5700
(=>
    (instance ?HAY Hay)
    (exists (?MAKE ?GRASS)
        (and
            (instance ?MAKE Making)
            (resource ?MAKE ?GRASS)
            (instance ?GRASS Grass)
            (result ?MAKE ?HAY))))
Mid-level-ontology.kif 17807-17814
(=>
    (instance ?LEATHER Leather)
    (exists (?MAKE ?SKIN)
        (and
            (instance ?MAKE Making)
            (resource ?MAKE ?SKIN)
            (instance ?SKIN Skin)
            (result ?MAKE ?LEATHER))))
Mid-level-ontology.kif 5619-5626
(=>
    (instance ?MT MechanicalDie)
    (hasPurpose ?MT
        (exists (?M ?N)
            (and
                (instance ?M Making)
                (instance ?N MechanicalNut)
                (instrument ?M ?MT)
                (result ?M ?N)))))
Cars.kif 4224-4232
(=>
    (instance ?MT MechanicalTap)
    (hasPurpose ?MT
        (exists (?M ?B)
            (and
                (instance ?M Making)
                (instance ?B Bolt)
                (instrument ?M ?MT)
                (result ?M ?B)))))
Cars.kif 4210-4218
(=>
    (instance ?PM PastaMaker)
    (hasPurpose ?PM
        (exists (?MAKE ?PASTA)
            (and
                (instance ?MAKE Making)
                (result ?MAKE ?PASTA)
                (instance ?PASTA Pasta)
                (instrument ?MAKE ?PM)))))
Society.kif 772-780
(=>
    (instance ?PM PopcornMaker)
    (hasPurpose ?PM
        (exists (?MAKE ?POPCORN)
            (and
                (instance ?MAKE Making)
                (result ?MAKE ?POPCORN)
                (instance ?POPCORN Popcorn)
                (instrument ?MAKE ?PM)))))
Society.kif 788-796
(=>
    (instance ?PUB Brewpub)
    (exists (?SERVICE ?BEER ?BREW)
        (and
            (instance ?BREW Making)
            (result ?BREW ?BEER)
            (instance ?BEER Beer)
            (agent ?BREW ?PUB)
            (instance ?SERVICE CommercialService)
            (agent ?SERVICE ?PUB)
            (instance ?SERVICE Selling)
            (patient ?SERVICE ?BEER))))
Dining.kif 51-62
(=>
    (instance ?S Silk)
    (exists (?M ?T ?I)
        (and
            (instance ?M Making)
            (result ?M ?S)
            (resource ?M ?T)
            (part ?T ?I)
            (instance ?I Insect)
            (attribute ?I Larval))))
Mid-level-ontology.kif 5632-5641
(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))
Mid-level-ontology.kif 6513-6520
(=>
    (instance ?STUDIO ArtStudio)
    (hasPurpose ?STUDIO
        (exists (?MAKE ?WORK)
            (and
                (instance ?MAKE Making)
                (result ?MAKE ?WORK)
                (instance ?WORK ArtWork)))))
Mid-level-ontology.kif 6388-6395
(=>
    (instance ?W Winery)
    (hasPurpose ?W
        (exists (?EV)
            (and
                (instance ?EV Making)
                (eventLocated ?EV ?W)
                (result ?EV Wine)))))
Society.kif 1198-1205
(=>
    (instance ?W Wool)
    (exists (?M ?H ?S)
        (and
            (instance ?M Making)
            (result ?M ?W)
            (resource ?M ?H)
            (part ?H ?S)
            (instance ?H Hair)
            (instance ?S Sheep))))
Mid-level-ontology.kif 5646-5655
(=>
    (instance ?X Paper)
    (exists (?MAKE ?CELL ?PRESS)
        (and
            (instance ?MAKE Making)
            (instance ?CELL Cellulose)
            (instance ?PRESS Compressing)
            (resource ?MAKE ?CELL)
            (result ?MAKE ?X)
            (subProcess ?MAKE ?PRESS)
            (patient ?PRESS ?CELL))))
Mid-level-ontology.kif 4096-4106
(=>
    (instance ?X WetBar)
    (exists (?SINK ?OBJ)
        (and
            (instance ?SINK WashBasin)
            (part ?SINK ?X)
            (instance ?OBJ Object)
            (attribute ?OBJ Flat)
            (hasPurpose ?OBJ
                (exists (?PREP ?FOOD)
                    (and
                        (instance ?PREP Making)
                        (result ?PREP ?FOOD)
                        (or
                            (instance ?FOOD PreparedFood)
                            (instance ?FOOD Beverage))
                        (eventLocated ?PREP ?OBJ))))
            (part ?OBJ ?X))))
Mid-level-ontology.kif 24697-24714

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