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。") Merge.kif 15811-15811
(documentation Artifact EnglishLanguage "An Object that is the product of a Making.") Merge.kif 15809-15810
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Bronze_age_weapons_Romania.jpg") pictureList.kif 10454-10454 externalImage 人工制品 and "http://upload.wikimedia.org/wikipedia/commons/0/01/ Bronze_age_weapons_Romania.jpg"
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Colt_Python.JPG") pictureList.kif 10456-10456 externalImage 人工制品 and "http://upload.wikimedia.org/wikipedia/commons/3/35/ Colt_Python.JPG"
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Hammer2.jpg") pictureList.kif 9909-9909 externalImage 人工制品 and "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Hammer2.jpg"
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Anforagrega-atenas.jpg") pictureList.kif 10455-10455 externalImage 人工制品 and "http://upload.wikimedia.org/wikipedia/commons/b/b5/ Anforagrega-atenas.jpg"
(subclass Artifact Object) Merge.kif 15808-15808 人工制品客体subclass

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


(disjoint NaturalSatellite Artifact) Geography.kif 3234-3234 NaturalSatellite 和 % 2 是 disjoint
(disjoint Organism Artifact) Merge.kif 14394-14394 生物 和 % 2 是 disjoint
(subclass AnimalResidence Artifact) Mid-level-ontology.kif 6650-6650 AnimalResidence人工制品subclass
(subclass Armor Artifact) MilitaryDevices.kif 1608-1608 Armor人工制品subclass
(subclass ArtWork Artifact) Merge.kif 15992-15992 艺术品人工制品subclass
(subclass BedFrame Artifact) Mid-level-ontology.kif 4531-4531 BedFrame人工制品subclass
(subclass BedLinen Artifact) Mid-level-ontology.kif 4596-4596 BedLinen人工制品subclass
(subclass BoardOrBlock Artifact) Mid-level-ontology.kif 5063-5063 BoardOrBlock人工制品subclass
(subclass BoatDeck Artifact) Mid-level-ontology.kif 4724-4724 BoatDeck人工制品subclass
(subclass Chain Artifact) Cars.kif 4346-4346 Chain人工制品subclass
(subclass ChainLink Artifact) Cars.kif 4388-4388 ChainLink人工制品subclass
(subclass Device Artifact) Merge.kif 16094-16094 设备人工制品subclass
(subclass DisplayArtifact Artifact) Mid-level-ontology.kif 3890-3890 DisplayArtifact人工制品subclass
(subclass Document Artifact) Mid-level-ontology.kif 24441-24441 Document人工制品subclass
(subclass EngineCylinder Artifact) Cars.kif 307-307 EngineCylinder人工制品subclass
(subclass Fabric Artifact) Merge.kif 16036-16036 织品人工制品subclass
(subclass Furniture Artifact) Mid-level-ontology.kif 4225-4225 Furniture人工制品subclass
(subclass GameArtifact Artifact) Mid-level-ontology.kif 14531-14531 GameArtifact人工制品subclass
(subclass GrabBar Artifact) Mid-level-ontology.kif 24583-24583 GrabBar人工制品subclass
(subclass InteriorVehicleEquipment Artifact) Cars.kif 4660-4660 InteriorVehicleEquipment人工制品subclass
(subclass IrrigationChannel Artifact) Geography.kif 5362-5362 IrrigationChannel人工制品subclass
(subclass Ladder Artifact) Mid-level-ontology.kif 12801-12801 Ladder人工制品subclass
(subclass Mast Artifact) Mid-level-ontology.kif 1901-1901 Mast人工制品subclass
(subclass Mattress Artifact) Mid-level-ontology.kif 4511-4511 Mattress人工制品subclass
(subclass MilitaryArtifact Artifact) Mid-level-ontology.kif 15445-15445 MilitaryArtifact人工制品subclass

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 1200-1200 engineers 的 2 数量 是 人工制品instance
(domain equipmentType 1 Artifact) Mid-level-ontology.kif 22027-22027 equipmentType 的 1 数量 是 人工制品instance
(domainSubclass powerComponent 2 Artifact) Transportation.kif 1680-1680 powerComponent 的 2 数量 是 人工制品subclass
(domainSubclass version 1 Artifact) Merge.kif 15834-15834 版本 的 1 数量 是 人工制品subclass
(domainSubclass version 2 Artifact) Merge.kif 15835-15835 版本 的 2 数量 是 人工制品subclass

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


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

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 12743-12748
(=>
    (instance ?PLAN Blueprint)
    (hasPurpose ?PLAN
        (exists (?ARTIFACT)
            (and
                (instance ?ARTIFACT Artifact)
                (represents ?PLAN ?ARTIFACT)))))
Mid-level-ontology.kif 10835-10841
(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))
Mid-level-ontology.kif 6517-6524
(=>
    (instance ?X ArtifactMediatedCommunication)
    (exists (?OBJ)
        (and
            (instance ?OBJ Artifact)
            (instrument ?X ?OBJ))))
Mid-level-ontology.kif 25255-25260
(=>
    (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 24870-24879
(=>
    (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 ?BED ?FLOOR On)
                            (orientation ?POST ?FLOOR Vertical))))))))
Mid-level-ontology.kif 4550-4569
(=>
    (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 24216-24230
(=>
    (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 24850-24863
(=>
    (powerComponent ?G ?O)
    (and
        (instance ?G Device)
        (instance ?O Artifact)))
Mid-level-ontology.kif 2148-2152


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