Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Artifact

 Sigma KEE - Artifact
Artifact(Manufatto)

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 15728-15729
(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 15727-15727 Manufatto è una sottoclasse di Oggetto

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


(disjoint NaturalSatellite Artifact) Geography.kif 3388-3388 NaturalSatellite è disgiunto da Manufatto
(disjoint Organism Artifact) Merge.kif 14402-14402 Organismo è disgiunto da Manufatto
(subclass AnimalResidence Artifact) Mid-level-ontology.kif 7018-7018 AnimalResidence è una sottoclasse di Manufatto
(subclass Armor Artifact) MilitaryDevices.kif 1609-1609 Armor è una sottoclasse di Manufatto
(subclass ArtWork Artifact) Merge.kif 15885-15885 OperaD'Arte è una sottoclasse di Manufatto
(subclass Bandage Artifact) Mid-level-ontology.kif 5680-5680 Bandage è una sottoclasse di Manufatto
(subclass BedFrame Artifact) Mid-level-ontology.kif 4042-4042 BedFrame è una sottoclasse di Manufatto
(subclass BedLinen Artifact) Mid-level-ontology.kif 4115-4115 BedLinen è una sottoclasse di Manufatto
(subclass BoardOrBlock Artifact) Mid-level-ontology.kif 4736-4736 BoardOrBlock è una sottoclasse di Manufatto
(subclass BoatDeck Artifact) Mid-level-ontology.kif 4243-4243 BoatDeck è una sottoclasse di Manufatto
(subclass Chain Artifact) Cars.kif 4367-4367 Chain è una sottoclasse di Manufatto
(subclass ChainLink Artifact) Cars.kif 4409-4409 ChainLink è una sottoclasse di Manufatto
(subclass Device Artifact) Merge.kif 16011-16011 Dispositivo è una sottoclasse di Manufatto
(subclass DisplayArtifact Artifact) Mid-level-ontology.kif 3346-3346 DisplayArtifact è una sottoclasse di Manufatto
(subclass Document Artifact) Mid-level-ontology.kif 26420-26420 Document è una sottoclasse di Manufatto
(subclass EngineCylinder Artifact) Cars.kif 307-307 EngineCylinder è una sottoclasse di Manufatto
(subclass Fabric Artifact) Merge.kif 15925-15925 Stoffa è una sottoclasse di Manufatto
(subclass Furniture Artifact) Mid-level-ontology.kif 3683-3683 Furniture è una sottoclasse di Manufatto
(subclass GameArtifact Artifact) Mid-level-ontology.kif 17003-17003 GameArtifact è una sottoclasse di Manufatto
(subclass GrabBar Artifact) Mid-level-ontology.kif 26510-26510 GrabBar è una sottoclasse di Manufatto
(subclass InteriorVehicleEquipment Artifact) Cars.kif 4674-4674 InteriorVehicleEquipment è una sottoclasse di Manufatto
(subclass IrrigationChannel Artifact) Geography.kif 5701-5701 IrrigationChannel è una sottoclasse di Manufatto
(subclass Ladder Artifact) Mid-level-ontology.kif 15136-15136 Ladder è una sottoclasse di Manufatto
(subclass Mast Artifact) Mid-level-ontology.kif 1494-1494 Mast è una sottoclasse di Manufatto
(subclass Mattress Artifact) Mid-level-ontology.kif 4022-4022 Mattress è una sottoclasse di Manufatto

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 Il numero 2 argomenti di engineers è un istanza di Manufatto
(domain equipmentType 1 Artifact) Mid-level-ontology.kif 24381-24381 Il numero 1 argomenti di equipmentType è un istanza di Manufatto
(domain powerComponent 2 Artifact) Mid-level-ontology.kif 1728-1728 Il numero 2 argomenti di powerComponent è un istanza di Manufatto
(domain thirdPartyProduct 1 Artifact) ComputingBrands.kif 3925-3925 Il numero 1 argomenti di thirdPartyProduct è un istanza di Manufatto
(domainSubclass version 1 Artifact) Merge.kif 15751-15751 Il numero 1 argomento version è una sottoclasse diManufatto
(domainSubclass version 2 Artifact) Merge.kif 15752-15752 Il numero 2 argomento version è una sottoclasse diManufatto

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


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

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


(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (instance ?O Artifact))		 Mid-level-ontology.kif 31042-31047
(=>
    (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 12863-12868
(=>
    (instance ?PLAN Blueprint)
    (hasPurpose ?PLAN
        (exists (?ARTIFACT)
            (and
                (instance ?ARTIFACT Artifact)
                (represents ?PLAN ?ARTIFACT)))))		 Mid-level-ontology.kif 13260-13266
(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M ?W)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))		 Mid-level-ontology.kif 6885-6892
(=>
    (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 4602-4615
(=>
    (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 4621-4635
(=>
    (instance ?X ArtifactMediatedCommunication)
    (exists (?OBJ)
        (and
            (instance ?OBJ Artifact)
            (instrument ?X ?OBJ))))		 Mid-level-ontology.kif 27048-27053
(=>
    (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 26772-26781
(=>
    (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 26262-26276
(=>
    (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 26752-26765


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