More microtheories? Probably true?

  • Anonymous - 2013-04-15

    I am using OpenCyc with computer vision software to answer questions about scenes. I wondered whether anyone has made available additional assertions (possibly saved as a microtheory?) to go beyond what is in OpenCyc? I would just like to know what else is available.
    Is there any way in CycL to represent that a fact is usually or probably true? For example, most dogs have tails, so if I want to know if a tail is present and I know a dog is present, I can guess that a tail is likely present.

  • Larry Lefkowitz

    Larry Lefkowitz - 2013-04-15

    There is a predicate in OpenCyc which we use for this purpose, namely, visualDepictionsOfTypeContainType-CeterisParibus.

    For example, we use that predicate to declare facts like the following:

    (visualDepictionsOfTypeContainType-CeterisParibus DogShow Dog),

    which means "Visual depictions of dog shows usually also contain depictions of dogs," and

    (visualDepictionsOfTypeContainType-CeterisParibus Dog     (SubcollectionOfWithRelationFromTypeFn ExternalAnatomicalPart anatomicalParts Dog)),

    which means, "Visual depictions of dogs usually also contain depictions of external anatomical parts of dogs." 

  • Anonymous - 2013-04-15

    That's very interesting to know. After reading your comment I did a query for (#$visualDepictionsOfTypeContainType-CeterisParibus ?X #$Dog)  in OpenCyc under the default MT and it didn't return anything. How can I find any things that have actually already been defined using this predicate?

  • Anonymous - 2013-04-15

    I also tried (anatomicalParts Dog ?X) and it didn't come up with anything. I don't know whether this is because I am using the wrong MT or no one has defined the anatomical parts of a dog.

  • Larry Lefkowitz

    Larry Lefkowitz - 2013-04-15

    OpenCyc contains the full set of Cyc concepts and *some* of the information about these concepts including their taxonomic relationships, some English strings for them, and some links to other ontologies or data sources.  However, it does not contain Cyc's full knowledge base, i.e., all the semantic information and rules that Cyc has about these terms.  We do offer a Research License to the complete Cyc KB for government, academic, and commercial research organizations, so please see for more info.

  • Anonymous - 2013-04-15

    I am a CS graduate student at the University of Maryland, which I see has a researchCyc license. I will try to figure out how to go about using that.


Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks