appearance as argument number 1 |
![]() |
(disjoint Fabric StationaryArtifact) | Merge.kif 14746-14746 | Fabric is disjoint from stationary artifact |
(documentation Fabric ChineseLanguage "这是由天然或合成纤维所编织成或将某些 Animal 的皮加工所成 的 Artifact。注:这个 Class 包括把各种面料缝合而成的用品如:床罩。此外,Clothing 并非 Fabric 的 subclass,因为很多服装单品都有不属于面料的元件。") | chinese_format.kif 3609-3611 | |
(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 14747-14752 | |
(subclass Fabric Artifact) | Merge.kif 14745-14745 | Fabric is a subclass of artifact |
appearance as argument number 2 |
![]() |
(industryProductType FabricMills Fabric) | Economy.kif 1890-1890 | Fabric is an industry product type of fabric mills |
(subclass Bandage Fabric) | Mid-level-ontology.kif 5932-5932 | Bandage is a subclass of fabric |
(subclass Blanket Fabric) | Mid-level-ontology.kif 5682-5682 | Blanket is a subclass of fabric |
(subclass CottonFabric Fabric) | Mid-level-ontology.kif 5701-5701 | Cotton fabric is a subclass of fabric |
(subclass Curtain Fabric) | Mid-level-ontology.kif 12884-12884 | Curtain is a subclass of fabric |
(subclass Leather Fabric) | Mid-level-ontology.kif 5625-5625 | Leather is a subclass of fabric |
(subclass Pocket Fabric) | Mid-level-ontology.kif 5667-5667 | Pocket is a subclass of fabric |
(subclass Rug Fabric) | Mid-level-ontology.kif 5597-5597 | Rug is a subclass of fabric |
(subclass Silk Fabric) | Mid-level-ontology.kif 5638-5638 | Silk is a subclass of fabric |
(subclass Towel Fabric) | Mid-level-ontology.kif 5611-5611 | Towel is a subclass of fabric |
(subclass Wool Fabric) | Mid-level-ontology.kif 5653-5653 | Wool is a subclass of fabric |
(termFormat ChineseLanguage Fabric "织品") | chinese_format.kif 1054-1054 | |
(termFormat EnglishLanguage Fabric "fabric") | english_format.kif 1324-1324 |
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 23198-23209 |
|
consequent |
![]() |
![]() |
![]() |