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 15832-15833
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Bronze_age_weapons_Romania.jpg") pictureList.kif 10431-10431
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Colt_Python.JPG") pictureList.kif 10433-10433
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Hammer2.jpg") pictureList.kif 9890-9890
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Anforagrega_atenas.jpg") pictureList.kif 10432-10432
(subclass Artifact Object) Merge.kif 15831-15831 人工制品客体subclass

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


(disjoint NaturalSatellite Artifact) Geography.kif 3684-3684 天然卫星 和 % 2 是 disjoint
(disjoint Organism Artifact) Merge.kif 14509-14509 生物 和 % 2 是 disjoint
(subclass AnimalResidence Artifact) Mid-level-ontology.kif 8152-8152 动物住所人工制品subclass
(subclass ArtWork Artifact) Merge.kif 15989-15989 艺术品人工制品subclass
(subclass Bandage Artifact) Mid-level-ontology.kif 6623-6623 绷带人工制品subclass
(subclass BedFrame Artifact) Mid-level-ontology.kif 4492-4492 BedFrame人工制品subclass
(subclass BedLinen Artifact) Mid-level-ontology.kif 4565-4565 BedLinen人工制品subclass
(subclass BoardOrBlock Artifact) Mid-level-ontology.kif 5197-5197 板或块人工制品subclass
(subclass BoatDeck Artifact) Mid-level-ontology.kif 4693-4693 船甲板人工制品subclass
(subclass Buttstock Artifact) Mid-level-ontology.kif 1424-1424 Buttstock人工制品subclass
(subclass CantileverObject Artifact) engineering.kif 920-920 CantileverObject人工制品subclass
(subclass Chain Artifact) Cars.kif 4443-4443 Chain人工制品subclass
(subclass ChainLink Artifact) Cars.kif 4485-4485 ChainLink人工制品subclass
(subclass Device Artifact) Merge.kif 16115-16115 设备人工制品subclass
(subclass DisplayArtifact Artifact) Mid-level-ontology.kif 3796-3796 显示神器人工制品subclass
(subclass Document Artifact) Mid-level-ontology.kif 28286-28286 Document人工制品subclass
(subclass EngineCylinder Artifact) Cars.kif 307-307 EngineCylinder人工制品subclass
(subclass Fabric Artifact) Merge.kif 16029-16029 织品人工制品subclass
(subclass Forestock Artifact) Mid-level-ontology.kif 1457-1457 Forestock人工制品subclass
(subclass Furniture Artifact) Mid-level-ontology.kif 4133-4133 家具人工制品subclass
(subclass GameArtifact Artifact) Mid-level-ontology.kif 18363-18363 游戏神器人工制品subclass
(subclass GrabBar Artifact) Mid-level-ontology.kif 28376-28376 GrabBar人工制品subclass
(subclass GunChamber Artifact) Mid-level-ontology.kif 1315-1315 GunChamber人工制品subclass
(subclass GunCylinder Artifact) Mid-level-ontology.kif 2074-2074 GunCylinder人工制品subclass
(subclass GunMuzzle Artifact) Mid-level-ontology.kif 1354-1354 GunMuzzle人工制品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 1518-1518 engineers 的 2 数量 是 人工制品instance
(domain equipmentType 1 Artifact) Mid-level-ontology.kif 25986-25986 设备类型 的 1 数量 是 人工制品instance
(domain powerComponent 2 Artifact) Mid-level-ontology.kif 2198-2198 功率元件 的 2 数量 是 人工制品instance
(domain thirdPartyProduct 1 Artifact) ComputingBrands.kif 3920-3920 thirdPartyProduct 的 1 数量 是 人工制品instance
(domainSubclass version 1 Artifact) Merge.kif 15855-15855 版本 的 1 数量 是 人工制品subclass
(domainSubclass version 2 Artifact) Merge.kif 15856-15856 版本 的 2 数量 是 人工制品subclass

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


(=>
    (and
        (instance ?A Artifact)
        (attribute ?A NonRepairable))
    (not
        (exists (?R)
            (and
                (instance ?R Repairing)
                (patient ?R ?A)))))
Mid-level-ontology.kif 7914-7922
(=>
    (and
        (instance ?A Artifact)
        (attribute ?A Repairable))
    (exists (?R)
        (and
            (instance ?R Repairing)
            (patient ?R ?A))))
Mid-level-ontology.kif 7901-7908
(=>
    (and
        (instance ?P ThreeDPrinting)
        (instance ?O Artifact)
        (result ?P ?O))
    (exists (?A ?X ?B ?Y)
        (and
            (instance ?A Making)
            (subProcess ?A ?P)
            (instance ?X SelfConnectedObject)
            (part ?X ?O)
            (result ?A ?X)
            (instance ?B Making)
            (subProcess ?B ?P)
            (instance ?Y SelfConnectedObject)
            (part ?Y ?O)
            (overlapsSpatially ?X ?Y)
            (orientation ?X ?Y Below)
            (during
                (WhenFn ?A)
                (WhenFn ?P))
            (during
                (WhenFn ?B)
                (WhenFn ?P))
            (earlier
                (WhenFn ?A)
                (WhenFn ?B)))))
