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 15811-15811
(documentation Artifact EnglishLanguage "An Object that is the product of a Making.") Merge.kif 15809-15810
(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 15808-15808

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


(disjoint NaturalSatellite Artifact) Geography.kif 3234-3234
(disjoint Organism Artifact) Merge.kif 14394-14394
(subclass AnimalResidence Artifact) Mid-level-ontology.kif 6650-6650
(subclass Armor Artifact) MilitaryDevices.kif 1608-1608
(subclass ArtWork Artifact) Merge.kif 15992-15992
(subclass BedFrame Artifact) Mid-level-ontology.kif 4531-4531
(subclass BedLinen Artifact) Mid-level-ontology.kif 4596-4596
(subclass BoardOrBlock Artifact) Mid-level-ontology.kif 5063-5063
(subclass BoatDeck Artifact) Mid-level-ontology.kif 4724-4724
(subclass Chain Artifact) Cars.kif 4346-4346
(subclass ChainLink Artifact) Cars.kif 4388-4388
(subclass Device Artifact) Merge.kif 16094-16094
(subclass DisplayArtifact Artifact) Mid-level-ontology.kif 3890-3890
(subclass Document Artifact) Mid-level-ontology.kif 24441-24441
(subclass EngineCylinder Artifact) Cars.kif 307-307
(subclass Fabric Artifact) Merge.kif 16036-16036
(subclass Furniture Artifact) Mid-level-ontology.kif 4225-4225
(subclass GameArtifact Artifact) Mid-level-ontology.kif 14531-14531
(subclass GrabBar Artifact) Mid-level-ontology.kif 24583-24583
(subclass InteriorVehicleEquipment Artifact) Cars.kif 4660-4660
(subclass IrrigationChannel Artifact) Geography.kif 5362-5362
(subclass Ladder Artifact) Mid-level-ontology.kif 12801-12801
(subclass Mast Artifact) Mid-level-ontology.kif 1901-1901
(subclass Mattress Artifact) Mid-level-ontology.kif 4511-4511
(subclass MilitaryArtifact Artifact) Mid-level-ontology.kif 15445-15445

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
(domain equipmentType 1 Artifact) Mid-level-ontology.kif 22027-22027
(domainSubclass powerComponent 2 Artifact) Transportation.kif 1680-1680
(domainSubclass version 1 Artifact) Merge.kif 15834-15834
(domainSubclass version 2 Artifact) Merge.kif 15835-15835

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


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

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 12743-12748
(=>
    (instance ?PLAN Blueprint)
    (hasPurpose ?PLAN
        (exists (?ARTIFACT)
            (and
                (instance ?ARTIFACT Artifact)
                (represents ?PLAN ?ARTIFACT)))))
Mid-level-ontology.kif 10835-10841
(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))
Mid-level-ontology.kif 6517-6524
(=>
    (instance ?X ArtifactMediatedCommunication)
    (exists (?OBJ)
        (and
            (instance ?OBJ Artifact)
            (instrument ?X ?OBJ))))
Mid-level-ontology.kif 25255-25260
(=>
    (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 24870-24879
(=>
    (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 4550-4569
(=>
    (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 24216-24230
(=>
    (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 24850-24863
(=>
    (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