]> 2008/06/10 OpenCyc Knowledge Base Copyright© 2001-2008 Cycorp, Inc., http://www.cyc.com/, Austin, TX, USA This file contains an OWL representation of information contained in the OpenCyc Knowledge Base. The content of this OWL file is licensed under the Creative Commons Attribution 3.0 license whose text can be found at http://creativecommons.org/licenses/by/3.0/legalcode. The content of this OWL file, including the OpenCyc content it represents, constitutes the "Work" referred to in the Creative Commons license. The terms of this license equally apply to, without limitation, renamings and other logically equivalent reformulations of the content of this OWL file (or portions thereof) in any natural or formal language, as well as to derivations of this content or inclusion of it in other ontologies. externalID A unique, language-neutral, variable-sized identifier for a concept that can be used to refer unambiguously to that concept across OWL exports or across Cyc inference engines. label A natural-language representation for a concept that is both human readable and readable by the Cyc inference engine. These terms are not guaranteed to refer to the same concept across time but are guaranteed to be consistent within a particular OWL export. Use 'cycAnnot:externalID' for unambiguously referring to a concept across OWL exports or across Cyc inference engines. ArchitecturalTypeByStyle architectural style A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgkiTmnSwEdaAAACgyZzFrg" class="cyc_term">ArchitecturalTypeByStyle</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVidpZwpEbGdrcN5Y29ycA" class="cyc_term">ConstructionArtifact</a> having a particular architectual style. A building or artifact may be an instance of several architectural styles at the same time. http://en.wikipedia.org/wiki/Architectural_style architectural styles Greek architectural style The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rmHJSEHS5EdaAAACgyZzFrg" class="cyc_term">GreekArchitecturalStyle</a> is a building style developed in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveEo5pwpEbGdrcN5Y29ycA" class="cyc_term">AncientGreece</a>, with wide use of columns and pediments. It was later adopted and modified in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpkoH-HS9EdaAAACgyZzFrg" class="cyc_term">RomanArchitecturalStyle</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r-VO21nS_EdaAAACgyZzFrg" class="cyc_term">NeoclassicArchitecturalStyle</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ruVYpnnS9EdaAAACgyZzFrg" class="cyc_term">RomanesqueArchitecturalStyle</a>. GreekArchitecturalStyle PostmodernArchitecturalStyle The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rQ_F7BnS7EdaAAACgyZzFrg" class="cyc_term">PostmodernArchitecturalStyle</a> is a style of building design that became popular in the late 20th Century. It is characterized by the addition of simple visible features (to what would otherwise be in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPQTvXnS_EdaAAACgyZzFrg" class="cyc_term">ModernMinimalistArchitecturalStyle</a>), often self-conciously parodying or referring to classic or other motifs (like pediments) without any effort to reproduce them faithfully. Simplicity of geometric appearance, or color, may be sacrificed somewhat in order to make some 'statement'. It began to supplant the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPQTvXnS_EdaAAACgyZzFrg" class="cyc_term">ModernMinimalistArchitecturalStyle</a> before the turn of the millennium. postmodern architectural style roman architectural style RomanArchitecturalStyle The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpkoH-HS9EdaAAACgyZzFrg" class="cyc_term">RomanArchitecturalStyle</a> is a building style developed in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvo1V0JwpEbGdrcN5Y29ycA" class="cyc_term">RomanEmpire</a>. It is like the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rmHJSEHS5EdaAAACgyZzFrg" class="cyc_term">GreekArchitecturalStyle</a> in the wide use of Greek-style columns, but it is also characterized by the use of arches, barrel vaults and structural concrete. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r-VO21nS_EdaAAACgyZzFrg" class="cyc_term">NeoclassicArchitecturalStyle</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ruVYpnnS9EdaAAACgyZzFrg" class="cyc_term">RomanesqueArchitecturalStyle</a>. castle architectural style The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgW6fCnS6EdaAAACgyZzFrg" class="cyc_term">CastleArchitecturalStyle</a> is a style of building that became popular in Europe in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViHa5wpEbGdrcN5Y29ycA" class="cyc_term">TheMiddleAges</a> for castles up through the early 19th Century, and which was used for some other buildings. It is characterized by towers, turrets, crenellated stone walls and battlements, drawbridges, moats, loopholes and armorial decor. CastleArchitecturalStyle BeauxArtsArchitecturalStyle The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rBK9KTnS8EdaAAACgyZzFrg" class="cyc_term">BeauxArtsArchitecturalStyle</a> is a neo-Greek-Roman style of building design developed in Europe that became popular in the late 19th and early 20th Centuries for large buildings, especially in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj6EJwpEbGdrcN5Y29ycA" class="cyc_term">France</a>, and the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVikKpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesOfAmerica</a>. It is characterized by the use of symmetric arrangements of columns, ornate pediments, elaborate domes, and Greek and Roman style details. The U.S. federal and many states' <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQr2TpwpEbGdrcN5Y29ycA" class="cyc_term">StateCapitolBuilding</a>s are in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rBK9KTnS8EdaAAACgyZzFrg" class="cyc_term">BeauxArtsArchitecturalStyle</a>. It passed out of style in the early 20th Century. beaux arts architectural style ArtNouveauArchitecturalStyle art nouveau architectural style The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4resnC1HS-EdaAAACgyZzFrg" class="cyc_term">ArtNouveauArchitecturalStyle</a> is a style of building and furniture design that became popular in Europe and the United States of America the late 19th Century and early 20th Century. It is characterized by curved lines and forms, organic or biological-appearing ornament, and use of varied materials, colors and textures. GothicArchitecturalStyle Gothic architectural style The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rjm5QanS6EdaAAACgyZzFrg" class="cyc_term">GothicArchitecturalStyle</a> is a building style developed in Europe in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViHa5wpEbGdrcN5Y29ycA" class="cyc_term">TheMiddleAges</a> that became dominant after the heyday of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ruVYpnnS9EdaAAACgyZzFrg" class="cyc_term">RomanesqueArchitecturalStyle</a>. It is characterized by the use of pointed arches (unlike the rounded arches of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ruVYpnnS9EdaAAACgyZzFrg" class="cyc_term">RomanesqueArchitecturalStyle</a>), rose windows, flying buttresses, etc. The most famous examples are European cathedrals. art deco architectural style ArtDecoArchitecturalStyle The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r7P1fDnS_EdaAAACgyZzFrg" class="cyc_term">ArtDecoArchitecturalStyle</a> is a style of building and furniture design that became popular in Europe and the United States of America in the early 20th Century. It is characterized by repeated parallel geometric lines, arcs and forms, triangular ornaments, and use of artificial materials and colors and smooth, hard and often metallic textures. There was a concscious effort to appear 'modern' and 'streamlined'. baroque architectural style BaroqueArchitecturalStyle The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rqfezDnS5EdaAAACgyZzFrg" class="cyc_term">BaroqueArchitecturalStyle</a> is an ornate style of building developed in Europe after <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCL0JwpEbGdrcN5Y29ycA" class="cyc_term">TheRenaissance</a>, that became dominant in Europe in the 17th and 18th Centuries. It is characterized by the use of rich ornament and embellishments, broken lines, and Greek and Roman style details. The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r-L-o5nS7EdaAAACgyZzFrg" class="cyc_term">SpanishColonialArchitecturalStyle</a> is a building style first developed in the New World colonies of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjowpwpEbGdrcN5Y29ycA" class="cyc_term">Spain</a>, such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkAiZwpEbGdrcN5Y29ycA" class="cyc_term">Mexico</a>. It uses stucco surfaces, arches and curved skylines, with small areas of ornament. It is a popular style in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVikKpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesOfAmerica</a>. Spanish Colonial architectural style SpanishColonialArchitecturalStyle The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4riq50pnS-EdaAAACgyZzFrg" class="cyc_term">PalladianStyle</a> is a style of neoclassic architecture first popularized by the architect Andrea Palladio in the 17th Century. It became popular in Italy, England, and in derived form in the works of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzTm5wpEbGdrcN5Y29ycA" class="cyc_term">ThomasJefferson</a> in America. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r-VO21nS_EdaAAACgyZzFrg" class="cyc_term">NeoclassicArchitecturalStyle</a>. PalladianStyle palladian architectural style RococoArchitecturalStyle rococo architectural style The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r21uBwHS8EdaAAACgyZzFrg" class="cyc_term">RococoArchitecturalStyle</a> is an ornate style of building and furniture design developed in Europe in the late 17th and 18th Centuries, at the end of the heyday of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rqfezDnS5EdaAAACgyZzFrg" class="cyc_term">BaroqueArchitecturalStyle</a>. It is characterized by the use of asymmetric airy embellishments, broken lines, and Greek and Roman style details, with light curvaceous flourishes. The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVidpZwpEbGdrcN5Y29ycA" class="cyc_term">ConstructionArtifact</a> that are in the victorian style. Victorian architectural style Victorian ModernMinimalistArchitecturalStyle The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPQTvXnS_EdaAAACgyZzFrg" class="cyc_term">ModernMinimalistArchitecturalStyle</a> is a plain style of building design that became popular in the early to mid 20th Century. It is characterized by plain straight lines and planes, and only simple geometric ornament (as opposed to neoclassic or gothic), if any. 'Modernity' through severe simplicity of geometric appearance was sought. Almost every commercial and government building in the mid to late 20th Century was in this style. It began to be partially supplanted by the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rQ_F7BnS7EdaAAACgyZzFrg" class="cyc_term">PostmodernArchitecturalStyle</a> before the turn of the millennium. modern minimalist architectural style neo-classic architectural style The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVidpZwpEbGdrcN5Y29ycA" class="cyc_term">ConstructionArtifact</a> in the Neoclassical style. The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r-VO21nS_EdaAAACgyZzFrg" class="cyc_term">NeoclassicArchitecturalStyle</a> is a neo-Greek-Roman style of building design developed in Europe that became popular in the 17th through 20th Centuries, especially after the end of the heyday of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rqfezDnS5EdaAAACgyZzFrg" class="cyc_term">BaroqueArchitecturalStyle</a> and the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r21uBwHS8EdaAAACgyZzFrg" class="cyc_term">RococoArchitecturalStyle</a>.It is characterized by the use of symmetric arrangements of columns, pediments, limited embellishments, and Greek and Roman style details. NeoclassicArchitecturalStyle Egyptian architectural style EgyptianArchitecturalStyle The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rzVmrunS8EdaAAACgyZzFrg" class="cyc_term">EgyptianArchitecturalStyle</a> is a style of building design developed in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCamJwpEbGdrcN5Y29ycA" class="cyc_term">AncientEgypt</a> for thousands of years, and it was ocassionally revived in the 17th through 20th Centuries in locations around the world. It is characterized by the use of carvings or other decorations with Egyptian-style motifs, symmetric arrangements of lotus-columns, massive forms with slanted walls or pyramids, or obelisks, and a lack of pediments or other Greek and Roman style details. Romanesque architectural style The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ruVYpnnS9EdaAAACgyZzFrg" class="cyc_term">RomanesqueArchitecturalStyle</a> is a style developed in Europe after the fall of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvo1V0JwpEbGdrcN5Y29ycA" class="cyc_term">RomanEmpire</a> in the early part of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViHa5wpEbGdrcN5Y29ycA" class="cyc_term">TheMiddleAges</a> that was dominant before the heyday of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rjm5QanS6EdaAAACgyZzFrg" class="cyc_term">GothicArchitecturalStyle</a>. It is characterized by the use of rounded arches (unlike the pointed arches of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rjm5QanS6EdaAAACgyZzFrg" class="cyc_term">GothicArchitecturalStyle</a>), heavy decorated columns, and Roman-style details. RomanesqueArchitecturalStyle ArchitecturalTypeByStyle architectural style A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgkiTmnSwEdaAAACgyZzFrg" class="cyc_term">ArchitecturalTypeByStyle</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVidpZwpEbGdrcN5Y29ycA" class="cyc_term">ConstructionArtifact</a> having a particular architectual style. A building or artifact may be an instance of several architectural styles at the same time. Pretty String (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> TERM STRING) means that STRING is the English word or expression (sequence of words) commonly used to refer to TERM. The predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> is used by the code which generates CycL to English paraphrases, but its applicability is not restricted to this use. prettyString ArtisticTypeByStyle A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4re7SDpHSwEdaAAACgyZzFrg" class="cyc_term">ArtisticTypeByStyle</a> is a collection of the things that are of the represented genre/school/type. The various specializations of this collection are collections of collections that all are genres of a single type of thing. For instance, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgkiTmnSwEdaAAACgyZzFrg" class="cyc_term">ArchitecturalTypeByStyle</a> is the collection of collections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVidpZwpEbGdrcN5Y29ycA" class="cyc_term">ConstructionArtifact</a>s each one representing a particular architectural style. artistic style ArchitecturalTypeByStyle architectural style A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgkiTmnSwEdaAAACgyZzFrg" class="cyc_term">ArchitecturalTypeByStyle</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVidpZwpEbGdrcN5Y29ycA" class="cyc_term">ConstructionArtifact</a> having a particular architectual style. A building or artifact may be an instance of several architectural styles at the same time. A collection of collections of collections. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a> is the collection of all (and only) types of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>s. More precisely, a thing COLLTYPE is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a> if and only if COLLTYPE is a non-empty collection all of whose instances are collections. Example: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzQbJwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByCulture</a>, each of whose instances is the collection of all persons who participate in some particular human culture, is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>. Important specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWPoRpwpEbGdrcN5Y29ycA" class="cyc_term">DisjointCollectionType</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rviPYH5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionTypeType</a>. CollectionType type of collection ArchitecturalTypeByStyle architectural style A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgkiTmnSwEdaAAACgyZzFrg" class="cyc_term">ArchitecturalTypeByStyle</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVidpZwpEbGdrcN5Y29ycA" class="cyc_term">ConstructionArtifact</a> having a particular architectual style. A building or artifact may be an instance of several architectural styles at the same time. AtemporalNecessarilyEssentialCollectionType A collection of collections. Each instance <code><b>COL</b></code> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rqEYnNVMqEdaSKAACs0x8nw" class="cyc_term">AtemporalNecessarilyEssentialCollectionType</a> (<i>ANECT</i>) is a collection satisfying three conditions: (1) <code><b>COL</b></code> is disjoint with (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA45wpEbGdrcN5Y29ycA" class="cyc_term">disjointWith</a>) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>, (2) every instance <code><b>INST</b></code> of <code><b>COL</b></code> is an instance of <code><b>COL</b></code> essentially (i.e. <code><b>INST</b></code> is an instance of <code><b>COL</b></code>, and could not exist without being an instance of <code><b>COL</b></code>), and (3) condition (2) is a necessary truth about <code><b>COL</b></code>. <p/> Positive examples of ANECTs include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzZwpEbGdrcN5Y29ycA" class="cyc_term">Relation</a> (each of which is a collection of atemporals and is such that, necessarily, all of its instances are in it essentially). Negative examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjpUZwpEbGdrcN5Y29ycA" class="cyc_term">SpatialThing</a> (though arguably it is necessary that all of its instances are essentially instances of it, it is not disjoint with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>) and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP4FM5wpEbGdrcN5Y29ycA" class="cyc_term">UniqueAnatomicalPartType</a> (which, though disjoint with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>, has instances, such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjvDpwpEbGdrcN5Y29ycA" class="cyc_term">Heart</a>, that could exist even if they weren't instances of it; e.g. it might have been the case that every creature with a heart had at least two hearts). There are no known examples of Cyc-reified collections satisfying conditions (1) and (2) but not (3), but one can be contrived. Suppose that all of today's winning lottery numbers were primes. Now consider the collection: <p/> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrhK-JwpEbGdrcN5Y29ycA" class="cyc_term">CollectionUnionFn</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjkdpwpEbGdrcN5Y29ycA" class="cyc_term">TheSet</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrdZwpEbGdrcN5Y29ycA" class="cyc_term">PrimeNumber</a> <i>TodaysWinningLotteryNumbers</i>)) <p/> This collection is clearly disjoint with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a> and, by hypothesis, all of its instances are in it essentially (as each prime number is essentially a prime number). But this last fact is not <i>necessarily</i> true of this collection: the collection might have had instances that belonged to it only contingently (i.e. not essentially), as it might have been the case that one of today's winning lottery numbers was non-prime, and no number is such that it is essentially one of today's winning lottery numbers. <p/> When asserting that something is an instance or specialization of a given instance of ANECT, it is appropriate to do so in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r3_SgQU2iEdaCwAACs0x8nw" class="cyc_term">UniversalVocabularyMt</a> (q.v.). Indeed, ANECT was specially defined to facilitate the movement of appropriate assertions to that microtheory. <p/> Cf. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rGeylLJTfEdqAAAACs0uFOQ" class="cyc_term">PragmaticallyDecontextualizedCollection</a>. type of atemporal collection in which membership is necessarily essential ArchitecturalTypeByStyle architectural style A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgkiTmnSwEdaAAACgyZzFrg" class="cyc_term">ArchitecturalTypeByStyle</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVidpZwpEbGdrcN5Y29ycA" class="cyc_term">ConstructionArtifact</a> having a particular architectual style. A building or artifact may be an instance of several architectural styles at the same time.