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, Artefato, 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, Manufatto, Mason_jar, Masonite, Menorah, Mobius_strip, Moorish_arch, Morris_chair, Nissen_hut, POB, PO_Box, Pandora's_box, Post-Office_box, Quaker_gun...

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


(documentation Artifact ChineseLanguage "这是由 Making 所产生的 Object。") Merge.kif 15674-15674
(documentation Artifact EnglishLanguage "An Object that is the product of a Making.") Merge.kif 15672-15673
(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 15671-15671 Artifact is a subclass of object

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


(disjoint NaturalSatellite Artifact) Geography.kif 3234-3234 Natural satellite is disjoint from artifact
(disjoint Organism Artifact) Merge.kif 14257-14257 Organism is disjoint from artifact
(subclass AgriculturalArtifact Artifact) Society.kif 976-976 AgriculturalArtifact is a subclass of artifact
(subclass AnimalResidence Artifact) Mid-level-ontology.kif 6646-6646 Animal residence is a subclass of artifact
(subclass Armor Artifact) MilitaryDevices.kif 1608-1608 Armor is a subclass of artifact
(subclass ArtWork Artifact) Merge.kif 15861-15861 Art work is a subclass of artifact
(subclass BedFrame Artifact) Mid-level-ontology.kif 4527-4527 Bed frame is a subclass of artifact
(subclass BedLinen Artifact) Mid-level-ontology.kif 4592-4592 Bed linen is a subclass of artifact
(subclass BeverageArtifact Artifact) Society.kif 1149-1149 BeverageArtifact is a subclass of artifact
(subclass BoardOrBlock Artifact) Mid-level-ontology.kif 5059-5059 Board or block is a subclass of artifact
(subclass BoatDeck Artifact) Mid-level-ontology.kif 4720-4720 Boat deck is a subclass of artifact
(subclass Cement Artifact) Society.kif 562-562 Cement is a subclass of artifact
(subclass Chain Artifact) Cars.kif 4387-4387 Chain is a subclass of artifact
(subclass ChainLink Artifact) Cars.kif 4429-4429 Chain link is a subclass of artifact
(subclass ChemicalArtifact Artifact) Society.kif 563-563 ChemicalArtifact is a subclass of artifact
(subclass Concrete Artifact) Society.kif 564-564 Concrete is a subclass of artifact
(subclass ConsumerGood Artifact) Society.kif 565-565 ConsumerGood is a subclass of artifact
(subclass Device Artifact) Merge.kif 15963-15963 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 24000-24000 Document is a subclass of artifact
(subclass EngineCylinder Artifact) Cars.kif 307-307 EngineCylinder is a subclass of artifact
(subclass Fabric Artifact) Merge.kif 15905-15905 Fabric is a subclass of artifact
(subclass FoodArtifact Artifact) Society.kif 1315-1315 FoodArtifact is a subclass of artifact
(subclass ForestArtifact Artifact) Society.kif 1366-1366 ForestArtifact is a subclass of artifact
(subclass Furniture Artifact) Mid-level-ontology.kif 4221-4221 Furniture 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 1210-1210 The number 2 argument of engineers is an instance of artifact
(domain equipmentType 1 Artifact) Mid-level-ontology.kif 21635-21635 The number 1 argument of equipment type is an instance of artifact
(domainSubclass powerComponent 2 Artifact) Transportation.kif 1653-1653 The number 2 argument of power component is a subclass of artifact
(domainSubclass version 1 Artifact) Merge.kif 15697-15697 The number 1 argument of version is a subclass of artifact
(domainSubclass version 2 Artifact) Merge.kif 15698-15698 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 15676-15681

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 12606-12611
(=>
    (instance ?PLAN Blueprint)
    (hasPurpose ?PLAN
        (exists (?ARTIFACT)
            (and
                (instance ?ARTIFACT Artifact)
                (represents ?PLAN ?ARTIFACT)))))
Mid-level-ontology.kif 10823-10829
(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))
Mid-level-ontology.kif 6513-6520
(=>
    (instance ?X ArtifactMediatedCommunication)
    (exists (?OBJ)
        (and
            (instance ?OBJ Artifact)
            (instrument ?X ?OBJ))))
Mid-level-ontology.kif 24814-24819
(=>
    (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 24429-24438
(=>
    (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 ?BED ?FLOOR On)
                            (orientation ?POST ?FLOOR Vertical))))))))
Mid-level-ontology.kif 4546-4565
(=>
    (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 23775-23789
(=>
    (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 24409-24422
(=>
    (powerComponent ?G ?O)
    (and
        (instance ?G Device)
        (instance ?O Artifact)))
Mid-level-ontology.kif 2148-2152


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