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, Artefato, 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, Manufatto, Mason_jar, Masonite, Menorah, Mobius_strip, Moorish_arch, Morris_chair, Nissen_hut, POB, PO_Box, Pandora's_box, Post-Office_box, Quaker_gun...

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


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

Merge.kif 15753-15753
s__documentation(s__Artifact,s__EnglishLanguage,'An Object that is the product of a Making.')

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

pictureList.kif 10454-10454 "http://upload.wikimedia.org/wikipedia/commons/0/01/ Bronze_age_weapons_Romania.jpg" is a URL depicting artifact
s__externalImage(s__Artifact,'http://upload.wikimedia.org/wikipedia/commons/3/35/Colt_Python.JPG')

pictureList.kif 10456-10456 "http://upload.wikimedia.org/wikipedia/commons/3/35/ Colt_Python.JPG" is a URL depicting artifact
s__externalImage(s__Artifact,'http://upload.wikimedia.org/wikipedia/commons/7/7b/Hammer2.jpg')

pictureList.kif 9909-9909 "http://upload.wikimedia.org/wikipedia/commons/7/7b/ Hammer2.jpg" is a URL depicting artifact
s__externalImage(s__Artifact,'http://upload.wikimedia.org/wikipedia/commons/b/b5/Anforagrega-atenas.jpg')

pictureList.kif 10455-10455 "http://upload.wikimedia.org/wikipedia/commons/b/b5/ Anforagrega-atenas.jpg" is a URL depicting artifact
s__instance(s__Object,s__SetOrClass)

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

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


s__disjoint(s__NaturalSatellite,s__Artifact)

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

Merge.kif 14336-14336 Organism is disjoint from artifact
s__subclass(s__AgriculturalArtifact,s__Artifact)

Society.kif 976-976 AgriculturalArtifact is a subclass of artifact
s__subclass(s__AnimalResidence,s__Artifact)

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

MilitaryDevices.kif 1608-1608 Armor is a subclass of artifact
s__subclass(s__ArtWork,s__Artifact)

Merge.kif 15940-15940 Art work is a subclass of artifact
s__subclass(s__BedFrame,s__Artifact)

Mid-level-ontology.kif 4531-4531 Bed frame is a subclass of artifact
s__subclass(s__BedLinen,s__Artifact)

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

Society.kif 1149-1149 BeverageArtifact is a subclass of artifact
s__subclass(s__BoardOrBlock,s__Artifact)

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

Mid-level-ontology.kif 4724-4724 Boat deck is a subclass of artifact
s__subclass(s__Cement,s__Artifact)

Society.kif 562-562 Cement is a subclass of artifact
s__subclass(s__Chain,s__Artifact)

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

Cars.kif 4388-4388 Chain link is a subclass of artifact
s__subclass(s__ChemicalArtifact,s__Artifact)

Society.kif 563-563 ChemicalArtifact is a subclass of artifact
s__subclass(s__Concrete,s__Artifact)

Society.kif 564-564 Concrete is a subclass of artifact
s__instance(s__ConsumerGood,s__SetOrClass)

Society.kif 565-565 ConsumerGood is a subclass of artifact
s__instance(s__Device,s__SetOrClass)

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

Mid-level-ontology.kif 3890-3890 Display artifact is a subclass of artifact
s__subclass(s__Document,s__Artifact)

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

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

Merge.kif 15984-15984 Fabric is a subclass of artifact
s__instance(s__FoodArtifact,s__SetOrClass)

Society.kif 1315-1315 FoodArtifact is a subclass of artifact
s__instance(s__Artifact,s__SetOrClass)

Society.kif 1366-1366 ForestArtifact is a subclass of artifact
s__instance(s__Furniture,s__SetOrClass)

Mid-level-ontology.kif 4225-4225 Furniture 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,2,s__Artifact)

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

Mid-level-ontology.kif 21996-21996 The number 1 argument of equipment type is an instance of artifact
s__domainSubclass(s__powerComponent__m,2,s__Artifact)

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

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

Merge.kif 15777-15777 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 15755-15760

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


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 12685-12690
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10835-10841
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6517-6524
( ! [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 25175-25180
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24790-24799
( ! [V__X,V__SIDE1,V__SIDE2,V__BED] :
   (s__instance(V__X,s__FourPosterBed) =>
     (? [V__SHAPE] :
       (s__attribute(V__X,V__SHAPE)
       &
       s__instance(V__SHAPE,s__Quadrilateral) &
       (! [V__CORNER] :
         ((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__BED,V__FLOOR,s__On) &
       s__orientation(V__POST,V__FLOOR,s__Vertical))))))))
)

Mid-level-ontology.kif 4550-4569
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24136-24150
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24770-24783
( ! [V__G,V__O] :
   (s__powerComponent(V__G,V__O)
   =>
   (s__instance(V__G,s__Device) &
     s__instance(V__O,s__Artifact)))
)

Mid-level-ontology.kif 2148-2152


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners