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 3707-3707 FurnitureAutonomousAgentdisjoint では %n
(disjoint Furniture EngineeringComponent) Mid-level-ontology.kif 3703-3703 Furnitureエンジニアリング部品disjoint では %n
(disjoint Furniture Machine) Mid-level-ontology.kif 3704-3704 Furniture機械disjoint では %n
(disjoint Furniture TransportationDevice) Mid-level-ontology.kif 3705-3705 Furniture輸送機disjoint では %n
(disjoint Furniture Weapon) Mid-level-ontology.kif 3706-3706 Furniture武器disjoint では %n
(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 3685-3689
(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 3683-3683 Furnitureアーチファクトsubclass では %n

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


(industryProductType FurnitureManufacturing Furniture) Economy.kif 1756-1756 industryProductType FurnitureManufacturing and Furniture
(subclass Bed Furniture) Mid-level-ontology.kif 3762-3762 BedFurnituresubclass では %n
(subclass ChestOrCabinet Furniture) Mid-level-ontology.kif 4142-4142 ChestOrCabinetFurnituresubclass では %n
(subclass Seat Furniture) Mid-level-ontology.kif 3709-3709 SeatFurnituresubclass では %n
(subclass Table Furniture) Mid-level-ontology.kif 4134-4134 TableFurnituresubclass では %n
(termFormat ChineseLanguage Furniture "家具") domainEnglishFormat.kif 25250-25250
(termFormat ChineseTraditionalLanguage Furniture "家具") domainEnglishFormat.kif 25249-25249
(termFormat EnglishLanguage Furniture "furniture") domainEnglishFormat.kif 25248-25248

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


(=>
    (instance ?F Furniture)
    (capability Translocation moves ?F))
Mid-level-ontology.kif 3699-3701
(=>
    (instance ?F Furniture)
    (hasPurpose ?F
        (exists (?FL)
            (and
                (instance ?FL Floor)
                (meetsSpatially ?F ?FL)))))
Mid-level-ontology.kif 3691-3697

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 1552-1557


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