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 4183-4183
(disjoint Furniture EngineeringComponent) Mid-level-ontology.kif 4179-4179
(disjoint Furniture Machine) Mid-level-ontology.kif 4180-4180
(disjoint Furniture TransportationDevice) Mid-level-ontology.kif 4181-4181
(disjoint Furniture Weapon) Mid-level-ontology.kif 4182-4182
(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 4161-4165
(externalImage Furniture "http://articulatesoftware.com/SUMOpictures/working/ businesses/ furniture.png") pictureList.kif 450-450
(externalImage Furniture "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ Chippendale_Desk.jpg") pictureList-ImageNet.kif 429-429
(subclass Furniture Artifact) Mid-level-ontology.kif 4159-4159

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


(industryProductType FurnitureManufacturing Furniture) Economy.kif 1881-1881
(subclass Bed Furniture) Mid-level-ontology.kif 4238-4238
(subclass ChestOrCabinet Furniture) Mid-level-ontology.kif 4618-4618
(subclass Seat Furniture) Mid-level-ontology.kif 4185-4185
(subclass Table Furniture) Mid-level-ontology.kif 4610-4610
(termFormat ChineseLanguage Furniture "家具") domainEnglishFormat.kif 25278-25278
(termFormat ChineseTraditionalLanguage Furniture "家具") domainEnglishFormat.kif 25277-25277
(termFormat EnglishLanguage Furniture "furniture") domainEnglishFormat.kif 25276-25276

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


(=>
    (instance ?F Furniture)
    (capability Translocation moves ?F))
Mid-level-ontology.kif 4175-4177
(=>
    (instance ?F Furniture)
    (hasPurpose ?F
        (exists (?FL)
            (and
                (instance ?FL Floor)
                (meetsSpatially ?F ?FL)))))
Mid-level-ontology.kif 4167-4173

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 1782-1787


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