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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Artifact
Artifact(artifact)
Aladdin's_lamp, Americana, Ark, Ark_of_the_Covenant, BB, BB_shot, Boston_rocker, Calvary_cross, Chinese_puzzle, Composite_order, Corinthian_order, Cuban_heel, Davis_Cup, Dixie_cup, Dorian_order, Doric_order, Dutch_door, Erlenmeyer_flask, Formica, French_door, French_heel, French_roof, French_window, Gladstone, Gladstone_bag, Gothic_arch, Holy_Grail, Ionian_order, Ionic_order, Jerusalem_cross, Jolly_Roger, Juggernaut, Kleenex, Klein_bottle, Latin_cross, Lilo, Mason_jar, Masonite, Menorah, Mobius_strip, Moorish_arch, Morris_chair, Nissen_hut, POB, PO_Box, Pandora's_box, Post-Office_box, Quaker_gun, Quonset_hut, Roman_arch...

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


(documentation Artifact ChineseLanguage "这是由 Making 所产生的 Object。") chinese_format.kif 3579-3579
(documentation Artifact EnglishLanguage "An Object that is the product of a Making.") Merge.kif 14563-14564
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Bronze_age_weapons_Romania.jpg") pictureList.kif 10454-10454
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Colt_Python.JPG") pictureList.kif 10456-10456
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Hammer2.jpg") pictureList.kif 9909-9909
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Anforagrega-atenas.jpg") pictureList.kif 10455-10455
(subclass Artifact Object) Merge.kif 14562-14562 Artifact is a subclass of object

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


(disjoint NaturalSatellite Artifact) Geography.kif 3269-3269 Natural satellite is disjoint from artifact
(disjoint Organism Artifact) Merge.kif 13356-13356 Organism is disjoint from artifact
(subclass AnimalResidence Artifact) Mid-level-ontology.kif 6018-6018 Animal residence is a subclass of artifact
(subclass Armor Artifact) MilitaryDevices.kif 1609-1609 Armor is a subclass of artifact
(subclass ArtWork Artifact) Merge.kif 14720-14720 Art work is a subclass of artifact
(subclass BedFrame Artifact) Mid-level-ontology.kif 3928-3928 Bed frame is a subclass of artifact
(subclass BedLinen Artifact) Mid-level-ontology.kif 3993-3993 Bed linen is a subclass of artifact
(subclass BoardOrBlock Artifact) Mid-level-ontology.kif 4455-4455 Board or block is a subclass of artifact
(subclass BoatDeck Artifact) Mid-level-ontology.kif 4121-4121 Boat deck is a subclass of artifact
(subclass Chain Artifact) Cars.kif 4398-4398 Chain is a subclass of artifact
(subclass ChainLink Artifact) Cars.kif 4440-4440 Chain link is a subclass of artifact
(subclass Device Artifact) Merge.kif 14820-14820 Device is a subclass of artifact
(subclass DisplayArtifact Artifact) Mid-level-ontology.kif 3286-3286 Display artifact is a subclass of artifact
(subclass Document Artifact) Mid-level-ontology.kif 22596-22596 Document is a subclass of artifact
(subclass EngineCylinder Artifact) Cars.kif 307-307 EngineCylinder is a subclass of artifact
(subclass Fabric Artifact) Merge.kif 14760-14760 Fabric is a subclass of artifact
(subclass Furniture Artifact) Mid-level-ontology.kif 3623-3623 Furniture is a subclass of artifact
(subclass GameArtifact Artifact) Mid-level-ontology.kif 13583-13583 Game artifact is a subclass of artifact
(subclass GrabBar Artifact) Mid-level-ontology.kif 22686-22686 Grab bar is a subclass of artifact
(subclass InteriorVehicleEquipment Artifact) Cars.kif 4712-4712 Vehicle interior is a subclass of artifact
(subclass IrrigationChannel Artifact) Geography.kif 5483-5483 Irrigation channel is a subclass of artifact
(subclass Ladder Artifact) Mid-level-ontology.kif 11841-11841 Ladder is a subclass of artifact
(subclass Mast Artifact) Mid-level-ontology.kif 1438-1438 Mast is a subclass of artifact
(subclass Mattress Artifact) Mid-level-ontology.kif 3908-3908 Mattress is a subclass of artifact
(subclass MilitaryArtifact Artifact) Mid-level-ontology.kif 14409-14409 Military artifact is a subclass of artifact

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain engineers 2 Artifact) engineering.kif 1204-1204 The number 2 argument of engineers is an instance of artifact
(domain equipmentType 1 Artifact) Mid-level-ontology.kif 20567-20567 The number 1 argument of equipment type is an instance of artifact
(domain thirdPartyProduct 1 Artifact) ComputingBrands.kif 3896-3896 The number 1 argument of third party product is an instance of artifact
(domainSubclass powerComponent 2 Artifact) Transportation.kif 1710-1710 The number 2 argument of power component is a subclass of artifact
(domainSubclass version 1 Artifact) Merge.kif 14586-14586 The number 1 argument of version is a subclass of artifact
(domainSubclass version 2 Artifact) Merge.kif 14587-14587 The number 2 argument of version is a subclass of artifact

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


