| appearance as argument number 1 |
|
|
| (subclass Fabric Artifact) | Merge.kif 16051-16051 | Fabric is a subclass of artifact |
| (disjoint Fabric StationaryArtifact) | Merge.kif 16052-16052 | Fabric is disjoint from stationary artifact |
| (documentation Fabric EnglishLanguage "Artifacts that are created by weaving together natural or synthetic fibers or by treating the skins of certain sorts of Animals. Note that this Class includes articles that are created by stitching together various types of fabrics, e.g. bedspreads. On the other hand, Clothing is not a subclass of Fabric, because many clothing items contain elements that are not fabrics.") | Merge.kif 16053-16058 | Fabric is disjoint from stationary artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?I Ironing) (patient ?I ?OBJ) (part ?FABRIC ?OBJ) (instance ?FABRIC Fabric)) (exists (?IRON ?HEAT) (and (instance ?HEAT Heating) (patient ?HEAT ?IRON) (instance ?IRON FabricIron) (instrument ?I ?IRON)))) |
Mid-level-ontology.kif 27645-27656 | If X is an instance of ironing, Y is a patient of X, Z is a part of Y, and Z is an instance of fabric, then there exist W, V such that V is an instance of heating, W is a patient of V, W is an instance of iron, and W is an instrument for X |
| consequent |
|
|
| (=> (instance ?X SeatBelt) (exists (?BELT) (and (part ?BELT ?X) (attribute ?BELT Pliable) (material Fabric ?BELT)))) |
Cars.kif 3745-3751 | If X is an instance of seat belt, then there exists Y such that Y is a part of X, pliable is an attribute of Y, and Y is made of fabric |
| (=> (instance ?DEVICE ClothesWashingMachine) (hasPurpose ?DEVICE (exists (?CLOTH ?CLEANING) (and (or (instance ?CLOTH Fabric) (instance ?CLOTH Clothing)) (instance ?CLEANING Washing) (patient ?CLEANING ?CLOTH) (instrument ?CLEANING ?DEVICE))))) |
HouseholdAppliances.kif 660-670 | If X is an instance of clothes washing machine, then X has the purpose there exist Y, Z such that Y is an instance of fabric or Y is an instance of clothing, Z is an instance of washing, Y is a patient of Z, and X is an instrument for Z |
| (=> (instance ?CLOTHING Clothing) (modalAttribute (exists (?FABRIC) (and (instance ?FABRIC Fabric) (part ?FABRIC ?CLOTHING))) Likely)) |
Merge.kif 16103-16110 | If X is an instance of clothing, then the statement there exists Y such that Y is an instance of fabric and Y is a part of X has the modal force of likely |
| (=> (instance ?S String) (material Fabric ?S)) |
Mid-level-ontology.kif 4115-4117 | If X is an instance of string, then X is made of fabric |
| (=> (instance ?X Hammock) (and (material Fabric ?X) (exists (?POLE1 ?POLE2 ?GROUND) (and (orientation ?POLE1 ?POLE2 Near) (connected ?POLE1 ?X) (connected ?POLE2 ?X) (instance ?GROUND LandArea) (located ?X ?GROUND) (orientation ?X ?GROUND Above))))) |
Mid-level-ontology.kif 4418-4429 | If X is an instance of hammock, then X is made of fabric and All of the following hold: (1) there exist Y, Z (2) W such that Y is near to Z (3) Y is connected to X (4) Z is connected to X (5) W is an instance of land area (6) X is located at W (7) X is above to W |
| (=> (instance ?X BedLinen) (material Fabric ?X)) |
Mid-level-ontology.kif 4587-4589 | If X is an instance of bed linen, then X is made of fabric |
| (=> (instance ?TAPE Tape) (exists (?PART) (and (part ?PART ?TAPE) (or (instance ?PART Paper) (instance ?PART Fabric))))) |
Mid-level-ontology.kif 4690-4697 | If X is an instance of tape, then there exists Y such that Y is a part of X and Y is an instance of paper or Y is an instance of fabric |
| (=> (instance ?S Sewing) (exists (?F) (and (instance ?F Fabric) (patient ?S ?F)))) |
Mid-level-ontology.kif 6568-6573 | If X is an instance of sewing, then there exists Y such that Y is an instance of fabric and Y is a patient of X |
| (=> (instance ?S Sewing) (capability Fabric patient ?S)) |
Mid-level-ontology.kif 6575-6577 | If X is an instance of sewing, then X is capable of doing fabric as a patient |
| (=> (instance ?TENT Tent) (exists (?FABRIC) (and (instance ?FABRIC Fabric) (part ?FABRIC ?TENT)))) |
Mid-level-ontology.kif 8002-8007 | If X is an instance of tent, then there exists Y such that Y is an instance of fabric and Y is a part of X |
| (=> (instance ?FLAG Flag) (exists (?FABRIC) (and (instance ?FABRIC Fabric) (part ?FABRIC ?FLAG)))) |
Mid-level-ontology.kif 14723-14728 | If X is an instance of flag, then there exists Y such that Y is an instance of fabric and Y is a part of X |
| (=> (instance ?BOARD IroningBoard) (hasPurpose ?BOARD (exists (?IRON ?FABRIC ?OBJ) (and (instance ?IRON Ironing) (patient ?IRON ?OBJ) (part ?FABRIC ?OBJ) (instance ?FABRIC Fabric) (holdsDuring (WhenFn ?IRON) (orientation ?OBJ ?BOARD On)))))) |
Mid-level-ontology.kif 27583-27594 | If X is an instance of ironing board, then X has the purpose there exist Y, Z, W such that Y is an instance of ironing, W is a patient of Y, Z is a part of W, Z is an instance of fabric, and W is on to X holds during the time of existence of Y |
| (=> (instance ?SAIL Sail) (exists (?MAST) (and (material Fabric ?SAIL) (instance ?MAST Mast) (connected ?SAIL ?MAST)))) |
Mid-level-ontology.kif 28996-29002 | If X is an instance of sail, then there exists Y such that X is made of fabric, Y is an instance of mast, and X is connected to Y |
| (=> (and (instance ?ORG Organization) (attribute ?ORG TextileMills)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING Fabric) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 1944-1960 | If X is an instance of organization and textile mills is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of fabric (7) W is a patient of Y (8) V is a member of X (9) U is an instance of selling (10) V is an agent of U (11) W is a patient of U |
| (=> (and (instance ?ORG Organization) (attribute ?ORG TextileProductMills)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING Fabric) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 2085-2101 | If X is an instance of organization and textile product mills is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of fabric (7) W is a patient of Y (8) V is a member of X (9) U is an instance of selling (10) V is an agent of U (11) W is a patient of U |
| (=> (and (instance ?ORG Organization) (attribute ?ORG LeatherAndAlliedProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (or (instance ?THING Clothing) (instance ?THING Fabric)) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 2457-2475 | If X is an instance of organization and leather and allied product manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of clothing or W is an instance of fabric (7) W is a patient of Y (8) V is a member of X (9) U is an instance of selling (10) V is an agent of U (11) W is a patient of U |
|
|
|