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 15400-15401
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Bronze_age_weapons_Romania.jpg") pictureList.kif 10443-10443
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Colt_Python.JPG") pictureList.kif 10445-10445
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Hammer2.jpg") pictureList.kif 9899-9899
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Anforagrega-atenas.jpg") pictureList.kif 10444-10444
(subclass Artifact Object) Merge.kif 15399-15399 人工制品客体subclass

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


(disjoint NaturalSatellite Artifact) Geography.kif 3310-3310 天然卫星 和 % 2 是 disjoint
(disjoint Organism Artifact) Merge.kif 14088-14088 生物 和 % 2 是 disjoint
(subclass AnimalResidence Artifact) Mid-level-ontology.kif 6651-6651 动物住所人工制品subclass
(subclass Armor Artifact) MilitaryDevices.kif 1609-1609 盔甲人工制品subclass
(subclass ArtWork Artifact) Merge.kif 15557-15557 艺术品人工制品subclass
(subclass BedFrame Artifact) Mid-level-ontology.kif 3947-3947 BedFrame人工制品subclass
(subclass BedLinen Artifact) Mid-level-ontology.kif 4013-4013 BedLinen人工制品subclass
(subclass BoardOrBlock Artifact) Mid-level-ontology.kif 4475-4475 板或块人工制品subclass
(subclass BoatDeck Artifact) Mid-level-ontology.kif 4141-4141 船甲板人工制品subclass
(subclass Chain Artifact) Cars.kif 4385-4385 Chain人工制品subclass
(subclass ChainLink Artifact) Cars.kif 4427-4427 ChainLink人工制品subclass
(subclass Device Artifact) Merge.kif 15657-15657 设备人工制品subclass
(subclass DisplayArtifact Artifact) Mid-level-ontology.kif 3305-3305 显示神器人工制品subclass
(subclass Document Artifact) Mid-level-ontology.kif 25750-25750 Document人工制品subclass
(subclass EngineCylinder Artifact) Cars.kif 307-307 EngineCylinder人工制品subclass
(subclass Fabric Artifact) Merge.kif 15597-15597 织品人工制品subclass
(subclass Furniture Artifact) Mid-level-ontology.kif 3642-3642 家具人工制品subclass
(subclass GameArtifact Artifact) Mid-level-ontology.kif 16395-16395 游戏神器人工制品subclass
(subclass GrabBar Artifact) Mid-level-ontology.kif 25840-25840 GrabBar人工制品subclass
(subclass InteriorVehicleEquipment Artifact) Cars.kif 4692-4692 InteriorVehicleEquipment人工制品subclass
(subclass IrrigationChannel Artifact) Geography.kif 5598-5598 引河人工制品subclass
(subclass Ladder Artifact) Mid-level-ontology.kif 14553-14553 阶梯人工制品subclass
(subclass Mast Artifact) Mid-level-ontology.kif 1456-1456 桅杆人工制品subclass
(subclass Mattress Artifact) Mid-level-ontology.kif 3927-3927 Mattress人工制品subclass
(subclass MilitaryArtifact Artifact) Mid-level-ontology.kif 17221-17221 军事人工品人工制品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 23681-23681 设备类型 的 1 数量 是 人工制品instance
(domain thirdPartyProduct 1 Artifact) ComputingBrands.kif 3888-3888 thirdPartyProduct 的 1 数量 是 人工制品instance
(domainSubclass powerComponent 2 Artifact) Transportation.kif 1710-1710 功率元件 的 2 数量 是 人工制品subclass
(domainSubclass version 1 Artifact) Merge.kif 15423-15423 版本 的 1 数量 是 人工制品subclass
(domainSubclass version 2 Artifact) Merge.kif 15424-15424 版本 的 2 数量 是 人工制品subclass

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


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

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


(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (instance ?O Artifact))
Mid-level-ontology.kif 30394-30399
(=>
    (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 4790-4810
(=>
    (instance ?MAKING Making)
    (exists (?ARTIFACT)
        (and
            (instance ?ARTIFACT Artifact)
            (result ?MAKING ?ARTIFACT))))
Merge.kif 12579-12584
(=>
    (instance ?PLAN Blueprint)
    (hasPurpose ?PLAN
        (exists (?ARTIFACT)
            (and
                (instance ?ARTIFACT Artifact)
                (represents ?PLAN ?ARTIFACT)))))
Mid-level-ontology.kif 12694-12700
(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))
Mid-level-ontology.kif 6518-6525
(=>
    (instance ?X ArtifactMediatedCommunication)
    (exists (?OBJ)
        (and
            (instance ?OBJ Artifact)
            (instrument ?X ?OBJ))))
Mid-level-ontology.kif 26385-26390
(=>
    (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 26087-26096
(=>
    (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 3966-3985
(=>
    (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 25595-25609
(=>
    (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 26067-26080
(=>
    (powerComponent ?G ?O)
    (and
        (instance ?G Device)
        (instance ?O Artifact)))
Mid-level-ontology.kif 1691-1695


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