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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Artifact

Sigma KEE - Artifact
Artifact
شيْء طبِيْعِي, جِسْم طبِيْعِي, شيْء مصْنُوع, اِصْطِناعِي, صُنْع, نِتاج, شَيْء مَصْنُوع, صِنْف, نوْع, قوْس, ...

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


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

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


(disjoint NaturalSatellite Artifact) Geography.kif 3234-3234
(disjoint Organism Artifact) Merge.kif 14258-14258
(subclass AgriculturalArtifact Artifact) Society.kif 976-976
(subclass AnimalResidence Artifact) Mid-level-ontology.kif 6646-6646
(subclass Armor Artifact) MilitaryDevices.kif 1608-1608
(subclass ArtWork Artifact) Merge.kif 15862-15862
(subclass BedFrame Artifact) Mid-level-ontology.kif 4527-4527
(subclass BedLinen Artifact) Mid-level-ontology.kif 4592-4592
(subclass BeverageArtifact Artifact) Society.kif 1149-1149
(subclass BoardOrBlock Artifact) Mid-level-ontology.kif 5059-5059
(subclass BoatDeck Artifact) Mid-level-ontology.kif 4720-4720
(subclass Cement Artifact) Society.kif 562-562
(subclass Chain Artifact) Cars.kif 4387-4387
(subclass ChainLink Artifact) Cars.kif 4429-4429
(subclass ChemicalArtifact Artifact) Society.kif 563-563
(subclass Concrete Artifact) Society.kif 564-564
(subclass ConsumerGood Artifact) Society.kif 565-565
(subclass Device Artifact) Merge.kif 15964-15964
(subclass DisplayArtifact Artifact) Mid-level-ontology.kif 3886-3886
(subclass Document Artifact) Mid-level-ontology.kif 24000-24000
(subclass EngineCylinder Artifact) Cars.kif 307-307
(subclass Fabric Artifact) Merge.kif 15906-15906
(subclass FoodArtifact Artifact) Society.kif 1315-1315
(subclass ForestArtifact Artifact) Society.kif 1366-1366
(subclass Furniture Artifact) Mid-level-ontology.kif 4221-4221

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
(domain equipmentType 1 Artifact) Mid-level-ontology.kif 21635-21635
(domainSubclass powerComponent 2 Artifact) Transportation.kif 1653-1653
(domainSubclass version 1 Artifact) Merge.kif 15698-15698
(domainSubclass version 2 Artifact) Merge.kif 15699-15699

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


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

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