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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Making
Makingإِبْداع, اِبْتِكار, نشاط إِبْداعِي, تكْوِيِن, خَلْق, نحْت, نقْش, ...

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
(subclass Making IntentionalProcess) Merge.kif 12600-12600

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


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

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


(domainSubclass MakingFn 1 Making) Merge.kif 18629-18629

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