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 4157-4157 Furniture est disjoint de AutonomousAgent
(disjoint Furniture EngineeringComponent) Mid-level-ontology.kif 4153-4153 Furniture est disjoint de composant d'un appareil
(disjoint Furniture Machine) Mid-level-ontology.kif 4154-4154 Furniture est disjoint de machine
(disjoint Furniture TransportationDevice) Mid-level-ontology.kif 4155-4155 Furniture est disjoint de v�hicule de transport
(disjoint Furniture Weapon) Mid-level-ontology.kif 4156-4156 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 4135-4139 Furniture est disjoint de arme
(externalImage Furniture "http://articulatesoftware.com/SUMOpictures/working/ businesses/ furniture.png") pictureList.kif 450-450 Furniture est disjoint de arme
(externalImage Furniture "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ Chippendale_Desk.jpg") pictureList-ImageNet.kif 429-429 Furniture est disjoint de arme
(subclass Furniture Artifact) Mid-level-ontology.kif 4133-4133 Furniture est une sous-classe de artefact

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


(industryProductType FurnitureManufacturing Furniture) Economy.kif 1881-1881 industryProductType FurnitureManufacturing and Furniture
(subclass Bed Furniture) Mid-level-ontology.kif 4212-4212 Bed est une sous-classe de Furniture
(subclass ChestOrCabinet Furniture) Mid-level-ontology.kif 4592-4592 ChestOrCabinet est une sous-classe de Furniture
(subclass Seat Furniture) Mid-level-ontology.kif 4159-4159 Seat est une sous-classe de Furniture
(subclass Table Furniture) Mid-level-ontology.kif 4584-4584 Table est une sous-classe de Furniture
(termFormat ChineseLanguage Furniture "家具") domainEnglishFormat.kif 25261-25261 Table est une sous-classe de Furniture
(termFormat ChineseTraditionalLanguage Furniture "家具") domainEnglishFormat.kif 25260-25260 Table est une sous-classe de Furniture
(termFormat EnglishLanguage Furniture "furniture") domainEnglishFormat.kif 25259-25259 Table est une sous-classe de Furniture

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


(=>
    (instance ?F Furniture)
    (capability Translocation moves ?F))
Mid-level-ontology.kif 4149-4151
(=>
    (instance ?F Furniture)
    (hasPurpose ?F
        (exists (?FL)
            (and
                (instance ?FL Floor)
                (meetsSpatially ?F ?FL)))))
Mid-level-ontology.kif 4141-4147

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 1776-1781


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