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 14410-14411
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Bronze_age_weapons_Romania.jpg") pictureList.kif 10454-10454 "http://upload.wikimedia.org/wikipedia/commons/0/01/ Bronze_age_weapons_Romania.jpg" is a URL depicting artifact
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Colt_Python.JPG") pictureList.kif 10456-10456 "http://upload.wikimedia.org/wikipedia/commons/3/35/ Colt_Python.JPG" is a URL depicting artifact
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Hammer2.jpg") pictureList.kif 9909-9909 "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Hammer2.jpg" is a URL depicting artifact
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Anforagrega-atenas.jpg") pictureList.kif 10455-10455 "http://upload.wikimedia.org/wikipedia/commons/b/b5/ Anforagrega-atenas.jpg" is a URL depicting artifact
(subclass Artifact Object) Merge.kif 14409-14409 Artifact is a subclass of object

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


(disjoint NaturalSatellite Artifact) Geography.kif 3247-3247 Natural satellite is disjoint from artifact
(disjoint Organism Artifact) Merge.kif 13203-13203 Organism is disjoint from artifact
(subclass AnimalResidence Artifact) Mid-level-ontology.kif 6651-6651 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 14567-14567 Art work is a subclass of artifact
(subclass BedFrame Artifact) Mid-level-ontology.kif 4526-4526 Bed frame is a subclass of artifact
(subclass BedLinen Artifact) Mid-level-ontology.kif 4591-4591 Bed linen is a subclass of artifact
(subclass BoardOrBlock Artifact) Mid-level-ontology.kif 5058-5058 Board or block is a subclass of artifact
(subclass BoatDeck Artifact) Mid-level-ontology.kif 4719-4719 Boat deck is a subclass of artifact
(subclass Chain Artifact) Cars.kif 4354-4354 Chain is a subclass of artifact
(subclass ChainLink Artifact) Cars.kif 4396-4396 Chain link is a subclass of artifact
(subclass Device Artifact) Merge.kif 14656-14656 Device is a subclass of artifact
(subclass DisplayArtifact Artifact) Mid-level-ontology.kif 3886-3886 Display artifact is a subclass of artifact
(subclass Document Artifact) Mid-level-ontology.kif 24442-24442 Document is a subclass of artifact
(subclass EngineCylinder Artifact) Cars.kif 307-307 EngineCylinder is a subclass of artifact
(subclass Fabric Artifact) Merge.kif 14607-14607 Fabric is a subclass of artifact
(subclass Furniture Artifact) Mid-level-ontology.kif 4221-4221 Furniture is a subclass of artifact
(subclass GameArtifact Artifact) Mid-level-ontology.kif 14531-14531 Game artifact is a subclass of artifact
(subclass GrabBar Artifact) Mid-level-ontology.kif 24584-24584 Grab bar is a subclass of artifact
(subclass InteriorVehicleEquipment Artifact) Cars.kif 4668-4668 Vehicle interior is a subclass of artifact
(subclass IrrigationChannel Artifact) Geography.kif 5378-5378 Irrigation channel is a subclass of artifact
(subclass Ladder Artifact) Mid-level-ontology.kif 12800-12800 Ladder is a subclass of artifact
(subclass Mast Artifact) Mid-level-ontology.kif 1896-1896 Mast is a subclass of artifact
(subclass Mattress Artifact) Mid-level-ontology.kif 4506-4506 Mattress is a subclass of artifact
(subclass MilitaryArtifact Artifact) Mid-level-ontology.kif 15445-15445 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 1200-1200 The number 2 argument of engineers is an instance of artifact
(domain equipmentType 1 Artifact) Mid-level-ontology.kif 22028-22028 The number 1 argument of equipment type is an instance of artifact
(domain thirdPartyProduct 1 Artifact) ComputingBrands.kif 3850-3850 The number 1 argument of third party product is an instance of artifact
(domainSubclass powerComponent 2 Artifact) Transportation.kif 1695-1695 The number 2 argument of power component is a subclass of artifact
(domainSubclass version 1 Artifact) Merge.kif 14433-14433 The number 1 argument of version is a subclass of artifact
(domainSubclass version 2 Artifact) Merge.kif 14434-14434 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 14413-14418

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


(=>
    (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 11760-11765
(=>
    (instance ?PLAN Blueprint)
    (hasPurpose ?PLAN
        (exists (?ARTIFACT)
            (and
                (instance ?ARTIFACT Artifact)
                (represents ?PLAN ?ARTIFACT)))))
Mid-level-ontology.kif 10840-10846
(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))
Mid-level-ontology.kif 6518-6525
(=>
    (instance ?X ArtifactMediatedCommunication)
    (exists (?OBJ)
        (and
            (instance ?OBJ Artifact)
            (instrument ?X ?OBJ))))
Mid-level-ontology.kif 25256-25261
(=>
    (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 24871-24880
(=>
    (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 4545-4564
(=>
    (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 24217-24231
(=>
    (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 24851-24864
(=>
    (powerComponent ?G ?O)
    (and
        (instance ?G Device)
        (instance ?O Artifact)))
Mid-level-ontology.kif 2143-2147


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners