Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Fabric
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Fabric Artifact) | Merge.kif 16196-16196 | Fabric is a subclass of artifact |
| (disjoint Fabric StationaryArtifact) | Merge.kif 16197-16197 | 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 16198-16203 | 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 27584-27595 | 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 ?CLOTHING Clothing) (modalAttribute (exists (?FABRIC) (and (instance ?FABRIC Fabric) (part ?FABRIC ?CLOTHING))) Likely)) |
Merge.kif 16249-16256 | 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 Strap) (modalAttribute (material Fabric ?S) Likely)) |
Mid-level-ontology.kif 1750-1752 | If X is an instance of strap, then the statement X is made of fabric has the modal force of likely |
| (=> (instance ?S String) (material Fabric ?S)) |
Mid-level-ontology.kif 4301-4303 | 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 4604-4615 | 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 4773-4775 | 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 4876-4883 | 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 6731-6736 | 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 6738-6740 | 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 8139-8144 | 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 14819-14824 | 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 27522-27533 | 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 28904-28910 | 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 |
| (=> (instance ?X SeatBelt) (exists (?BELT) (and (part ?BELT ?X) (attribute ?BELT Pliable) (material Fabric ?BELT)))) |
Cars.kif 3535-3541 | 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 |
| (=> (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 1938-1954 | 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 2079-2095 | 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 2451-2469 | 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 |
|