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 15682-15683
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Bronze_age_weapons_Romania.jpg") pictureList.kif 10433-10433
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Colt_Python.JPG") pictureList.kif 10435-10435
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Hammer2.jpg") pictureList.kif 9891-9891
(externalImage Artifact "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Anforagrega-atenas.jpg") pictureList.kif 10434-10434
(subclass Artifact Object) Merge.kif 15681-15681 アーチファクトオブジェクトsubclass では %n

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


(disjoint NaturalSatellite Artifact) Geography.kif 3388-3388 NaturalSatelliteアーチファクトdisjoint では %n
(disjoint Organism Artifact) Merge.kif 14356-14356 アーチファクトdisjoint では %n
(subclass AnimalResidence Artifact) Mid-level-ontology.kif 6991-6991 AnimalResidenceアーチファクトsubclass では %n
(subclass Armor Artifact) MilitaryDevices.kif 1609-1609 Armorアーチファクトsubclass では %n
(subclass ArtWork Artifact) Merge.kif 15839-15839 芸術作品アーチファクトsubclass では %n
(subclass Bandage Artifact) Mid-level-ontology.kif 5686-5686 Bandageアーチファクトsubclass では %n
(subclass BedFrame Artifact) Mid-level-ontology.kif 4049-4049 BedFrameアーチファクトsubclass では %n
(subclass BedLinen Artifact) Mid-level-ontology.kif 4122-4122 BedLinenアーチファクトsubclass では %n
(subclass BoardOrBlock Artifact) Mid-level-ontology.kif 4741-4741 BoardOrBlockアーチファクトsubclass では %n
(subclass BoatDeck Artifact) Mid-level-ontology.kif 4250-4250 BoatDeckアーチファクトsubclass では %n
(subclass Chain Artifact) Cars.kif 4382-4382 Chainアーチファクトsubclass では %n
(subclass ChainLink Artifact) Cars.kif 4424-4424 ChainLinkアーチファクトsubclass では %n
(subclass Device Artifact) Merge.kif 15939-15939 デバイスアーチファクトsubclass では %n
(subclass DisplayArtifact Artifact) Mid-level-ontology.kif 3353-3353 DisplayArtifactアーチファクトsubclass では %n
(subclass Document Artifact) Mid-level-ontology.kif 26387-26387 Documentアーチファクトsubclass では %n
(subclass EngineCylinder Artifact) Cars.kif 307-307 EngineCylinderアーチファクトsubclass では %n
(subclass Fabric Artifact) Merge.kif 15879-15879 布(地)アーチファクトsubclass では %n
(subclass Furniture Artifact) Mid-level-ontology.kif 3690-3690 Furnitureアーチファクトsubclass では %n
(subclass GameArtifact Artifact) Mid-level-ontology.kif 16976-16976 GameArtifactアーチファクトsubclass では %n
(subclass GrabBar Artifact) Mid-level-ontology.kif 26477-26477 GrabBarアーチファクトsubclass では %n
(subclass InteriorVehicleEquipment Artifact) Cars.kif 4689-4689 InteriorVehicleEquipmentアーチファクトsubclass では %n
(subclass IrrigationChannel Artifact) Geography.kif 5701-5701 IrrigationChannelアーチファクトsubclass では %n
(subclass Ladder Artifact) Mid-level-ontology.kif 15109-15109 Ladderアーチファクトsubclass では %n
(subclass Mast Artifact) Mid-level-ontology.kif 1501-1501 Mastアーチファクトsubclass では %n
(subclass Mattress Artifact) Mid-level-ontology.kif 4029-4029 Mattressアーチファクトsubclass では %n

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 1205-1205 engineers の数値 2 引数は アーチファクトinstance では %n
(domain equipmentType 1 Artifact) Mid-level-ontology.kif 24324-24324 equipmentType の数値 1 引数は アーチファクトinstance では %n
(domain powerComponent 2 Artifact) Mid-level-ontology.kif 1735-1735 powerComponent の数値 2 引数は アーチファクトinstance では %n
(domain thirdPartyProduct 1 Artifact) ComputingBrands.kif 3925-3925 thirdPartyProduct の数値 1 引数は アーチファクトinstance では %n
(domainSubclass version 1 Artifact) Merge.kif 15705-15705 version の数値 1 引数は アーチファクトsubclass では %n
(domainSubclass version 2 Artifact) Merge.kif 15706-15706 version の数値 2 引数は アーチファクトsubclass では %n

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


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

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


(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (instance ?O Artifact))
Mid-level-ontology.kif 31018-31023
(=>
    (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 5747-5767
(=>
    (instance ?MAKING Making)
    (exists (?ARTIFACT)
        (and
            (instance ?ARTIFACT Artifact)
            (result ?MAKING ?ARTIFACT))))
Merge.kif 12817-12822
(=>
    (instance ?PLAN Blueprint)
    (hasPurpose ?PLAN
        (exists (?ARTIFACT)
            (and
                (instance ?ARTIFACT Artifact)
                (represents ?PLAN ?ARTIFACT)))))
Mid-level-ontology.kif 13233-13239
(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M ?W)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))
Mid-level-ontology.kif 6858-6865
(=>
    (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 4607-4620
(=>
    (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 4626-4640
(=>
    (instance ?X ArtifactMediatedCommunication)
    (exists (?OBJ)
        (and
            (instance ?OBJ Artifact)
            (instrument ?X ?OBJ))))
Mid-level-ontology.kif 27015-27020
(=>
    (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 26739-26748
(=>
    (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 26229-26243
(=>
    (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 26719-26732


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