Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| (subclass Making Creation) | Merge.kif 13102-13102 | Making is a subclass of creation |
| (subclass Making IntentionalProcess) | Merge.kif 13103-13103 | Making is a subclass of intentional process |
| (documentation Making EnglishLanguage "The subclass of Creation in which an individual Artifact or a type of Artifact is made.") | Merge.kif 13104-13105 | Making is a subclass of intentional process |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass MakingFn 1 Making) | Merge.kif 18719-18719 | The number 1 argument of Making fn is a subclass of making |
| antecedent |
|
|
| (=> (instance ?MAKING Making) (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (result ?MAKING ?ARTIFACT)))) |
Merge.kif 13107-13112 | If X is an instance of making, then there exists Y such that Y is an instance of artifact and Y is a result of X |
| consequent |
|
|
| (=> (instance ?ARTIFACT Artifact) (exists (?MAKING) (and (instance ?MAKING Making) (result ?MAKING ?ARTIFACT)))) |
Merge.kif 15970-15975 | If X is an instance of artifact, then there exists Y such that Y is an instance of making and X is a result of Y |
| (=> (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 4208-4218 | If X is an instance of paper, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of making (3) Z is an instance of cellulose (4) W is an instance of compressing (5) Z is a resource for Y (6) X is a result of Y (7) Y is a subprocess of W (8) Z is a patient of W |
| (=> (instance ?LEATHER Leather) (exists (?MAKE ?SKIN) (and (instance ?MAKE Making) (resource ?MAKE ?SKIN) (instance ?SKIN Skin) (result ?MAKE ?LEATHER)))) |
Mid-level-ontology.kif 6497-6504 | If X is an instance of leather, then there exist Y, Z such that Y is an instance of making, Z is a resource for Y, Z is an instance of skin, and X is a result of Y |
| (=> (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 6510-6519 | If X is an instance of silk, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of making (3) X is a result of Y (4) Z is a resource for Y (5) Z is a part of W (6) W is an instance of insect (7) larval is an attribute of W |
| (=> (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 6524-6533 | If X is an instance of wool, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of making (3) X is a result of Y (4) Z is a resource for Y (5) Z is a part of W (6) Z is an instance of hair (7) W is an instance of sheep |
| (=> (instance ?F CottonFabric) (exists (?M ?C) (and (instance ?M Making) (resource ?M ?C) (instance ?C Cotton) (result ?M ?F)))) |
Mid-level-ontology.kif 6572-6579 | If X is an instance of cotton fabric, then there exist Y, Z such that Y is an instance of making, Z is a resource for Y, Z is an instance of cotton, and X is a result of Y |
| (=> (instance ?STUDIO ArtStudio) (hasPurpose ?STUDIO (exists (?MAKE ?WORK) (and (instance ?MAKE Making) (result ?MAKE ?WORK) (instance ?WORK ArtWork))))) |
Mid-level-ontology.kif 7821-7828 | If X is an instance of art studio, then X has the purpose there exist Y, Z such that Y is an instance of making, Z is a result of Y, and Z is an instance of art work |
| (=> (instance ?S Workshop) (hasPurpose ?S (exists (?M ?W) (and (instance ?M Making) (result ?M ?W) (instance ?W Artifact))))) |
Mid-level-ontology.kif 8174-8181 | If X is an instance of workshop, then X has the purpose there exist Y, Z such that Y is an instance of making, Z is a result of Y, and Z is an instance of artifact |
| (=> (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 18380-18390 | If X is an instance of art school, Y is an instance of educational process, and Y is located at X, then there exist Z, W such that Z is an instance of making, W is a patient of Z, W is an instance of art work, and Y includes a reference to Z |
| (=> (instance ?HAY Hay) (exists (?MAKE ?GRASS) (and (instance ?MAKE Making) (resource ?MAKE ?GRASS) (instance ?GRASS Grass) (result ?MAKE ?HAY)))) |
Mid-level-ontology.kif 22645-22652 | If X is an instance of hay, then there exist Y, Z such that Y is an instance of making, Z is a resource for Y, Z is an instance of grass plant, and X is a result of Y |
| (=> (attribute ?H Potter) (exists (?M ?P) (and (instance ?P Pottery) (instance ?M Making) (agent ?M ?H) (result ?M ?P)))) |
Mid-level-ontology.kif 23109-23116 | If potter is an attribute of X, then there exist Y, Z such that Z is an instance of pottery, Y is an instance of making, X is an agent of Y, and Z is a result of Y |
| (=> (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 444-473 | If aeronautical engineer is an attribute of X, then All of the following hold: (1) there exists Y such that X has the skill to do Y (2) Z Z is an instance of Ythere exist W, V (3) U such that W is an instance of making (4) V is an instance of aircraft or V is an instance of U (5) a U is typically a part of a aircraft (6) V is a result of W (7) Z is a subprocess of W or there exist T, S,, , V (8) U such that T is an instance of designing (9) V is an instance of aircraft or V is an instance of U (10) a U is typically a part of a aircraft (11) S is a result of T (12) S expresses V (13) Z is a subprocess of T |
| (=> (instance ?MT MechanicalTap) (hasPurpose ?MT (exists (?M ?B) (and (instance ?M Making) (instance ?B Bolt) (instrument ?M ?MT) (result ?M ?B))))) |
Cars.kif 4112-4120 | If X is an instance of tap, then X has the purpose there exist Y, Z such that Y is an instance of making, Z is an instance of bolt, X is an instrument for Y, and Z is a result of Y |
| (=> (instance ?MT MechanicalDie) (hasPurpose ?MT (exists (?M ?N) (and (instance ?M Making) (instance ?N MechanicalNut) (instrument ?M ?MT) (result ?M ?N))))) |
Cars.kif 4126-4134 | If X is an instance of die, then X has the purpose there exist Y, Z such that Y is an instance of making, Z is an instance of nut, X is an instrument for Y, and Z is a result of Y |
| (=> (thirdPartyProduct ?ART ?ORG ?AG) (not (exists (?M) (and (instance ?M Making) (agent ?M ?ORG) (result ?M ?ART))))) |
ComputingBrands.kif 3838-3845 | If X is a product owned by Y but not manufactured by Z, then there doesn't exist W such that W is an instance of making, Z is an agent of W, and X is a result of W |
| (=> (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 | If X is an instance of Brewpub, then All of the following hold: (1) there exist Y, Z (2) W such that W is an instance of making (3) Z is a result of W (4) Z is an instance of beer (5) X is an agent of W (6) Y is an instance of commercial service (7) X is an agent of Y (8) Y is an instance of selling (9) Z is a patient of Y |
| (=> (contestObject ?CONTEST ?OBJ ?AGENT) (and (contestParticipant ?CONTEST ?AGENT) (exists (?MAKE ?JUDGE ?PROC ?AFTR) (and (instance ?MAKE Making) (result ?MAKE ?OBJ) (agent ?MAKE ?AGENT) (instance ?PROC Judging) (agent ?PROC ?JUDGE) (patient ?PROC ?OBJ) (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (subjectiveAttribute ?OBJ ?AFTR ?JUDGE)) (subProcess ?PROC ?CONTEST))))) |
Dining.kif 883-899 | If X entered Y in Z, then X participates in Z and All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of making (3) Y is a result of W (4) X is an agent of W (5) U is an instance of judging (6) V is an agent of U (7) Y is a patient of U (8) V believes Y is T holds during immediately after the time of existence of U (9) U is a subprocess of Z |
| (=> (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 1727-1737 | If X is an instance of organization, Y is an attribute of X, and Z is an industry product type of Y, then there exist W, V such that W is an instance of making, V is an instance of Z, X is an agent of W, and V is a result of W |
| (=> (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 6108-6128 | If mean of production is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of making (3) X is an involved in event of Y (4) X is not a result of Y (5) Z is an instance of artifact (6) Z is a result of Y (7) Z has the purpose there exists W such that W is an instance of selling (8) Z is a patient of W or there exists V such that V is an instance of commercial service (9) X is an involved in event of V |
| (=> (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)))) |
Food.kif 313-330 | If X is an instance of wet bar, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of wash basin (3) Y is a part of X (4) Z is an instance of object (5) flat is an attribute of Z (6) Z has the purpose there exist W (7) V such that W is an instance of making (8) V is a result of W (9) V is an instance of food or V is an instance of beverage (10) W is located at Z (11) Z is a part of X |
| (=> (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 729-739 | If X was built in Y, then there exist Z, W such that Z is an instance of Y, W is an instance of making, X is a result of W, the end of the time of existence of W is between or at the beginning of Z, and the end of Z |
| (=> (and (instance ?P ThreeDPrinting) (instance ?O Artifact) (result ?P ?O)) (exists (?A ?X ?B ?Y) (and (instance ?A Making) (subProcess ?A ?P) (instance ?X SelfConnectedObject) (part ?X ?O) (result ?A ?X) (instance ?B Making) (subProcess ?B ?P) (instance ?Y SelfConnectedObject) (part ?Y ?O) (overlapsSpatially ?X ?Y) (orientation ?X ?Y Below) (during (WhenFn ?A) (WhenFn ?P)) (during (WhenFn ?B) (WhenFn ?P)) (earlier (WhenFn ?A) (WhenFn ?B))))) |
QoSontology.kif 523-549 | If X is an instance of 3D printing, Y is an instance of artifact, and Y is a result of X, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of making (3) Z is a subprocess of X (4) W is an instance of self connected object (5) W is a part of Y (6) W is a result of Z (7) V is an instance of making (8) V is a subprocess of X (9) U is an instance of self connected object (10) U is a part of Y (11) W (12) U overlapsSpatially (13) W is below to U (14) the time of existence of Z takes place during the time of existence of X (15) the time of existence of V takes place during the time of existence of X (16) the time of existence of Z happens earlier than the time of existence of V |
| (=> (instance ?CLASS ArtMakingClass) (exists (?PROC ?ART) (and (instance ?PROC Making) (patient ?PROC ?ART) (instance ?ART ArtWork) (subProcess ?PROC ?CLASS)))) |
Offers.kif 232-239 | If X is an instance of ArtMakingClass, then there exist Y, Z such that Y is an instance of making, Z is a patient of Y, Z is an instance of art work, and Y is a subprocess of X |
| (=> (instance ?CLASS WineMakingClass) (exists (?PROC ?WINE) (and (instance ?PROC Making) (result ?PROC ?WINE) (instance ?WINE Wine) (subProcess ?PROC ?CLASS)))) |
Offers.kif 257-264 | If X is an instance of WineMakingClass, then there exist Y, Z such that Y is an instance of making, Z is a result of Y, Z is an instance of wine, and Y is a subprocess of X |
| (=> (instance ?PM PastaMaker) (hasPurpose ?PM (exists (?MAKE ?PASTA) (and (instance ?MAKE Making) (result ?MAKE ?PASTA) (instance ?PASTA Pasta) (instrument ?MAKE ?PM))))) |
Society.kif 774-782 | If X is an instance of PastaMaker, then X has the purpose there exist Y, Z such that Y is an instance of making, Z is a result of Y, Z is an instance of pasta, and X is an instrument for Y |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|