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


KB Term:  Term intersection
English Word: 

Sigma KEE - Artifact
Artifact

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


(subclass Artifact Object) Merge.kif 15966-15966
(documentation Artifact EnglishLanguage "An Object that is the product of a Making.") Merge.kif 15967-15968
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Hammer2.jpg") pictureList.kif 9890-9890
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Bronze_age_weapons_Romania.jpg") pictureList.kif 10431-10431
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Anforagrega_atenas.jpg") pictureList.kif 10432-10432
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Colt_Python.JPG") pictureList.kif 10433-10433

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


(disjoint Organism Artifact) Merge.kif 14669-14669
(subclass Text Artifact) Merge.kif 15653-15653
(subclass Product Artifact) Merge.kif 15977-15977
(subclass StationaryArtifact Artifact) Merge.kif 16006-16006
(subclass ArtWork Artifact) Merge.kif 16155-16155
(subclass Fabric Artifact) Merge.kif 16196-16196
(subclass WearableItem Artifact) Merge.kif 16205-16205
(subclass Device Artifact) Merge.kif 16283-16283
(subclass GunChamber Artifact) Mid-level-ontology.kif 1350-1350
(subclass GunMuzzle Artifact) Mid-level-ontology.kif 1389-1389
(subclass Buttstock Artifact) Mid-level-ontology.kif 1459-1459
(subclass Forestock Artifact) Mid-level-ontology.kif 1492-1492
(subclass Shield Artifact) Mid-level-ontology.kif 1754-1754
(subclass Mast Artifact) Mid-level-ontology.kif 1787-1787
(subclass Tube Artifact) Mid-level-ontology.kif 1809-1809
(subclass PhotographicFilm Artifact) Mid-level-ontology.kif 1823-1823
(subclass PictureFrame Artifact) Mid-level-ontology.kif 1827-1827
(subclass Shelf Artifact) Mid-level-ontology.kif 1841-1841
(subclass GunCylinder Artifact) Mid-level-ontology.kif 2143-2143
(subclass DisplayArtifact Artifact) Mid-level-ontology.kif 3965-3965
(subclass Wheel Artifact) Mid-level-ontology.kif 3985-3985
(subclass VehicleTire Artifact) Mid-level-ontology.kif 4059-4059
(subclass Paper Artifact) Mid-level-ontology.kif 4206-4206
(subclass Wire Artifact) Mid-level-ontology.kif 4253-4253
(subclass String Artifact) Mid-level-ontology.kif 4296-4296

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domainSubclass version 1 Artifact) Merge.kif 15990-15990
(domainSubclass version 2 Artifact) Merge.kif 15991-15991
(domain powerComponent 2 Artifact) Mid-level-ontology.kif 2310-2310
(domain equipmentType 1 Artifact) Mid-level-ontology.kif 26623-26623
(domain thirdPartyProduct 1 Artifact) ComputingBrands.kif 3831-3831
(domain engineers 2 Artifact) engineering.kif 1630-1630

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


(=>
    (instance ?ARTIFACT Artifact)
    (exists (?MAKING)
        (and
            (instance ?MAKING Making)
            (result ?MAKING ?ARTIFACT))))
Merge.kif 15970-15975
(=>
    (and
        (instance ?A Artifact)
        (attribute ?A Repairable))
    (exists (?R)
        (and
            (instance ?R Repairing)
            (patient ?R ?A))))
Mid-level-ontology.kif 8056-8063
(=>
    (and
        (instance ?A Artifact)
        (attribute ?A NonRepairable))
    (not
        (exists (?R)
            (and
                (instance ?R Repairing)
                (patient ?R ?A)))))
Mid-level-ontology.kif 8069-8077
(=>
    (and
        (instance ?A Artifact)
        (instance ?S Salvaging)
        (patient ?S ?A))
    (exists (?P ?V)
        (and
            (result ?S ?P)
            (part ?P ?A)
            (monetaryValue ?P ?V))))
Mid-level-ontology.kif 19099-19108
(=>
    (and
        (capability ?PROCESS ?R ?O)
        (instance ?O Artifact)
        (not
            (attribute ?O ArtifactNotFitForPurpose)))
    (modalAttribute
        (exists (?P)
            (and
                (instance ?P ?PROCESS)
                (?R ?P ?O))) Possiblity))
