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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Furniture

Sigma KEE - Furniture
Furniture

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


(disjoint Furniture AutonomousAgent) Mid-level-ontology.kif 3679-3679
(disjoint Furniture EngineeringComponent) Mid-level-ontology.kif 3675-3675
(disjoint Furniture Machine) Mid-level-ontology.kif 3676-3676
(disjoint Furniture TransportationDevice) Mid-level-ontology.kif 3677-3677
(disjoint Furniture Weapon) Mid-level-ontology.kif 3678-3678
(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 3657-3661
(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 3655-3655

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


(industryProductType FurnitureManufacturing Furniture) Economy.kif 1767-1767
(subclass Bed Furniture) Mid-level-ontology.kif 3729-3729
(subclass ChestOrCabinet Furniture) Mid-level-ontology.kif 4109-4109
(subclass ContainerChest Furniture) Mid-level-ontology.kif 3943-3943
(subclass Seat Furniture) Mid-level-ontology.kif 3681-3681
(subclass Table Furniture) Mid-level-ontology.kif 4101-4101
(termFormat ChineseLanguage Furniture "家具") domainEnglishFormat.kif 25240-25240
(termFormat ChineseTraditionalLanguage Furniture "家具") domainEnglishFormat.kif 25239-25239
(termFormat EnglishLanguage Furniture "furniture") domainEnglishFormat.kif 25238-25238

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


(=>
    (instance ?F Furniture)
    (capability Translocation moves ?F))
Mid-level-ontology.kif 3671-3673
(=>
    (instance ?F Furniture)
    (hasPurpose ?F
        (exists (?FL)
            (and
                (instance ?FL Floor)
                (meetsSpatially ?F ?FL)))))
Mid-level-ontology.kif 3663-3669

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 1526-1531


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

Show without tree


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