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 15817-15818
(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 15816-15816 アーチファクト は オブジェクト の subclass では

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


(disjoint NaturalSatellite Artifact) Geography.kif 3376-3376 NaturalSatellite と アーチファクト は disjoint では
(disjoint Organism Artifact) Merge.kif 14494-14494 物 と アーチファクト は disjoint では
(subclass AnimalResidence Artifact) Mid-level-ontology.kif 8152-8152 AnimalResidence は アーチファクト の subclass では
(subclass Armor Artifact) MilitaryDevices.kif 1766-1766 Armor は アーチファクト の subclass では
(subclass ArtWork Artifact) Merge.kif 15974-15974 芸術作品 は アーチファクト の subclass では
(subclass Bandage Artifact) Mid-level-ontology.kif 6623-6623 Bandage は アーチファクト の 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 BoardOrBlock は アーチファクト の subclass では
(subclass BoatDeck Artifact) Mid-level-ontology.kif 4693-4693 BoatDeck は アーチファクト の 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 16100-16100 デバイス は アーチファクト の subclass では
(subclass DisplayArtifact Artifact) Mid-level-ontology.kif 3796-3796 DisplayArtifact は アーチファクト の subclass では
(subclass Document Artifact) Mid-level-ontology.kif 28288-28288 Document は アーチファクト の subclass では
(subclass EngineCylinder Artifact) Cars.kif 307-307 EngineCylinder は アーチファクト の subclass では
(subclass Fabric Artifact) Merge.kif 16014-16014 布（地） は アーチファクト の subclass では
(subclass Forestock Artifact) Mid-level-ontology.kif 1457-1457 Forestock は アーチファクト の subclass では
(subclass Furniture Artifact) Mid-level-ontology.kif 4133-4133 Furniture は アーチファクト の subclass では
(subclass GameArtifact Artifact) Mid-level-ontology.kif 18363-18363 GameArtifact は アーチファクト の subclass では
(subclass GrabBar Artifact) Mid-level-ontology.kif 28378-28378 GrabBar は アーチファクト の subclass では
(subclass GunChamber Artifact) Mid-level-ontology.kif 1315-1315 GunChamber は アーチファクト の subclass では
(subclass GunCylinder Artifact) Mid-level-ontology.kif 2074-2074 GunCylinder は アーチファクト の 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 25988-25988 equipmentType の数値 1 引数は アーチファクト の instance では
(domain powerComponent 2 Artifact) Mid-level-ontology.kif 2198-2198 powerComponent の数値 2 引数は アーチファクト の instance では
(domain thirdPartyProduct 1 Artifact) ComputingBrands.kif 3920-3920 thirdPartyProduct の数値 1 引数は アーチファクト の instance では
(domainSubclass version 1 Artifact) Merge.kif 15840-15840 version の数値 1 引数は アーチファクト のsubclass では
(domainSubclass version 2 Artifact) Merge.kif 15841-15841 version の数値 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 15820-15825

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 32956-32961
(=>
    (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 12956-12961
(=>
    (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 28916-28921
(=>
    (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 28640-28649
(=>
    (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 28130-28144
(=>
    (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 28620-28633


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