(=>
    (instance ?ARTIFACT Artifact)
    (exists (?MAKING)
        (and
            (instance ?MAKING Making)
            (result ?MAKING ?ARTIFACT))))
Merge.kif 14566-14571

consequent
-------------------------


(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (instance ?O Artifact))
Mid-level-ontology.kif 27231-27236
(=>
    (attribute ?X MeanOfProduction)
    (hasPurpose ?X
        (or
            (exists (?MAKE ?PRODUCT)
                (and
                    (instance ?MAKE Making)
                    (involvedInEvent ?MAKE ?X)
                    (not
                        (result ?MAKE ?X))
                    (instance ?PRODUCT Artifact)
                    (result ?MAKE ?PRODUCT)
                    (hasPurpose ?PRODUCT
                        (exists (?SELL)
                            (and
                                (instance ?SELL Selling)
                                (patient ?SELL ?PRODUCT))))))
            (exists (?SERVICE)
                (and
                    (instance ?SERVICE CommercialService)
                    (involvedInEvent ?SERVICE ?X))))))
Economy.kif 4632-4652
(=>
    (instance ?MAKING Making)
    (exists (?ARTIFACT)
        (and
            (instance ?ARTIFACT Artifact)
            (result ?MAKING ?ARTIFACT))))
Merge.kif 11916-11921
(=>
    (instance ?PLAN Blueprint)
    (hasPurpose ?PLAN
        (exists (?ARTIFACT)
            (and
                (instance ?ARTIFACT Artifact)
                (represents ?PLAN ?ARTIFACT)))))
Mid-level-ontology.kif 10027-10033
(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))
Mid-level-ontology.kif 5897-5904
(=>
    (instance ?X ArtifactMediatedCommunication)
    (exists (?OBJ)
        (and
            (instance ?OBJ Artifact)
            (instrument ?X ?OBJ))))
Mid-level-ontology.kif 23231-23236
(=>
    (instance ?X Easel)
    (hasPurpose ?X
        (exists (?OBJ ?PUT)
            (and
                (instance ?OBJ Artifact)
                (attribute ?OBJ Flat)
                (instance ?PUT Putting)
                (patient ?PUT ?OBJ)
                (destination ?PUT ?X)))))
Mid-level-ontology.kif 22933-22942
(=>
    (instance ?X FourPosterBed)
    (exists (?SHAPE)
        (and
            (attribute ?X ?SHAPE)
            (instance ?SHAPE Quadrilateral)
            (forall (?CORNER)
                (=>
                    (and
                        (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER)
                        (sideOfFigure ?SIDE1 ?SHAPE)
                        (sideOfFigure ?SIDE2 ?SHAPE)
                        (not
                            (equal ?SIDE1 ?SIDE2)))
                    (exists (?POST ?FLOOR)
                        (and
                            (meetsSpatially ?CORNER ?POST)
                            (instance ?POST Artifact)
                            (instance ?FLOOR Floor)
                            (orientation ?X ?FLOOR On)
                            (orientation ?POST ?FLOOR Vertical))))))))
Mid-level-ontology.kif 3947-3966
(=>
    (instance ?X MultimediaProjector)
    (hasPurpose ?X
        (exists (?RS ?SCREEN ?VIDEO)
            (and
                (instance ?RS RadiatingLight)
                (instrument ?RS ?X)
                (patient ?RS ?VIDEO)
                (or
                    (instance ?VIDEO VideoRecording)
                    (instance ?VIDEO Image))
                (destination ?RS ?SCREEN)
                (instance ?SCREEN Artifact)
                (attribute ?SCREEN Flat)
                (not
                    (connected ?X ?SCREEN))))))
Mid-level-ontology.kif 22441-22455
(=>
    (instance ?X Tripod)
    (hasPurpose ?X
        (exists (?OBJ ?PUT ?PROC)
            (and
                (instance ?OBJ Artifact)
                (instance ?PUT Putting)
                (patient ?PUT ?OBJ)
                (destination ?PUT ?X)
                (instance ?PROC Process)
                (instrument ?PROC ?OBJ)
                (before
                    (EndFn
                        (WhenFn ?PUT))
                    (BeginFn
                        (WhenFn ?PROC)))))))
Mid-level-ontology.kif 22913-22926
(=>
    (powerComponent ?G ?O)
    (and
        (instance ?G Device)
        (instance ?O Artifact)))
Mid-level-ontology.kif 1673-1677


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