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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Artifact
Artifact(artifact)
Aladdin's_lamp, Americana, Ark, Ark_of_the_Covenant, BB, BB_shot, Boston_rocker, Calvary_cross, Chinese_puzzle, Composite_order, Corinthian_order, Cuban_heel, Davis_Cup, Dixie_cup, Dorian_order, Doric_order, Dutch_door, Erlenmeyer_flask, Formica, French_door, French_heel, French_roof, French_window, Gladstone, Gladstone_bag, Gothic_arch, Holy_Grail, Ionian_order, Ionic_order, Jerusalem_cross, Jolly_Roger, Juggernaut, Kleenex, Klein_bottle, Latin_cross, Lilo, Mason_jar, Masonite, Menorah, Mobius_strip, Moorish_arch, Morris_chair, Nissen_hut, POB, PO_Box, Pandora's_box, Post-Office_box, Quaker_gun, Quonset_hut, Roman_arch...

appearance as argument number 1
-------------------------


s__documentation(s__Artifact,s__ChineseLanguage,'"这是由 Making 所产生的 Object。"')

chinese_format.kif 3579-3579
s__documentation(s__Artifact,s__EnglishLanguage,'"An Object that is the product of a Making."')

Merge.kif 14911-14912
s__externalImage(s__Artifact,'"http://upload.wikimedia.org/wikipedia/commons/0/ 01/ Bronze_age_weapons_Romania.jpg"')

pictureList.kif 10453-10453
s__externalImage(s__Artifact,'"http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Colt_Python.JPG"')

pictureList.kif 10455-10455
s__externalImage(s__Artifact,'"http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Hammer2.jpg"')

pictureList.kif 9908-9908
s__externalImage(s__Artifact,'"http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Anforagrega-atenas.jpg"')

pictureList.kif 10454-10454
s__subclass(s__Artifact,s__Object)

s__instance(s__Object,s__SetOrClass)

s__instance(s__Artifact,s__SetOrClass)

Merge.kif 14910-14910 Artifact is a subclass of object

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


s__disjoint(s__NaturalSatellite,s__Artifact)

Geography.kif 3269-3269 Natural satellite is disjoint from artifact
s__disjoint(s__Organism,s__Artifact)

Merge.kif 13671-13671 Organism is disjoint from artifact
s__instance(s__Artifact,s__SetOrClass)

s__instance(s__AnimalResidence,s__SetOrClass)

s__subclass(s__AnimalResidence,s__Artifact)

Mid-level-ontology.kif 6477-6477 Animal residence is a subclass of artifact
s__instance(s__Armor,s__SetOrClass)

s__subclass(s__Armor,s__Artifact)

s__instance(s__Artifact,s__SetOrClass)

MilitaryDevices.kif 1609-1609 Armor is a subclass of artifact
s__instance(s__Artifact,s__SetOrClass)

s__instance(s__ArtWork,s__SetOrClass)

s__subclass(s__ArtWork,s__Artifact)

Merge.kif 15068-15068 Art work is a subclass of artifact
s__instance(s__Artifact,s__SetOrClass)

s__subclass(s__BedFrame,s__Artifact)

s__instance(s__BedFrame,s__SetOrClass)

Mid-level-ontology.kif 3928-3928 Bed frame is a subclass of artifact
s__instance(s__BedLinen,s__SetOrClass)

s__instance(s__Artifact,s__SetOrClass)

s__subclass(s__BedLinen,s__Artifact)

Mid-level-ontology.kif 3993-3993 Bed linen is a subclass of artifact
s__instance(s__BoardOrBlock,s__SetOrClass)

s__subclass(s__BoardOrBlock,s__Artifact)

s__instance(s__Artifact,s__SetOrClass)

Mid-level-ontology.kif 4455-4455 Board or block is a subclass of artifact
s__instance(s__BoatDeck,s__SetOrClass)

s__instance(s__Artifact,s__SetOrClass)

s__subclass(s__BoatDeck,s__Artifact)

Mid-level-ontology.kif 4121-4121 Boat deck is a subclass of artifact
s__instance(s__Artifact,s__SetOrClass)

