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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Furniture
Furniture

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


(disjoint Furniture AutonomousAgent) Mid-level-ontology.kif 3686-3686 Furniture est disjoint de AutonomousAgent
(disjoint Furniture EngineeringComponent) Mid-level-ontology.kif 3682-3682 Furniture est disjoint de composant d'un appareil
(disjoint Furniture Machine) Mid-level-ontology.kif 3683-3683 Furniture est disjoint de machine
(disjoint Furniture TransportationDevice) Mid-level-ontology.kif 3684-3684 Furniture est disjoint de v�hicule de transport
(disjoint Furniture Weapon) Mid-level-ontology.kif 3685-3685 Furniture est disjoint de arme
(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 3664-3668
(externalImage Furniture "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ Chippendale_Desk.jpg") pictureList-ImageNet.kif 429-429
(externalImage Furniture "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ working/ businesses/ furniture.png") pictureList.kif 450-450
(subclass Furniture Artifact) Mid-level-ontology.kif 3662-3662 Furniture est une sous-classe de artefact

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


(industryProductType FurnitureManufacturing Furniture) Economy.kif 1772-1772 industryProductType FurnitureManufacturing and Furniture
(subclass Bed Furniture) Mid-level-ontology.kif 3736-3736 Bed est une sous-classe de Furniture
(subclass ChestOrCabinet Furniture) Mid-level-ontology.kif 4116-4116 ChestOrCabinet est une sous-classe de Furniture
(subclass ContainerChest Furniture) Mid-level-ontology.kif 3950-3950 ContainerChest est une sous-classe de Furniture
(subclass Seat Furniture) Mid-level-ontology.kif 3688-3688 Seat est une sous-classe de Furniture
(subclass Table Furniture) Mid-level-ontology.kif 4108-4108 Table est une sous-classe de Furniture
(termFormat ChineseLanguage Furniture "家具") domainEnglishFormat.kif 25259-25259
(termFormat ChineseTraditionalLanguage Furniture "家具") domainEnglishFormat.kif 25258-25258
(termFormat EnglishLanguage Furniture "furniture") domainEnglishFormat.kif 25257-25257

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


(=>
    (instance ?F Furniture)
    (capability Translocation moves ?F))
Mid-level-ontology.kif 3678-3680
(=>
    (instance ?F Furniture)
    (hasPurpose ?F
        (exists (?FL)
            (and
                (instance ?FL Floor)
                (meetsSpatially ?F ?FL)))))
Mid-level-ontology.kif 3670-3676

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 7125-7137
(=>
    (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 5994-6010
(=>
    (instance ?S Shelf)
    (exists (?F)
        (and
            (instance ?F Furniture)
            (part ?S ?F))))
Mid-level-ontology.kif 1531-1536


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 3.0 is open source software produced by Articulate Software and its partners