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 3714-3714 Furniture e' disjunto de AutonomousAgent
(disjoint Furniture EngineeringComponent) Mid-level-ontology.kif 3710-3710 Furniture e' disjunto de Componente de Engenharia
(disjoint Furniture Machine) Mid-level-ontology.kif 3711-3711 Furniture e' disjunto de Maquina
(disjoint Furniture TransportationDevice) Mid-level-ontology.kif 3712-3712 Furniture e' disjunto de Veiculo de Transporte
(disjoint Furniture Weapon) Mid-level-ontology.kif 3713-3713 Furniture e' disjunto de Arma
(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 3692-3696
(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 3690-3690 Furniture e' uma sub-classe de Artefato

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


(industryProductType FurnitureManufacturing Furniture) Economy.kif 1756-1756 industryProductType FurnitureManufacturing and Furniture
(subclass Bed Furniture) Mid-level-ontology.kif 3769-3769 Bed e' uma sub-classe de Furniture
(subclass ChestOrCabinet Furniture) Mid-level-ontology.kif 4149-4149 ChestOrCabinet e' uma sub-classe de Furniture
(subclass Seat Furniture) Mid-level-ontology.kif 3716-3716 Seat e' uma sub-classe de Furniture
(subclass Table Furniture) Mid-level-ontology.kif 4141-4141 Table e' uma sub-classe de Furniture
(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 3706-3708
(=>
    (instance ?F Furniture)
    (hasPurpose ?F
        (exists (?FL)
            (and
                (instance ?FL Floor)
                (meetsSpatially ?F ?FL)))))
Mid-level-ontology.kif 3698-3704

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 1559-1564


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