s__instance(s__Chain,s__SetOrClass)

s__subclass(s__Chain,s__Artifact)

Cars.kif 4399-4399 Chain is a subclass of artifact
s__subclass(s__ChainLink,s__Artifact)

s__instance(s__Artifact,s__SetOrClass)

s__instance(s__ChainLink,s__SetOrClass)

Cars.kif 4441-4441 Chain link is a subclass of artifact
s__instance(s__Device,s__SetOrClass)

s__instance(s__Artifact,s__SetOrClass)

s__subclass(s__Device,s__Artifact)

Merge.kif 15168-15168 Device is a subclass of artifact
s__instance(s__DisplayArtifact,s__SetOrClass)

s__instance(s__Artifact,s__SetOrClass)

s__subclass(s__DisplayArtifact,s__Artifact)

Mid-level-ontology.kif 3286-3286 Display artifact is a subclass of artifact
s__instance(s__Artifact,s__SetOrClass)

s__subclass(s__Document,s__Artifact)

s__instance(s__Document,s__SetOrClass)

Mid-level-ontology.kif 24788-24788 Document is a subclass of artifact
s__instance(s__Artifact,s__SetOrClass)

s__instance(s__EngineCylinder,s__SetOrClass)

s__subclass(s__EngineCylinder,s__Artifact)

Cars.kif 307-307 EngineCylinder is a subclass of artifact
s__instance(s__Artifact,s__SetOrClass)

s__subclass(s__Fabric,s__Artifact)

s__instance(s__Fabric,s__SetOrClass)

Merge.kif 15108-15108 Fabric is a subclass of artifact
s__instance(s__Artifact,s__SetOrClass)

s__subclass(s__Furniture,s__Artifact)

s__instance(s__Furniture,s__SetOrClass)

Mid-level-ontology.kif 3623-3623 Furniture is a subclass of artifact
s__subclass(s__GameArtifact,s__Artifact)

s__instance(s__Artifact,s__SetOrClass)

s__instance(s__GameArtifact,s__SetOrClass)

Mid-level-ontology.kif 15459-15459 Game artifact is a subclass of artifact
s__subclass(s__GrabBar,s__Artifact)

s__instance(s__GrabBar,s__SetOrClass)

s__instance(s__Artifact,s__SetOrClass)

Mid-level-ontology.kif 24878-24878 Grab bar is a subclass of artifact
s__instance(s__Artifact,s__SetOrClass)

s__subclass(s__InteriorVehicleEquipment,s__Artifact)

s__instance(s__InteriorVehicleEquipment,s__SetOrClass)

Cars.kif 4713-4713 Vehicle interior is a subclass of artifact
s__subclass(s__IrrigationChannel,s__Artifact)

s__instance(s__Artifact,s__SetOrClass)

s__instance(s__IrrigationChannel,s__SetOrClass)

Geography.kif 5483-5483 Irrigation channel is a subclass of artifact
s__instance(s__Artifact,s__SetOrClass)

s__instance(s__Ladder,s__SetOrClass)

s__subclass(s__Ladder,s__Artifact)

Mid-level-ontology.kif 13656-13656 Ladder is a subclass of artifact
s__instance(s__Artifact,s__SetOrClass)

s__subclass(s__Mast,s__Artifact)

s__instance(s__Mast,s__SetOrClass)

Mid-level-ontology.kif 1438-1438 Mast is a subclass of artifact
s__instance(s__Artifact,s__SetOrClass)

s__subclass(s__Mattress,s__Artifact)

s__instance(s__Mattress,s__SetOrClass)

Mid-level-ontology.kif 3908-3908 Mattress is a subclass of artifact
s__subclass(s__MilitaryArtifact,s__Artifact)

s__instance(s__Artifact,s__SetOrClass)

s__instance(s__MilitaryArtifact,s__SetOrClass)

Mid-level-ontology.kif 16285-16285 Military artifact is a subclass of artifact

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


s__domain(s__engineers__m,n__2,s__Artifact)