Mid-level-ontology.kif 19124-19134
(=>
    (and
        (instance ?P ThreeDPrinting)
        (instance ?O Artifact)
        (result ?P ?O))
    (exists (?A ?X ?B ?Y)
        (and
            (instance ?A Making)
            (subProcess ?A ?P)
            (instance ?X SelfConnectedObject)
            (part ?X ?O)
            (result ?A ?X)
            (instance ?B Making)
            (subProcess ?B ?P)
            (instance ?Y SelfConnectedObject)
            (part ?Y ?O)
            (overlapsSpatially ?X ?Y)
            (orientation ?X ?Y Below)
            (during
                (WhenFn ?A)
                (WhenFn ?P))
            (during
                (WhenFn ?B)
                (WhenFn ?P))
            (earlier
                (WhenFn ?A)
                (WhenFn ?B)))))
QoSontology.kif 523-549

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


(=>
    (instance ?MAKING Making)
    (exists (?ARTIFACT)
        (and
            (instance ?ARTIFACT Artifact)
            (result ?MAKING ?ARTIFACT))))
Merge.kif 13107-13112
(=>
    (instance ?W Wickering)
    (hasPurpose ?W
        (exists (?WICK ?OBJ ?WARP ?WEFT)
            (and
                (instance ?WICK Wicker)
                (patient ?W ?WICK)
                (part ?WARP ?WICK)
                (part ?WEFT ?WICK)
                (traverses ?WARP ?WEFT)
                (not
                    (equal ?WARP ?WEFT))
                (result ?W ?OBJ)
                (instance ?OBJ Artifact)))))
Mid-level-ontology.kif 5218-5231
(=>
    (instance ?WEAVE Weaving)
    (hasPurpose ?WEAVE
        (exists (?SUB ?WARP ?WEFT ?OBJ)
            (and
                (instance ?SUB Substance)
                (attribute ?SUB Pliable)
                (patient ?WEAVE ?SUB)
                (part ?WARP ?SUB)
                (part ?WEFT ?SUB)
                (not
                    (equal ?WARP ?WEFT))
                (orientation ?WARP ?WEFT RightAngle)
                (result ?WEAVE ?OBJ)
                (instance ?OBJ Artifact)))))
Mid-level-ontology.kif 5237-5251
(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M ?W)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))
Mid-level-ontology.kif 8174-8181
(=>
    (instance ?PLAN Blueprint)
    (hasPurpose ?PLAN
        (exists (?ARTIFACT)
            (and
                (instance ?ARTIFACT Artifact)
                (represents ?PLAN ?ARTIFACT)))))
Mid-level-ontology.kif 14797-14803
(=>
    (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 28786-28800
(=>
    (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 29313-29326
(=>
    (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 29333-29342
(=>
    (instance ?X ArtifactMediatedCommunication)
    (exists (?OBJ)
        (and
            (instance ?OBJ Artifact)
            (instrument ?X ?OBJ))))
Mid-level-ontology.kif 29609-29614
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (instance ?O Artifact))
Mid-level-ontology.kif 33628-33633
(=>
    (and
        (instance ?X PartInspection)
        (patient ?X ?P)
        (instance ?P SelfConnectedObject))
    (exists (?A ?M)
        (and
            (part ?P ?A)
            (instance ?A Artifact)
            (instance ?M Manufacture)
            (result ?M ?A)
            (subProcess ?X ?M))))
Economy.kif 2054-2065
(=>
    (and
        (instance ?X OrderingParts)
        (patient ?X ?P))
    (exists (?A ?M)
        (and
            (part ?P ?A)
            (instance ?A Artifact)
            (instance ?M Manufacture)
            (result ?M ?A)
            (subProcess ?X ?M))))
Economy.kif 2085-2095
(=>
    (instance ?P ProductAssembly)
    (exists (?O ?Q ?W)
        (and
            (patient ?P ?O)
            (patient ?P ?Q)
            (not
                (equal ?O ?Q))
            (instance ?O SelfConnectedObject)
            (instance ?Q SelfConnectedObject)
            (part ?O ?W)
            (part ?Q ?W)
            (instance ?W Artifact)
            (result ?P ?W))))
Economy.kif 2144-2157
(=>
    (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 6108-6128
(=>
    (and
        (instance ?CG CapitalMeanOfProduction)
        (attribute ?CGO ?CG))
    (exists (?A ?MONEY ?AGENT ?PROPERTYITEM)
        (or
            (and
                (instance ?MONEY Currency)
                (equal ?CGO ?MONEY))
            (and
                (element ?PROPERTYITEM
                    (PropertyFn ?AGENT))
                (equal ?PROPERTYITEM ?CGO))
            (and
                (instance ?A Artifact)
                (equal ?CGO ?A)))))
Economy.kif 6135-6149
(=>
    (instance ?P ThreeDPrinting)
    (exists (?X ?A)
        (and
            (instance ?X DigitalData)
            (represents ?X ?A)
            (instance ?A Artifact)
            (result ?P ?A))))
QoSontology.kif 491-498


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners