term acceptable for query search instantiation only
subclass of: Resource
type: Class
subclass of: Thing
label: TermAcceptableForQuerySearch-InstantiationOnly
comment: The collection of terms that are deemed good candidates for being instantiated in or mapped to returned builder queries from CAE search strings.
type: Thing

birth control pill
equivalent class: birth control pill
subclass of: Resource
subclass of: birth control pill
subclass of: Thing
type: Class
label: BirthControlPill
comment: The collection of pills which are used to regulate a woman's fertility, making her virtually infertile during the time which it is taken.
subclass of: pill
subclass of: contraceptive drug
type: Thing
Pretty String: oral contraceptive
Pretty String: birth control pills
type: type of object
Pretty String: oral contraceptives
type: pharmaceutical product
Quoted Isa: term acceptable for query search instantiation only
type: type of object whose instances do not physically overlap

type of object
subclass of: Resource
type: Class
subclass of: Thing
label: ExistingObjectType
comment: 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.

Pretty String
type: Property
range: Thing
domain: Thing
label: prettyString
type: ObjectProperty
comment: (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.
domain: Resource
range: Resource

type of object whose instances do not physically overlap
subclass of: Resource
type: Class
subclass of: Thing
label: SpatiallyDisjointObjectType
comment: 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).

birth control pill
equivalent class: birth control pill
subclass of: Resource
subclass of: birth control pill
type: Class
subclass of: Thing
Pretty String: oral contraceptive
subclass of: contraceptive drug
Pretty String: birth control pills
type: type of object
label: BirthControlPill
subclass of: pill
Pretty String: oral contraceptives
comment: The collection of pills which are used to regulate a woman's fertility, making her virtually infertile during the time which it is taken.
type: pharmaceutical product
Quoted Isa: term acceptable for query search instantiation only
type: type of object whose instances do not physically overlap
type: Thing

contraceptive drug
subclass of: Resource
type: Class
subclass of: Thing
label: BirthControlDrug
comment: Each instance of BirthControlDrug is some piece of a substance which can be used to regulate female fertility and prevent ovulation.

birth control pill
subclass of: birth control pill
label: BirthControlPill
type: Thing
comment: The collection of pills which are used to regulate a woman's fertility, making her virtually infertile during the time which it is taken.
equivalent class: birth control pill
subclass of: Resource
type: Class
subclass of: Thing
Pretty String: oral contraceptive
subclass of: contraceptive drug
Pretty String: birth control pills
type: type of object
subclass of: pill
Pretty String: oral contraceptives
type: pharmaceutical product
Quoted Isa: term acceptable for query search instantiation only
type: type of object whose instances do not physically overlap

Quoted Isa
range: Thing
domain: Thing
type: Property
label: quotedIsa
type: ObjectProperty
comment: 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 Indi…
domain: Resource
range: Resource

label
type: Property
type: AnnotationProperty
comment: 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.

pill
subclass of: Resource
type: Class
subclass of: Thing
label: Pill
comment: A small object which is used to administer some substance that is to be ingested.

pharmaceutical product
subclass of: Resource
type: Class
subclass of: Thing
label: PharmacyProductType
comment: 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.

externalID
type: AnnotationProperty
type: FunctionalProperty
comment: 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.
type: Property

concept
type: Ontology
comment: 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.
version info: 2009/04/07