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。") chinese_format.kif 3579-3579
(documentation Artifact EnglishLanguage "An Object that is the product of a Making.") Merge.kif 14511-14512
(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 14510-14510 人工制品客体subclass

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


(disjoint NaturalSatellite Artifact) Geography.kif 3247-3247 天然卫星 和 % 2 是 disjoint
(disjoint Organism Artifact) Merge.kif 13304-13304 生物 和 % 2 是 disjoint
(subclass AnimalResidence Artifact) Mid-level-ontology.kif 6657-6657 动物住所人工制品subclass
(subclass Armor Artifact) MilitaryDevices.kif 1609-1609 盔甲人工制品subclass
(subclass ArtWork Artifact) Merge.kif 14668-14668 艺术品人工制品subclass
(subclass BedFrame Artifact) Mid-level-ontology.kif 4532-4532 BedFrame人工制品subclass
(subclass BedLinen Artifact) Mid-level-ontology.kif 4597-4597 BedLinen人工制品subclass
(subclass BoardOrBlock Artifact) Mid-level-ontology.kif 5064-5064 板或块人工制品subclass
(subclass BoatDeck Artifact) Mid-level-ontology.kif 4725-4725 船甲板人工制品subclass
(subclass Chain Artifact) Cars.kif 4355-4355 Chain人工制品subclass
(subclass ChainLink Artifact) Cars.kif 4397-4397 ChainLink人工制品subclass
(subclass Device Artifact) Merge.kif 14757-14757 设备人工制品subclass
(subclass DisplayArtifact Artifact) Mid-level-ontology.kif 3892-3892 显示神器人工制品subclass
(subclass Document Artifact) Mid-level-ontology.kif 24506-24506 Document人工制品subclass
(subclass EngineCylinder Artifact) Cars.kif 307-307 EngineCylinder人工制品subclass
(subclass Fabric Artifact) Merge.kif 14708-14708 织品人工制品subclass
(subclass Furniture Artifact) Mid-level-ontology.kif 4227-4227 家具人工制品subclass
(subclass GameArtifact Artifact) Mid-level-ontology.kif 14584-14584 游戏神器人工制品subclass
(subclass GrabBar Artifact) Mid-level-ontology.kif 24648-24648 GrabBar人工制品subclass
(subclass InteriorVehicleEquipment Artifact) Cars.kif 4669-4669 InteriorVehicleEquipment人工制品subclass
(subclass IrrigationChannel Artifact) Geography.kif 5377-5377 引河人工制品subclass
(subclass Ladder Artifact) Mid-level-ontology.kif 12853-12853 阶梯人工制品subclass
(subclass Mast Artifact) Mid-level-ontology.kif 1902-1902 桅杆人工制品subclass
(subclass Mattress Artifact) Mid-level-ontology.kif 4512-4512 Mattress人工制品subclass
(subclass MilitaryArtifact Artifact) Mid-level-ontology.kif 15498-15498 军事人工品人工制品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 1204-1204 engineers 的 2 数量 是 人工制品instance
(domain equipmentType 1 Artifact) Mid-level-ontology.kif 22092-22092 设备类型 的 1 数量 是 人工制品instance
(domain thirdPartyProduct 1 Artifact) ComputingBrands.kif 3850-3850 thirdPartyProduct 的 1 数量 是 人工制品instance
(domainSubclass powerComponent 2 Artifact) Transportation.kif 1695-1695 功率元件 的 2 数量 是 人工制品subclass
(domainSubclass version 1 Artifact) Merge.kif 14534-14534 版本 的 1 数量 是 人工制品subclass
(domainSubclass version 2 Artifact) Merge.kif 14535-14535 版本 的 2 数量 是 人工制品subclass

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


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

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 11861-11866
(=>
    (instance ?PLAN Blueprint)
    (hasPurpose ?PLAN
        (exists (?ARTIFACT)
            (and
                (instance ?ARTIFACT Artifact)
                (represents ?PLAN ?ARTIFACT)))))
Mid-level-ontology.kif 10893-10899
(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))
Mid-level-ontology.kif 6524-6531
(=>
    (instance ?X ArtifactMediatedCommunication)
    (exists (?OBJ)
        (and
            (instance ?OBJ Artifact)
            (instrument ?X ?OBJ))))
Mid-level-ontology.kif 25320-25325
(=>
    (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 24935-24944
(=>
    (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 4551-4570
(=>
    (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 24281-24295
(=>
    (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 24915-24928
(=>
    (powerComponent ?G ?O)
    (and
        (instance ?G Device)
        (instance ?O Artifact)))
Mid-level-ontology.kif 2149-2153


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