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 15652-15653
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Bronze_age_weapons_Romania.jpg") pictureList.kif 10435-10435
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Colt_Python.JPG") pictureList.kif 10437-10437
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Hammer2.jpg") pictureList.kif 9891-9891
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Anforagrega-atenas.jpg") pictureList.kif 10436-10436
(subclass Artifact Object) Merge.kif 15651-15651 Artifact is a subclass of object

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


(disjoint NaturalSatellite Artifact) Geography.kif 3388-3388 Natural satellite is disjoint from artifact
(disjoint Organism Artifact) Merge.kif 14326-14326 Organism is disjoint from artifact
(subclass AnimalResidence Artifact) Mid-level-ontology.kif 6963-6963 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 15809-15809 Art work is a subclass of artifact
(subclass Bandage Artifact) Mid-level-ontology.kif 5658-5658 Bandage is a subclass of artifact
(subclass BedFrame Artifact) Mid-level-ontology.kif 4021-4021 Bed frame is a subclass of artifact
(subclass BedLinen Artifact) Mid-level-ontology.kif 4094-4094 Bed linen is a subclass of artifact
(subclass BoardOrBlock Artifact) Mid-level-ontology.kif 4713-4713 Board or block is a subclass of artifact
(subclass BoatDeck Artifact) Mid-level-ontology.kif 4222-4222 Boat deck is a subclass of artifact
(subclass Chain Artifact) Cars.kif 4382-4382 Chain is a subclass of artifact
(subclass ChainLink Artifact) Cars.kif 4424-4424 Chain link is a subclass of artifact
(subclass Device Artifact) Merge.kif 15909-15909 Device is a subclass of artifact
(subclass DisplayArtifact Artifact) Mid-level-ontology.kif 3325-3325 Display artifact is a subclass of artifact
(subclass Document Artifact) Mid-level-ontology.kif 26319-26319 Document is a subclass of artifact
(subclass EngineCylinder Artifact) Cars.kif 307-307 Engine cylinder is a subclass of artifact
(subclass Fabric Artifact) Merge.kif 15849-15849 Fabric is a subclass of artifact
(subclass Furniture Artifact) Mid-level-ontology.kif 3662-3662 Furniture is a subclass of artifact
(subclass GameArtifact Artifact) Mid-level-ontology.kif 16948-16948 Game artifact is a subclass of artifact
(subclass GrabBar Artifact) Mid-level-ontology.kif 26409-26409 Grab bar is a subclass of artifact
(subclass InteriorVehicleEquipment Artifact) Cars.kif 4689-4689 Vehicle interior is a subclass of artifact
(subclass IrrigationChannel Artifact) Geography.kif 5679-5679 Irrigation channel is a subclass of artifact
(subclass Ladder Artifact) Mid-level-ontology.kif 15081-15081 Ladder is a subclass of artifact
(subclass Mast Artifact) Mid-level-ontology.kif 1473-1473 Mast is a subclass of artifact
(subclass Mattress Artifact) Mid-level-ontology.kif 4001-4001 Mattress 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 1207-1207 The number 2 argument of engineers is an instance of artifact
(domain equipmentType 1 Artifact) Mid-level-ontology.kif 24273-24273 The number 1 argument of equipment type is an instance of artifact
(domain powerComponent 2 Artifact) Mid-level-ontology.kif 1707-1707 The number 2 argument of power component is an instance of artifact
(domain thirdPartyProduct 1 Artifact) ComputingBrands.kif 3925-3925 The number 1 argument of third party product is an instance of artifact
(domainSubclass version 1 Artifact) Merge.kif 15675-15675 The number 1 argument of version is a subclass of artifact
(domainSubclass version 2 Artifact) Merge.kif 15676-15676 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 15655-15660

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


(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (instance ?O Artifact))
Mid-level-ontology.kif 30935-30940
(=>
    (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 5747-5767
(=>
    (instance ?MAKING Making)
    (exists (?ARTIFACT)
        (and
            (instance ?ARTIFACT Artifact)
            (result ?MAKING ?ARTIFACT))))
Merge.kif 12787-12792
(=>
    (instance ?PLAN Blueprint)
    (hasPurpose ?PLAN
        (exists (?ARTIFACT)
            (and
                (instance ?ARTIFACT Artifact)
                (represents ?PLAN ?ARTIFACT)))))
Mid-level-ontology.kif 13205-13211
(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M ?W)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))
Mid-level-ontology.kif 6830-6837
(=>
    (instance ?W Wickering)
    (hasPurpose ?W
        (exists (?WICK ?OBJ ?WARP ?WEFT)
            (and
                (instance ?WICK Wicker)
                (patient ?W ?WICK)
                (part ?WARP ?WICK)
                (part ?WEFT ?WICK)
                (traverses ?WARP ?WEFT)
                (not
                    (equal ?WARP ?WEFT))
                (result ?W ?OBJ)
                (instance ?OBJ Artifact)))))
Mid-level-ontology.kif 4579-4592
(=>
    (instance ?WEAVE Weaving)
    (hasPurpose ?WEAVE
        (exists (?SUB ?WARP ?WEFT ?OBJ)
            (and
                (instance ?SUB Substance)
                (attribute ?SUB Pliable)
                (patient ?WEAVE ?SUB)
                (part ?WARP ?SUB)
                (part ?WEFT ?SUB)
                (not
                    (equal ?WARP ?WEFT))
                (orientation ?WARP ?WEFT RightAngle)
                (result ?WEAVE ?OBJ)
                (instance ?OBJ Artifact)))))
Mid-level-ontology.kif 4598-4612
(=>
    (instance ?X ArtifactMediatedCommunication)
    (exists (?OBJ)
        (and
            (instance ?OBJ Artifact)
            (instrument ?X ?OBJ))))
Mid-level-ontology.kif 26932-26937
(=>
    (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 26656-26665
(=>
    (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 26161-26175
(=>
    (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 26636-26649


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