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 14501-14502
(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 14500-14500 subclass Artifact and Object

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


(disjoint NaturalSatellite Artifact) Geography.kif 3247-3247 disjoint NaturalSatellite and Artifact
(disjoint Organism Artifact) Merge.kif 13294-13294 disjoint Organism and Artifact
(subclass AnimalResidence Artifact) Mid-level-ontology.kif 6651-6651 subclass AnimalResidence and Artifact
(subclass Armor Artifact) MilitaryDevices.kif 1609-1609 subclass Armor and Artifact
(subclass ArtWork Artifact) Merge.kif 14658-14658 subclass ArtWork and Artifact
(subclass BedFrame Artifact) Mid-level-ontology.kif 4526-4526 subclass BedFrame and Artifact
(subclass BedLinen Artifact) Mid-level-ontology.kif 4591-4591 subclass BedLinen and Artifact
(subclass BoardOrBlock Artifact) Mid-level-ontology.kif 5058-5058 subclass BoardOrBlock and Artifact
(subclass BoatDeck Artifact) Mid-level-ontology.kif 4719-4719 subclass BoatDeck and Artifact
(subclass Chain Artifact) Cars.kif 4355-4355 subclass Chain and Artifact
(subclass ChainLink Artifact) Cars.kif 4397-4397 subclass ChainLink and Artifact
(subclass Device Artifact) Merge.kif 14747-14747 subclass Device and Artifact
(subclass DisplayArtifact Artifact) Mid-level-ontology.kif 3886-3886 subclass DisplayArtifact and Artifact
(subclass Document Artifact) Mid-level-ontology.kif 24454-24454 subclass Document and Artifact
(subclass EngineCylinder Artifact) Cars.kif 307-307 subclass EngineCylinder and Artifact
(subclass Fabric Artifact) Merge.kif 14698-14698 subclass Fabric and Artifact
(subclass Furniture Artifact) Mid-level-ontology.kif 4221-4221 subclass Furniture and Artifact
(subclass GameArtifact Artifact) Mid-level-ontology.kif 14532-14532 subclass GameArtifact and Artifact
(subclass GrabBar Artifact) Mid-level-ontology.kif 24596-24596 subclass GrabBar and Artifact
(subclass InteriorVehicleEquipment Artifact) Cars.kif 4669-4669 subclass InteriorVehicleEquipment and Artifact
(subclass IrrigationChannel Artifact) Geography.kif 5377-5377 subclass IrrigationChannel and Artifact
(subclass Ladder Artifact) Mid-level-ontology.kif 12801-12801 subclass Ladder and Artifact
(subclass Mast Artifact) Mid-level-ontology.kif 1896-1896 subclass Mast and Artifact
(subclass Mattress Artifact) Mid-level-ontology.kif 4506-4506 subclass Mattress and Artifact
(subclass MilitaryArtifact Artifact) Mid-level-ontology.kif 15446-15446 subclass MilitaryArtifact and Artifact

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 engineers, 2 and Artifact
(domain equipmentType 1 Artifact) Mid-level-ontology.kif 22040-22040 domain equipmentType, 1 and Artifact
(domain thirdPartyProduct 1 Artifact) ComputingBrands.kif 3850-3850 domain thirdPartyProduct, 1 and Artifact
(domainSubclass powerComponent 2 Artifact) Transportation.kif 1695-1695 domainSubclass powerComponent, 2 and Artifact
(domainSubclass version 1 Artifact) Merge.kif 14524-14524 domainSubclass version, 1 and Artifact
(domainSubclass version 2 Artifact) Merge.kif 14525-14525 domainSubclass version, 2 and Artifact

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


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

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 11851-11856
(=>
    (instance ?PLAN Blueprint)
    (hasPurpose ?PLAN
        (exists (?ARTIFACT)
            (and
                (instance ?ARTIFACT Artifact)
                (represents ?PLAN ?ARTIFACT)))))
Mid-level-ontology.kif 10841-10847
(=>
    (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 25268-25273
(=>
    (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 24883-24892
(=>
    (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 4545-4564
(=>
    (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 24229-24243
(=>
    (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 24863-24876
(=>
    (powerComponent ?G ?O)
    (and
        (instance ?G Device)
        (instance ?O Artifact)))
Mid-level-ontology.kif 2143-2147


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