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。") chinese_format.kif 3579-3579
(documentation Artifact EnglishLanguage "An Object that is the product of a Making.") Merge.kif 15407-15408
(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 15406-15406

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


(disjoint NaturalSatellite Artifact) Geography.kif 3310-3310
(disjoint Organism Artifact) Merge.kif 14089-14089
(subclass AnimalResidence Artifact) Mid-level-ontology.kif 6651-6651
(subclass Armor Artifact) MilitaryDevices.kif 1609-1609
(subclass ArtWork Artifact) Merge.kif 15564-15564
(subclass BedFrame Artifact) Mid-level-ontology.kif 3947-3947
(subclass BedLinen Artifact) Mid-level-ontology.kif 4013-4013
(subclass BoardOrBlock Artifact) Mid-level-ontology.kif 4475-4475
(subclass BoatDeck Artifact) Mid-level-ontology.kif 4141-4141
(subclass Chain Artifact) Cars.kif 4385-4385
(subclass ChainLink Artifact) Cars.kif 4427-4427
(subclass Device Artifact) Merge.kif 15664-15664
(subclass DisplayArtifact Artifact) Mid-level-ontology.kif 3305-3305
(subclass Document Artifact) Mid-level-ontology.kif 25770-25770
(subclass EngineCylinder Artifact) Cars.kif 307-307
(subclass Fabric Artifact) Merge.kif 15604-15604
(subclass Furniture Artifact) Mid-level-ontology.kif 3642-3642
(subclass GameArtifact Artifact) Mid-level-ontology.kif 16415-16415
(subclass GrabBar Artifact) Mid-level-ontology.kif 25860-25860
(subclass InteriorVehicleEquipment Artifact) Cars.kif 4692-4692
(subclass IrrigationChannel Artifact) Geography.kif 5598-5598
(subclass Ladder Artifact) Mid-level-ontology.kif 14573-14573
(subclass Mast Artifact) Mid-level-ontology.kif 1456-1456
(subclass Mattress Artifact) Mid-level-ontology.kif 3927-3927
(subclass MilitaryArtifact Artifact) Mid-level-ontology.kif 17241-17241

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
(domain equipmentType 1 Artifact) Mid-level-ontology.kif 23701-23701
(domain thirdPartyProduct 1 Artifact) ComputingBrands.kif 3888-3888
(domainSubclass powerComponent 2 Artifact) Transportation.kif 1710-1710
(domainSubclass version 1 Artifact) Merge.kif 15430-15430
(domainSubclass version 2 Artifact) Merge.kif 15431-15431

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


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

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


(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (instance ?O Artifact))
Mid-level-ontology.kif 30414-30419
(=>
    (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 4790-4810
(=>
    (instance ?MAKING Making)
    (exists (?ARTIFACT)
        (and
            (instance ?ARTIFACT Artifact)
            (result ?MAKING ?ARTIFACT))))
Merge.kif 12579-12584
(=>
    (instance ?PLAN Blueprint)
    (hasPurpose ?PLAN
        (exists (?ARTIFACT)
            (and
                (instance ?ARTIFACT Artifact)
                (represents ?PLAN ?ARTIFACT)))))
Mid-level-ontology.kif 12694-12700
(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))
Mid-level-ontology.kif 6518-6525
(=>
    (instance ?X ArtifactMediatedCommunication)
    (exists (?OBJ)
        (and
            (instance ?OBJ Artifact)
            (instrument ?X ?OBJ))))
Mid-level-ontology.kif 26405-26410
(=>
    (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 26107-26116
(=>
    (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 3966-3985
(=>
    (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 25615-25629
(=>
    (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 26087-26100
(=>
    (powerComponent ?G ?O)
    (and
        (instance ?G Device)
        (instance ?O Artifact)))
Mid-level-ontology.kif 1691-1695


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