engineering.kif 1204-1204 The number 2 argument of engineers is an instance of artifact
s__domain(s__equipmentType__m,n__1,s__Artifact)

Mid-level-ontology.kif 22731-22731 The number 1 argument of equipment type is an instance of artifact
s__domain(s__thirdPartyProduct__m,n__1,s__Artifact)

ComputingBrands.kif 3896-3896 The number 1 argument of third party product is an instance of artifact
s__domainSubclass(s__powerComponent__m,n__2,s__Artifact)

Transportation.kif 1710-1710 The number 2 argument of power component is a subclass of artifact
s__domainSubclass(s__version__m,n__1,s__Artifact)

Merge.kif 14934-14934 The number 1 argument of version is a subclass of artifact
s__domainSubclass(s__version__m,n__2,s__Artifact)

Merge.kif 14935-14935 The number 2 argument of version is a subclass of artifact

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


( ! [V__ARTIFACT] :
   ((s__instance(V__ARTIFACT,s__Artifact) =>
       (( ? [V__MAKING] :
           ((s__instance(V__MAKING,s__Making) &
               s__result(V__MAKING,V__ARTIFACT))))))
   )
)

Merge.kif 14914-14919

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


( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__Q,s__Quantity) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Class) &
           s__instance(V__O,V__S))
       =>
       (s__instance(V__O,s__Artifact)))))
)
)

Mid-level-ontology.kif 29431-29436
No TPTP formula. May not be expressible in strict first order. Economy.kif 4632-4652
( ! [V__MAKING] :
   ((s__instance(V__MAKING,s__Making) =>
       (( ? [V__ARTIFACT] :
           ((s__instance(V__ARTIFACT,s__Artifact) &
               s__result(V__MAKING,V__ARTIFACT))))))
   )
)

Merge.kif 12175-12180
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11820-11826
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6344-6351
( ! [V__X] :
   ((s__instance(V__X,s__ArtifactMediatedCommunication) =>
       (( ? [V__OBJ] :
           ((s__instance(V__OBJ,s__Artifact) &
               s__instrument(V__X,V__OBJ))))))
   )
)

Mid-level-ontology.kif 25423-25428
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25125-25134
( ! [V__SIDE2,V__X,V__SIDE1] :
   (((s__instance(V__SIDE2,s__OneDimensionalFigure) &
         s__instance(V__SIDE1,s__OneDimensionalFigure))
       =>
       ((s__instance(V__X,s__FourPosterBed) =>
           (( ? [V__SHAPE] :
               ((s__attribute(V__X,V__SHAPE)
                 &
                 s__instance(V__SHAPE,s__Quadrilateral) &
                 ( ! [V__CORNER] :
                   (((s__instance(V__CORNER,s__GeometricPoint) &
                         s__instance(V__CORNER,s__Object))
                       =>
                       (((s__pointOfIntersection(V__SIDE1,V__SIDE2,V__CORNER)
                           &
                           s__sideOfFigure(V__SIDE1,V__SHAPE)
                         &
                         s__sideOfFigure(V__SIDE2,V__SHAPE)
                       &
                       ~((V__SIDE1 = V__SIDE2)))
                     =>
                     (( ? [V__POST, V__FLOOR] :
                         ((s__meetsSpatially(V__CORNER,V__POST)
                           &
                           s__instance(V__POST,s__Artifact) &
                           s__instance(V__FLOOR,s__Floor) &
                           s__orientation(V__X,V__FLOOR,s__On) &
                           s__orientation(V__POST,V__FLOOR,s__Vertical)))))))))))))))))
)
)

Mid-level-ontology.kif 3947-3966
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24633-24647
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25105-25118
( ! [V__O,V__G] :
   (((s__subclass(V__O,s__Artifact) &
         s__instance(V__G,s__CorpuscularObject))
       =>
       ((s__powerComponent(V__G,V__O)
         =>
         ((s__instance(V__G,s__Device) &
             s__instance(V__O,s__Artifact))))))
   )
)

Mid-level-ontology.kif 1673-1677


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