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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Making
Making

VerbNet: other_cos-45.4|alter, build-26.1|assemble, knead-26.5|beat, fill-9.8|frame, build-26.1|make, butter-9.9|caulk, build-26.1|mold, butter-9.9|caulk, carve-21.2|cleave, amalgamate-22.2|consolidate, build-26.1|make, create-26.4|craft, build-26.1|crochet, build-26.1|cut, rummage-35.5|delve, rummage-35.5|delve, build-26.1|develop, rummage-35.5|delve, build-26.1|make, remove-10.1|extrude, build-26.1|forge, fill-9.8|pad, build-26.1|shape, build-26.1|shape, fill-9.8|frame, fill-9.8|interweave, touch-20|knead, build-26.1|knit, build-26.1|make, build-26.1|mold, build-26.1|mold, fill-9.8|pad, build-26.1|assemble, braid-41.2.2|braid, build-26.1|assemble, butter-9.9|putty, build-26.1|reassemble, put-9.1|set, build-26.1|assemble, build-26.1|sew, build-26.1|shape, build-26.1|spin, remove-10.1|extrude, build-26.1|assemble, build-26.1|assemble, build-26.1|cut, build-26.1|sew, build-26.1|weave, image_impression-25.1|tool, rummage-35.5|delve, ...


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


(documentation Making ChineseLanguage "这是制作个别 Artifact 或一种 Artifact 的 Creation subclass。") chinese_format.kif 3217-3218
(documentation Making EnglishLanguage "The subclass of Creation in which an individual Artifact or a type of Artifact is made.") Merge.kif 11878-11879
(subclass Making Creation) Merge.kif 11876-11876 subclass Making and Creation
(subclass Making IntentionalProcess) Merge.kif 11877-11877 subclass Making and IntentionalProcess

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


(subclass Carpentry Making) Mid-level-ontology.kif 18470-18470 subclass Carpentry and Making
(subclass Constructing Making) Merge.kif 11888-11888 subclass Constructing and Making
(subclass Cooking Making) Merge.kif 11915-11915 subclass Cooking and Making
(subclass Copying Making) Mid-level-ontology.kif 18202-18202 subclass Copying and Making
(subclass DeliveringWeaponOfMassDestruction Making) WMD.kif 698-698 subclass DeliveringWeaponOfMassDestruction and Making
(subclass DevelopingWeaponOfMassDestruction Making) WMD.kif 681-681 subclass DevelopingWeaponOfMassDestruction and Making
(subclass Manufacture Making) Merge.kif 11899-11899 subclass Manufacture and Making
(subclass Photocopying Making) Mid-level-ontology.kif 24422-24422 subclass Photocopying and Making
(subclass Sculpting Making) Mid-level-ontology.kif 3817-3817 subclass Sculpting and Making
(termFormat ChineseLanguage Making "制作") chinese_format.kif 1185-1185
(termFormat EnglishLanguage Making "making") english_format.kif 1592-1592

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


(domainSubclass MakingFn 1 Making) Merge.kif 17001-17001 domainSubclass MakingFn, 1 and Making

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


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

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 14390-14400
(=>
    (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 18558-18565
(=>
    (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 836-849
(=>
    (instance ?ARTIFACT Artifact)
    (exists (?MAKING)
        (and
            (instance ?MAKING Making)
            (result ?MAKING ?ARTIFACT))))		 Merge.kif 14531-14536
(=>
    (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 23494-23502
(=>
    (instance ?F CottonFabric)
    (exists (?M ?C)
        (and
            (instance ?M Making)
            (resource ?M ?C)
            (instance ?C Cotton)
            (result ?M ?F))))		 Mid-level-ontology.kif 5703-5710
(=>
    (instance ?HAY Hay)
    (exists (?MAKE ?GRASS)
        (and
            (instance ?MAKE Making)
            (resource ?MAKE ?GRASS)
            (instance ?GRASS Grass)
            (result ?MAKE ?HAY))))		 Mid-level-ontology.kif 18193-18200
(=>
    (instance ?LEATHER Leather)
    (exists (?MAKE ?SKIN)
        (and
            (instance ?MAKE Making)
            (resource ?MAKE ?SKIN)
            (instance ?SKIN Skin)
            (result ?MAKE ?LEATHER))))		 Mid-level-ontology.kif 5629-5636
(=>
    (instance ?MT MechanicalDie)
    (hasPurpose ?MT
        (exists (?M ?N)
            (and
                (instance ?M Making)
                (instance ?N MechanicalNut)
                (instrument ?M ?MT)
                (result ?M ?N)))))		 Cars.kif 4193-4201
(=>
    (instance ?MT MechanicalTap)
    (hasPurpose ?MT
        (exists (?M ?B)
            (and
                (instance ?M Making)
                (instance ?B Bolt)
                (instrument ?M ?MT)
                (result ?M ?B)))))		 Cars.kif 4179-4187
(=>
    (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 5642-5651
(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))		 Mid-level-ontology.kif 6497-6504
(=>
    (instance ?STUDIO ArtStudio)
    (hasPurpose ?STUDIO
        (exists (?MAKE ?WORK)
            (and
                (instance ?MAKE Making)
                (result ?MAKE ?WORK)
                (instance ?WORK ArtWork)))))		 Mid-level-ontology.kif 6372-6379
(=>
    (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 5656-5665
(=>
    (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 4102-4112
(=>
    (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 25176-25193
(=>
    (thirdPartyProduct ?ART ?ORG ?AG)
    (not
        (exists (?M)
            (and
                (instance ?M Making)
                (agent ?M ?ORG)
                (result ?M ?ART)))))		 ComputingBrands.kif 3852-3859
(=>
    (yearBuilt ?OBJ ?YEAR)
    (exists (?TIME ?MAKE)
        (and
            (instance ?TIME ?YEAR)
            (instance ?MAKE Making)
            (result ?MAKE ?OBJ)
            (temporallyBetweenOrEqual
                (BeginFn ?TIME)
                (EndFn
                    (WhenFn ?MAKE))
                (EndFn ?TIME)))))		 Hotel.kif 698-708


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 3.0 is open source software produced by Articulate Software and its partners