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 subclass Artifact and Object

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


(disjoint NaturalSatellite Artifact) Geography.kif 3269-3269 disjoint NaturalSatellite and Artifact
(disjoint Organism Artifact) Merge.kif 13671-13671 disjoint Organism and Artifact
(subclass AnimalResidence Artifact) Mid-level-ontology.kif 6557-6557 subclass AnimalResidence and Artifact
(subclass Armor Artifact) MilitaryDevices.kif 1609-1609 subclass Armor and Artifact
(subclass ArtWork Artifact) Merge.kif 15068-15068 subclass ArtWork and Artifact
(subclass BedFrame Artifact) Mid-level-ontology.kif 3929-3929 subclass BedFrame and Artifact
(subclass BedLinen Artifact) Mid-level-ontology.kif 3994-3994 subclass BedLinen and Artifact
(subclass BoardOrBlock Artifact) Mid-level-ontology.kif 4456-4456 subclass BoardOrBlock and Artifact
(subclass BoatDeck Artifact) Mid-level-ontology.kif 4122-4122 subclass BoatDeck and Artifact
(subclass Chain Artifact) Cars.kif 4385-4385 subclass Chain and Artifact
(subclass ChainLink Artifact) Cars.kif 4427-4427 subclass ChainLink and Artifact
(subclass Device Artifact) Merge.kif 15168-15168 subclass Device and Artifact
(subclass DisplayArtifact Artifact) Mid-level-ontology.kif 3287-3287 subclass DisplayArtifact and Artifact
(subclass Document Artifact) Mid-level-ontology.kif 25071-25071 subclass Document and Artifact
(subclass EngineCylinder Artifact) Cars.kif 307-307 subclass EngineCylinder and Artifact
(subclass Fabric Artifact) Merge.kif 15108-15108 subclass Fabric and Artifact
(subclass Furniture Artifact) Mid-level-ontology.kif 3624-3624 subclass Furniture and Artifact
(subclass GameArtifact Artifact) Mid-level-ontology.kif 15728-15728 subclass GameArtifact and Artifact
(subclass GrabBar Artifact) Mid-level-ontology.kif 25161-25161 subclass GrabBar and Artifact
(subclass InteriorVehicleEquipment Artifact) Cars.kif 4699-4699 subclass InteriorVehicleEquipment and Artifact
(subclass IrrigationChannel Artifact) Geography.kif 5483-5483 subclass IrrigationChannel and Artifact
(subclass Ladder Artifact) Mid-level-ontology.kif 13925-13925 subclass Ladder and Artifact
(subclass Mast Artifact) Mid-level-ontology.kif 1438-1438 subclass Mast and Artifact
(subclass Mattress Artifact) Mid-level-ontology.kif 3909-3909 subclass Mattress and Artifact
(subclass MilitaryArtifact Artifact) Mid-level-ontology.kif 16554-16554 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 23000-23000 domain equipmentType, 1 and Artifact
(domain thirdPartyProduct 1 Artifact) ComputingBrands.kif 3896-3896 domain thirdPartyProduct, 1 and Artifact
(domainSubclass powerComponent 2 Artifact) Transportation.kif 1710-1710 domainSubclass powerComponent, 2 and Artifact
(domainSubclass version 1 Artifact) Merge.kif 14934-14934 domainSubclass version, 1 and Artifact
(domainSubclass version 2 Artifact) Merge.kif 14935-14935 domainSubclass version, 2 and Artifact

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 29714-29719
(=>
    (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 12089-12095
(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))
Mid-level-ontology.kif 6424-6431
(=>
    (instance ?X ArtifactMediatedCommunication)
    (exists (?OBJ)
        (and
            (instance ?OBJ Artifact)
            (instrument ?X ?OBJ))))
Mid-level-ontology.kif 25706-25711
(=>
    (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 25408-25417
(=>
    (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 3948-3967
(=>
    (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 24916-24930
(=>
    (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 25388-25401
(=>
    (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