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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Artifact

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 15028-15029
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Bronze_age_weapons_Romania.jpg") pictureList.kif 10443-10443
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Colt_Python.JPG") pictureList.kif 10445-10445
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Hammer2.jpg") pictureList.kif 9899-9899
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Anforagrega-atenas.jpg") pictureList.kif 10444-10444
(subclass Artifact Object) Merge.kif 15027-15027 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 13716-13716 Organism is disjoint from artifact
(subclass AnimalResidence Artifact) Mid-level-ontology.kif 6627-6627 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 15185-15185 Art work is a subclass of artifact
(subclass BedFrame Artifact) Mid-level-ontology.kif 3930-3930 Bed frame is a subclass of artifact
(subclass BedLinen Artifact) Mid-level-ontology.kif 3996-3996 Bed linen is a subclass of artifact
(subclass BoardOrBlock Artifact) Mid-level-ontology.kif 4458-4458 Board or block is a subclass of artifact
(subclass BoatDeck Artifact) Mid-level-ontology.kif 4124-4124 Boat deck is a subclass of artifact
(subclass Chain Artifact) Cars.kif 4385-4385 Chain is a subclass of artifact
(subclass ChainLink Artifact) Cars.kif 4427-4427 Chain link is a subclass of artifact
(subclass Device Artifact) Merge.kif 15285-15285 Device is a subclass of artifact
(subclass DisplayArtifact Artifact) Mid-level-ontology.kif 3288-3288 Display artifact is a subclass of artifact
(subclass Document Artifact) Mid-level-ontology.kif 25605-25605 Document is a subclass of artifact
(subclass EngineCylinder Artifact) Cars.kif 307-307 EngineCylinder is a subclass of artifact
(subclass Fabric Artifact) Merge.kif 15225-15225 Fabric is a subclass of artifact
(subclass Furniture Artifact) Mid-level-ontology.kif 3625-3625 Furniture is a subclass of artifact
(subclass GameArtifact Artifact) Mid-level-ontology.kif 16250-16250 Game artifact is a subclass of artifact
(subclass GrabBar Artifact) Mid-level-ontology.kif 25695-25695 Grab bar is a subclass of artifact
(subclass InteriorVehicleEquipment Artifact) Cars.kif 4692-4692 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 14408-14408 Ladder is a subclass of artifact
(subclass Mast Artifact) Mid-level-ontology.kif 1439-1439 Mast is a subclass of artifact
(subclass Mattress Artifact) Mid-level-ontology.kif 3910-3910 Mattress is a subclass of artifact
(subclass MilitaryArtifact Artifact) Mid-level-ontology.kif 17076-17076 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 23535-23535 The number 1 argument of equipment type is an instance of artifact
(domain thirdPartyProduct 1 Artifact) ComputingBrands.kif 3889-3889 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 15051-15051 The number 1 argument of version is a subclass of artifact
(domainSubclass version 2 Artifact) Merge.kif 15052-15052 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 15031-15036

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


(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (instance ?O Artifact))
Mid-level-ontology.kif 30248-30253
(=>
    (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 4635-4655
(=>
    (instance ?MAKING Making)
    (exists (?ARTIFACT)
        (and
            (instance ?ARTIFACT Artifact)
            (result ?MAKING ?ARTIFACT))))
Merge.kif 12220-12225
(=>
    (instance ?PLAN Blueprint)
    (hasPurpose ?PLAN
        (exists (?ARTIFACT)
            (and
                (instance ?ARTIFACT Artifact)
                (represents ?PLAN ?ARTIFACT)))))
Mid-level-ontology.kif 12565-12571
(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))
Mid-level-ontology.kif 6494-6501
(=>
    (instance ?X ArtifactMediatedCommunication)
    (exists (?OBJ)
        (and
            (instance ?OBJ Artifact)
            (instrument ?X ?OBJ))))
Mid-level-ontology.kif 26240-26245
(=>
    (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 25942-25951
(=>
    (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 3949-3968
(=>
    (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 25450-25464
(=>
    (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 25922-25935
(=>
    (powerComponent ?G ?O)
    (and
        (instance ?G Device)
        (instance ?O Artifact)))
Mid-level-ontology.kif 1674-1678


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