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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14911-14912
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Bronze_age_weapons_Romania.jpg") pictureList.kif 10453-10453
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Colt_Python.JPG") pictureList.kif 10455-10455
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Hammer2.jpg") pictureList.kif 9908-9908
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Anforagrega-atenas.jpg") pictureList.kif 10454-10454
(subclass Artifact Object) Merge.kif 14910-14910

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


(disjoint NaturalSatellite Artifact) Geography.kif 3269-3269
(disjoint Organism Artifact) Merge.kif 13671-13671
(subclass AnimalResidence Artifact) Mid-level-ontology.kif 6335-6335
(subclass Armor Artifact) MilitaryDevices.kif 1609-1609
(subclass ArtWork Artifact) Merge.kif 15068-15068
(subclass BedFrame Artifact) Mid-level-ontology.kif 3928-3928
(subclass BedLinen Artifact) Mid-level-ontology.kif 3993-3993
(subclass BoardOrBlock Artifact) Mid-level-ontology.kif 4455-4455
(subclass BoatDeck Artifact) Mid-level-ontology.kif 4121-4121
(subclass Chain Artifact) Cars.kif 4398-4398
(subclass ChainLink Artifact) Cars.kif 4440-4440
(subclass Device Artifact) Merge.kif 15168-15168
(subclass DisplayArtifact Artifact) Mid-level-ontology.kif 3286-3286
(subclass Document Artifact) Mid-level-ontology.kif 24342-24342
(subclass EngineCylinder Artifact) Cars.kif 307-307
(subclass Fabric Artifact) Merge.kif 15108-15108
(subclass Furniture Artifact) Mid-level-ontology.kif 3623-3623
(subclass GameArtifact Artifact) Mid-level-ontology.kif 15058-15058
(subclass GrabBar Artifact) Mid-level-ontology.kif 24432-24432
(subclass InteriorVehicleEquipment Artifact) Cars.kif 4712-4712
(subclass IrrigationChannel Artifact) Geography.kif 5483-5483
(subclass Ladder Artifact) Mid-level-ontology.kif 13316-13316
(subclass Mast Artifact) Mid-level-ontology.kif 1438-1438
(subclass Mattress Artifact) Mid-level-ontology.kif 3908-3908
(subclass MilitaryArtifact Artifact) Mid-level-ontology.kif 15884-15884

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 22314-22314
(domain thirdPartyProduct 1 Artifact) ComputingBrands.kif 3896-3896
(domainSubclass powerComponent 2 Artifact) Transportation.kif 1710-1710
(domainSubclass version 1 Artifact) Merge.kif 14934-14934
(domainSubclass version 2 Artifact) Merge.kif 14935-14935

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


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

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


(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (instance ?O Artifact))
Mid-level-ontology.kif 28985-28990
(=>
    (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 12175-12180
(=>
    (instance ?PLAN Blueprint)
    (hasPurpose ?PLAN
        (exists (?ARTIFACT)
            (and
                (instance ?ARTIFACT Artifact)
                (represents ?PLAN ?ARTIFACT)))))
Mid-level-ontology.kif 11480-11486
(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))
Mid-level-ontology.kif 6202-6209
(=>
    (instance ?X ArtifactMediatedCommunication)
    (exists (?OBJ)
        (and
            (instance ?OBJ Artifact)
            (instrument ?X ?OBJ))))
Mid-level-ontology.kif 24977-24982
(=>
    (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 24679-24688
(=>
    (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 3947-3966
(=>
    (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 24187-24201
(=>
    (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 24659-24672
(=>
    (powerComponent ?G ?O)
    (and
        (instance ?G Device)
        (instance ?O Artifact)))
Mid-level-ontology.kif 1673-1677


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 3.0 is open source software produced by Articulate Software and its partners