| Furniture(furniture)
| | article_of_furniture, bedroom_furniture, bookcase, dining-room_furniture, furniture, lawn_furniture, piece_of_furniture, sectional, sleeper |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (subclass Seat Furniture) | Mid-level-ontology.kif 4176-4176 | Seat is a subclass of furniture |
| (subclass Bed Furniture) | Mid-level-ontology.kif 4229-4229 | Bed is a subclass of furniture |
| (subclass Table Furniture) | Mid-level-ontology.kif 4601-4601 | Table is a subclass of furniture |
| (subclass ChestOrCabinet Furniture) | Mid-level-ontology.kif 4609-4609 | Chest or cabinet is a subclass of furniture |
| (industryProductType FurnitureManufacturing Furniture) | Economy.kif 1876-1876 | Furniture is an industry product type of furniture manufacturing |
| (termFormat EnglishLanguage Furniture "furniture") | domainEnglishFormat.kif 25252-25252 | Furniture is an industry product type of furniture manufacturing |
| (termFormat ChineseTraditionalLanguage Furniture "家具") | domainEnglishFormat.kif 25253-25253 | Furniture is an industry product type of furniture manufacturing |
| (termFormat ChineseLanguage Furniture "家具") | domainEnglishFormat.kif 25254-25254 | Furniture is an industry product type of furniture manufacturing |
| antecedent |
|
|
| (=> (instance ?F Furniture) (hasPurpose ?F (exists (?FL) (and (instance ?FL Floor) (meetsSpatially ?F ?FL))))) |
Mid-level-ontology.kif 4158-4164 | If X is an instance of furniture, then X has the purpose there exists Y such that Y is an instance of floor and X meets Y |
| (=> (instance ?F Furniture) (capability Translocation moves ?F)) |
Mid-level-ontology.kif 4166-4168 | If X is an instance of furniture, then X is capable of doing translocation as a moves |
| consequent |
|
|
| (=> (instance ?S Shelf) (exists (?F) (and (instance ?F Furniture) (part ?S ?F)))) |
Mid-level-ontology.kif 1794-1799 | If X is an instance of shelf, then there exists Y such that Y is an instance of furniture and X is a part of Y |
| (=> (instance ?MFurniture MassFurniture) (exists (?MANUFACTURE) (and (instance ?MANUFACTURE FurnitureManufacture) (instance ?MFurniture Furniture) (result ?MANUFACTURE ?MFurniture)))) |
Society.kif 606-612 | If X is an instance of MassFurniture, then there exists Y such that Y is an instance of FurnitureManufacture, X is an instance of furniture, and X is a result of Y |
| (=> (and (instance ?ORG Organization) (attribute ?ORG FurnitureAndRelatedProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING Furniture) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 5991-6007 | If X is an instance of organization and furniture and related 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 furniture (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 FurnitureAndHomeFurnishingsStores)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (instance ?THING Furniture) (patient ?EV ?THING)))))) |
naics.kif 7122-7134 | If X is an instance of organization and furniture and home furnishings stores is an attribute of X, then there exist Y, Z such that Z is a member of X, Y is an agent of Z, there exists W such that Y is an instance of selling, W is an instance of furniture, and W is a patient of Y |
|
|
|