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, 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, craft, create_from_raw_material...

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


(documentation Making ChineseLanguage "这是制作个别 Artifact 或一种 ArtifactCreation subclass。") Merge.kif 12740-12741
(documentation Making EnglishLanguage "The subclass of Creation in which an individual Artifact or a type of Artifact is made.") Merge.kif 12738-12739
(subclass Making Creation) Merge.kif 12736-12736 Making is a subclass of creation
(subclass Making IntentionalProcess) Merge.kif 12737-12737 Making is a subclass of intentional process

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


(subclass Carpentry Making) Mid-level-ontology.kif 18443-18443 Carpentry is a subclass of making
(subclass Constructing Making) Merge.kif 12750-12750 Constructing is a subclass of making
(subclass Cooking Making) Merge.kif 12782-12782 Cooking is a subclass of making
(subclass Copying Making) Mid-level-ontology.kif 18175-18175 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 12763-12763 Manufacture is a subclass of making
(subclass Photocopying Making) Mid-level-ontology.kif 24384-24384 Photocopying is a subclass of making
(subclass Sculpting Making) Mid-level-ontology.kif 3815-3815 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

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


(domainSubclass MakingFn 1 Making) Merge.kif 18767-18767 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 12743-12748

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 14364-14374
(=>
    (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 18531-18538
(=>
    (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 15813-15818
(=>
    (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 23456-23464
(=>
    (instance ?F CottonFabric)
    (exists (?M ?C)
        (and
            (instance ?M Making)
            (resource ?M ?C)
            (instance ?C Cotton)
            (result ?M ?F))))
Mid-level-ontology.kif 5697-5704
(=>
    (instance ?HAY Hay)
    (exists (?MAKE ?GRASS)
        (and
            (instance ?MAKE Making)
            (resource ?MAKE ?GRASS)
            (instance ?GRASS Grass)
            (result ?MAKE ?HAY))))
Mid-level-ontology.kif 18166-18173
(=>
    (instance ?LEATHER Leather)
    (exists (?MAKE ?SKIN)
        (and
            (instance ?MAKE Making)
            (resource ?MAKE ?SKIN)
            (instance ?SKIN Skin)
            (result ?MAKE ?LEATHER))))
Mid-level-ontology.kif 5623-5630
(=>
    (instance ?MT MechanicalDie)
    (hasPurpose ?MT
        (exists (?M ?N)
            (and
                (instance ?M Making)
                (instance ?N MechanicalNut)
                (instrument ?M ?MT)
                (result ?M ?N)))))
Cars.kif 4183-4191
(=>
    (instance ?MT MechanicalTap)
    (hasPurpose ?MT
        (exists (?M ?B)
            (and
                (instance ?M Making)
                (instance ?B Bolt)
                (instrument ?M ?MT)
                (result ?M ?B)))))
Cars.kif 4169-4177
(=>
    (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 5636-5645
(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))
Mid-level-ontology.kif 6517-6524
(=>
    (instance ?STUDIO ArtStudio)
    (hasPurpose ?STUDIO
        (exists (?MAKE ?WORK)
            (and
                (instance ?MAKE Making)
                (result ?MAKE ?WORK)
                (instance ?WORK ArtWork)))))
Mid-level-ontology.kif 6392-6399
(=>
    (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 5650-5659
(=>
    (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 4100-4110
(=>
    (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 25138-25155
(=>
    (yearBuilt ?OBJ ?YEAR)
    (exists (?TIME ?MAKE)
        (and
            (instance ?TIME ?YEAR)
            (instance ?MAKE Making)
            (result ?MAKE ?OBJ)
            (temporallyBetweenOrEqual
                (BeginFn ?TIME)
                (EndFn
                    (WhenFn ?REPAIR))
                (EndFn ?TIME)))))
Hotel.kif 694-704


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