QoSontology.kif 537-563
(=>
    (instance ?ARTIFACT Artifact)
    (exists (?MAKING)
        (and
            (instance ?MAKING Making)
            (result ?MAKING ?ARTIFACT))))
Merge.kif 15835-15840

consequent
-------------------------


(=>
    (and
        (instance ?CG CapitalMeanOfProduction)
        (attribute ?CGO ?CG))
    (exists (?M ?A ?MONEY ?AGENT ?PROPERTYITEM)
        (or
            (and
                (instance ?MONEY Currency)
                (equal ?CGO ?MONEY))
            (and
                (element ?PROPERTYITEM
                    (PropertyFn ?AGENT))
                (equal ?PROPERTYITEM ?CGO))
            (and
                (instance ?A Artifact)
                (equal ?CGO ?A)))))
Economy.kif 6116-6130
(=>
    (and
        (instance ?X OrderingParts)
        (patient ?X ?P))
    (exists (?A ?M)
        (and
            (part ?P ?A)
            (instance ?A Artifact)
            (instance ?M Manufacture)
            (result ?M ?A)
            (subProcess ?X ?M))))
Economy.kif 2090-2100
(=>
    (and
        (instance ?X PartInspection)
        (patient ?X ?P)
        (instance ?P SelfConnectedObject))
    (exists (?A ?M)
        (and
            (part ?P ?A)
            (instance ?A Artifact)
            (instance ?M Manufacture)
            (result ?M ?A)
            (subProcess ?X ?M))))
Economy.kif 2059-2070
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (instance ?O Artifact))
Mid-level-ontology.kif 32954-32959
(=>
    (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 6089-6109
(=>
    (instance ?MAKING Making)
    (exists (?ARTIFACT)
        (and
            (instance ?ARTIFACT Artifact)
            (result ?MAKING ?ARTIFACT))))
Merge.kif 12971-12976
(=>
    (instance ?P ProductAssembly)
    (exists (?O ?Q ?W)
        (and
            (patient ?P ?O)
            (patient ?P ?Q)
            (not
                (equal ?O ?Q))
            (instance ?O SelfConnectedObject)
            (instance ?Q SelfConnectedObject)
            (part ?O ?W)
            (part ?Q ?W)
            (instance ?W Artifact)
            (result ?P ?W))))
Economy.kif 2149-2162
(=>
    (instance ?P ThreeDPrinting)
    (exists (?X ?A)
        (and
            (instance ?X DigitalData)
            (represents ?X ?A)
            (instance ?A Artifact)
            (result ?P ?A))))
QoSontology.kif 505-512
(=>
    (instance ?PLAN Blueprint)
    (hasPurpose ?PLAN
        (exists (?ARTIFACT)
            (and
                (instance ?ARTIFACT Artifact)
                (represents ?PLAN ?ARTIFACT)))))
Mid-level-ontology.kif 14572-14578
(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M ?W)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))
Mid-level-ontology.kif 8019-8026
(=>
    (instance ?W Wickering)
    (hasPurpose ?W
        (exists (?WICK ?OBJ ?WARP ?WEFT)
            (and
                (instance ?WICK Wicker)
                (patient ?W ?WICK)
                (part ?WARP ?WICK)
                (part ?WEFT ?WICK)
                (traverses ?WARP ?WEFT)
                (not
                    (equal ?WARP ?WEFT))
                (result ?W ?OBJ)
                (instance ?OBJ Artifact)))))
Mid-level-ontology.kif 5052-5065
(=>
    (instance ?WEAVE Weaving)
    (hasPurpose ?WEAVE
        (exists (?SUB ?WARP ?WEFT ?OBJ)
            (and
                (instance ?SUB Substance)
                (attribute ?SUB Pliable)
                (patient ?WEAVE ?SUB)
                (part ?WARP ?SUB)
                (part ?WEFT ?SUB)
                (not
                    (equal ?WARP ?WEFT))
                (orientation ?WARP ?WEFT RightAngle)
                (result ?WEAVE ?OBJ)
                (instance ?OBJ Artifact)))))
Mid-level-ontology.kif 5071-5085
(=>
    (instance ?X ArtifactMediatedCommunication)
    (exists (?OBJ)
        (and
            (instance ?OBJ Artifact)
            (instrument ?X ?OBJ))))
Mid-level-ontology.kif 28914-28919
(=>
    (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 28638-28647
(=>
    (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 28128-28142
(=>
    (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 28618-28631


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 3.0 is open source software produced by Articulate Software and its partners