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