Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Furniture
Furniture(furniture)
article_of_furniture, bedroom_furniture, dining-room_furniture, furniture, lawn_furniture, piece_of_furniture, sectional, sleeper

appearance as argument number 1
-------------------------


(disjoint Furniture EngineeringComponent) Mid-level-ontology.kif 4241-4241 Furniture is disjoint from engineering component
(disjoint Furniture Machine) Mid-level-ontology.kif 4242-4242 Furniture is disjoint from machine
(disjoint Furniture TransportationDevice) Mid-level-ontology.kif 4243-4243 Furniture is disjoint from transportation device
(disjoint Furniture Weapon) Mid-level-ontology.kif 4244-4244 Furniture is disjoint from weapon
(documentation Furniture EnglishLanguage "Any free-standing and movable Artifacts which which are used in day-to-day living and designed to rest on the Floor of a Room. This excludes items such as a rock which may serve as a chair but was not created with the intention of supporting that use.") Mid-level-ontology.kif 4223-4227
(externalImage Furniture "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ Chippendale_Desk.jpg") pictureList-ImageNet.kif 430-430 "http://upload.wikimedia.org/wikipedia/commons/f/f1/ Chippendale_Desk.jpg" is a URL depicting furniture
(externalImage Furniture "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ working/ businesses/ furniture.png") pictureList.kif 450-450 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ working/ businesses/ furniture.png" is a URL depicting furniture
(subclass Furniture Artifact) Mid-level-ontology.kif 4221-4221 Furniture is a subclass of artifact

appearance as argument number 2
-------------------------


(industryProductType FurnitureManufacturing Furniture) Economy.kif 1760-1760 Furniture is an industry product type of furniture manufacturing
(subclass Bed Furniture) Mid-level-ontology.kif 4294-4294 Bed is a subclass of furniture
(subclass ChestOrCabinet Furniture) Mid-level-ontology.kif 4619-4619 Chest or cabinet is a subclass of furniture
(subclass Seat Furniture) Mid-level-ontology.kif 4246-4246 Seat is a subclass of furniture
(subclass Table Furniture) Mid-level-ontology.kif 4611-4611 Table is a subclass of furniture
(termFormat EnglishLanguage Furniture "furniture") domainEnglishFormat.kif 4630-4630 "furniture" is the printable form of furniture in english language

antecedent
-------------------------


(=>
    (instance ?F Furniture)
    (capability Translocation moves ?F))
Mid-level-ontology.kif 4237-4239
(=>
    (instance ?F Furniture)
    (hasPurpose ?F
        (exists (?FL)
            (and
                (instance ?FL Floor)
                (meetsSpatially ?F ?FL)))))
Mid-level-ontology.kif 4229-4235

consequent
-------------------------


(=>
    (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 7132-7144
(=>
    (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 6001-6017
(=>
    (instance ?MFurniture MassFurniture)
    (exists (?MANUFACTURE)
        (and
            (instance ?MANUFACTURE FurnitureManufacture)
            (instance ?MFurniture Furniture)
            (result ?MANUFACTURE ?MFurniture))))
Society.kif 604-610
(=>
    (instance ?S Shelf)
    (exists (?F)
        (and
            (instance ?F Furniture)
            (part ?S ?F))))
Mid-level-ontology.kif 1968-1973


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners