BirthControlPill
The collection of pills which are used to regulate a woman's fertility, making her virtually infertile during the time which it is taken.
birth control pill
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.
externalID
ExistingObjectType
A collection of collections. Each instance of ExistingObjectType is a specialization of PartiallyTangible (q.v.). Moreover, each instance of ExistingObjectType is a collection that is temporally stuff-like (see TemporalStuffType) but physically-spatially object-like (see ObjectType) -- i.e. object-like with respect to some physical-spatial part-whole predicate (e.g. some specialization of properPhysicalDecompositions). Consider the collection BookCopy. BookCopy is a specialization of PartiallyTangible. Further, BookCopy is temporally stuff-like: any one of the timeSlices of a given copy COPY of (say) "Moby Dick" is still a copy of "Moby Dick". (Most collections of tangible objects are temporally stuff-like in this way.) But BookCopy is spatially object-like: if we take a scalpel and slice COPY into ten pieces, each piece is not a copy of "Moby Dick". So BookCopy is an instance of ExistingObjectType. See also StuffType and ExistingStuffType.
type of object
Pill
A small object which is used to administer some substance that is to be ingested.
pill
SpatiallyDisjointObjectType
A collection of collections and a specialization of ObjectType (q.v.). Each instance of SpatiallyDisjointObjectType is a collection C of spatial things (see SpatialThing), where each of the spatial things in C is spatially disjoint with the other spatial things in C. For example, the collection Dog is an instance of SpatiallyDisjointObjectType, since dogs do not spatially overlap. Even pregnant dogs do not spatially overlap the pups they bear; rather, pregnant dogs contain their unborn pups. Other instances of SpatiallyDisjointObjectType include LatitudeLine, CompactDisc_Audio, and PlanetaryBody. An important specialization of SpatiallyDisjointObjectType is SpatiallyDisjointRegionType (a collection of specializations of GeographicalRegion, such as City and TrueContinent).
type of object whose instances do not physically overlap
quotedIsa
A binary MetaLanguagePredicate (q.v.) that relates CycL expressions to the SubLExpressionTypes (q.v.) of which they are instances. quotedIsa is thus like a restricted version of isa (q.v.), but with one important difference: the first argument-place of quotedIsa is "implicitly quoted" (see quotedArgument). So a ground atomic sentence of the form (quotedIsa THING EXPR-TYPE) does not mean that THING itself is an instance of EXPR-TYPE. Rather, such a sentence is partly self-referential, and means that the particular CycL expression appearing in the sentence's own first argument-position is an instance of EXPR-TYPE. Thus, quotedIsa provides a convenient shorthand for stating certain things that would otherwise require explicit quotation (or some other device for naming expressions). This is better illustrated with a specific example. Suppose we wish to state that the CycL constant IndianOcean is an instance of the CycL expression type #$PublicConstant. We cannot express this with the straightforward isa sentence (isa IndianOcean #$PublicConstant), as that states the falsehood that the IndianOcean itself -- which is not a constant but a body of water -- is a public constant. But we can express precisely what we want like this: (quotedIsa IndianOcean #$PublicConstant) . Now quotedIsa is a MacroRelation (q.v.), and by its expansion any given quotedIsa sentence is equivalent to some isa sentence with an explicitly quoted first argument. The sentence displayed above turns out to be equivalent to: (isa (Quote IndianOcean) #$PublicConstant). But the quotedIsa version has two related practical advantages over the isa version. First, the former is syntactically simpler than the latter. Second, the simpler syntax of the former makes it easier to browse in the Knowedge Base: while the quotedIsa version is conveniently indexed under the KB Browser page for the constant IndianOcean, the isa version would apparently be indexed under a separate, brand new page for the term (Quote IndianOcean). Generalizing the point, quotedIsa lets us avoid having potentially to double the number of pages currently in the browser. For the semantically more complicated (but rarely encountered) case in which quotedIsa's first argument-place is filled with an open expression, see the accompanying #$cyclistNotes.
Quoted Isa
OpenCyc Knowledge Base Copyright© 2001-2010 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. Mappings between OpenCyc terms and Wikipedia article names provided by Olena Medelyan and Catherine Legg, University of Waikato, NZ under a Creative Commons Attribution 3.0 license.
oral contraceptive
birth control pills
oral contraceptives
BirthControlDrug
Each instance of BirthControlDrug is some piece of a substance which can be used to regulate female fertility and prevent ovulation.
contraceptive drug
prettyString
(prettyString TERM STRING) means that STRING is a natural language word or expression (sequence of words) commonly used to refer to TERM. The predicate prettyString is used by the code which generates CycL to NL paraphrases, but its applicability is not restricted to this use.
Pretty String
PharmacyProductType
A collection of collections. Instances of this collection are types of pharmaceutical products that may be prescribed by a medical professional. Note that this includes drugs -- specializations of DrugSubstance -- as well as pharmaceutical devices such as TestStrip or HearingAid_Prescription. PrescriptionDrugType and OverTheCounterDrugType are among the specializations of this collection.
pharmaceutical product
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.
label
TermAcceptableForQuerySearch-InstantiationOnly
The collection of terms that are deemed good candidates for being instantiated in or mapped to returned builder queries from CAE search strings.
term acceptable for query search instantiation only