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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Artifact
Artifact(Artefato)

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 15704-15705
(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 15703-15703 Artefato e' uma sub-classe de Objeto

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


(disjoint NaturalSatellite Artifact) Geography.kif 3388-3388 NaturalSatellite e' disjunto de Artefato
(disjoint Organism Artifact) Merge.kif 14378-14378 Organismo e' disjunto de Artefato
(subclass AnimalResidence Artifact) Mid-level-ontology.kif 6990-6990 AnimalResidence e' uma sub-classe de Artefato
(subclass Armor Artifact) MilitaryDevices.kif 1609-1609 Armor e' uma sub-classe de Artefato
(subclass ArtWork Artifact) Merge.kif 15861-15861 Objeto de Arte e' uma sub-classe de Artefato
(subclass Bandage Artifact) Mid-level-ontology.kif 5685-5685 Bandage e' uma sub-classe de Artefato
(subclass BedFrame Artifact) Mid-level-ontology.kif 4049-4049 BedFrame e' uma sub-classe de Artefato
(subclass BedLinen Artifact) Mid-level-ontology.kif 4122-4122 BedLinen e' uma sub-classe de Artefato
(subclass BoardOrBlock Artifact) Mid-level-ontology.kif 4741-4741 BoardOrBlock e' uma sub-classe de Artefato
(subclass BoatDeck Artifact) Mid-level-ontology.kif 4250-4250 BoatDeck e' uma sub-classe de Artefato
(subclass Chain Artifact) Cars.kif 4390-4390 Chain e' uma sub-classe de Artefato
(subclass ChainLink Artifact) Cars.kif 4432-4432 ChainLink e' uma sub-classe de Artefato
(subclass Device Artifact) Merge.kif 15961-15961 Aparelho e' uma sub-classe de Artefato
(subclass DisplayArtifact Artifact) Mid-level-ontology.kif 3353-3353 DisplayArtifact e' uma sub-classe de Artefato
(subclass Document Artifact) Mid-level-ontology.kif 26375-26375 Document e' uma sub-classe de Artefato
(subclass EngineCylinder Artifact) Cars.kif 307-307 EngineCylinder e' uma sub-classe de Artefato
(subclass Fabric Artifact) Merge.kif 15901-15901 Tecido e' uma sub-classe de Artefato
(subclass Furniture Artifact) Mid-level-ontology.kif 3690-3690 Furniture e' uma sub-classe de Artefato
(subclass GameArtifact Artifact) Mid-level-ontology.kif 16975-16975 GameArtifact e' uma sub-classe de Artefato
(subclass GrabBar Artifact) Mid-level-ontology.kif 26465-26465 GrabBar e' uma sub-classe de Artefato
(subclass InteriorVehicleEquipment Artifact) Cars.kif 4697-4697 InteriorVehicleEquipment e' uma sub-classe de Artefato
(subclass IrrigationChannel Artifact) Geography.kif 5701-5701 IrrigationChannel e' uma sub-classe de Artefato
(subclass Ladder Artifact) Mid-level-ontology.kif 15108-15108 Ladder e' uma sub-classe de Artefato
(subclass Mast Artifact) Mid-level-ontology.kif 1501-1501 Mast e' uma sub-classe de Artefato
(subclass Mattress Artifact) Mid-level-ontology.kif 4029-4029 Mattress e' uma sub-classe de Artefato

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 O argumento numero 2 de engineers e' uma instancia de Artefato
(domain equipmentType 1 Artifact) Mid-level-ontology.kif 24323-24323 O argumento numero 1 de equipmentType e' uma instancia de Artefato
(domain powerComponent 2 Artifact) Mid-level-ontology.kif 1735-1735 O argumento numero 2 de powerComponent e' uma instancia de Artefato
(domain thirdPartyProduct 1 Artifact) ComputingBrands.kif 3925-3925 O argumento numero 1 de thirdPartyProduct e' uma instancia de Artefato
(domainSubclass version 1 Artifact) Merge.kif 15727-15727 O argumento numero 1 de version e' uma sub-classe de Artefato
(domainSubclass version 2 Artifact) Merge.kif 15728-15728 O argumento numero 2 de version e' uma sub-classe de Artefato

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


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

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


(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (instance ?O Artifact))		 Mid-level-ontology.kif 31006-31011
(=>
    (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 12839-12844
(=>
    (instance ?PLAN Blueprint)
    (hasPurpose ?PLAN
        (exists (?ARTIFACT)
            (and
                (instance ?ARTIFACT Artifact)
                (represents ?PLAN ?ARTIFACT)))))		 Mid-level-ontology.kif 13232-13238
(=>
    (instance ?S Workshop)
    (hasPurpose ?S
        (exists (?M ?W)
            (and
                (instance ?M Making)
                (result ?M ?W)
                (instance ?W Artifact)))))		 Mid-level-ontology.kif 6857-6864
(=>
    (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 27003-27008
(=>
    (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 26727-26736
(=>
    (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 26217-26231
(=>
    (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 26707-26720


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