print all OpenCyc Microtheories

Here are my first "OpenCyc overview" results.

Input shell script

# KEHOME/knowledge/applications/SemanticWeb/OpenCyc/printMicrotheory
# Aug/28/2003

# print all OpenCyc Microtheories
# usage: printMicrotheory
#       CycL output format: ( mt1 mt2 ... ) ( ... )
#       final output format: one mt per line, sorted

(
 sleep 30                       # wait for opencyc startup
 echo '#$Microtheory isc* ?;'   # all specs and instances
 echo 'exit;'                   # exit opencyc
)  |
mkr2cyc                 |  # translate MKR to CycL
opencyc server 2>&1     |  # opencyc output including prompts and errors
sed 's/ /\n/g'          |  # change blank to newline
sed 's/(//g'            |  # delete leading (
sed 's/)//g'            |  # delete trailing )
grep '^#\$'             |  # begin with "#$"
sort -uf                   # sort, delete duplicates


output file: 308 Microtheories

#$AcademicOrganizationVocabularyMt
#$Account
#$AgentGMt
#$AgentGVocabularyMt
#$Agreement
#$AilmentMt
#$AilmentVocabularyMt
#$AllEnglishLexicalMicrotheoryPSC
#$AllEnglishTemplateMt
#$AllEnglishValidatedLexicalMicrotheoryPSC
#$AllLanguageLexicalNonParaphraseMicrotheoryPSC
#$AllLexicalMicrotheoryPSC
#$AllLexicalNonParaphraseMicrotheoryPSC
#$AmbientConditionsMt
#$AmbientConditionsVocabularyMt
#$AmericanEnglishCompositionalPhrasesLexicalMt
#$AmericanEnglishMt
#$AmericanProfessionalSportsMt
#$AnimalActivitiesMt
#$AnimalActivitiesVocabularyMt
#$AnimalMovementMt
#$AnimalMovementVocabularyMt
#$AnimalPhysiologyMt
#$AnimalPhysiologyVocabularyMt
#$AnthraxTemplateMt
#$ArtifactGMt
#$ArtifactGVocabularyMt
#$AustralianEnglishMt
#$AuthorizedAgreement
#$AuxInversionTemplateMt
#$AuxVerbTemplateMt
#$BaseKB
#$BiologicalSocialMt
#$BiologicalSocialVocabularyMt
#$BiologyMt
#$BiologyVocabularyMt
#$BookkeepingMt
#$BordersMt
#$BordersVocabularyMt
#$BotanyMt
#$BotanyVocabularyMt
#$BritishEnglishMt
#$BroadMicrotheory
#$BuildingMt
#$CalendarsMt
#$CalendarsVocabularyMt
#$CanadianEnglishMt
#$CapabilitiesMt
#$CapabilitiesVocabularyMt
#$ChatterBotStateMachineMt
#$ChemistryMt
#$ChemistryVocabularyMt
#$ClothingGMt
#$ClothingGVocabularyMt
#$CodeOfConduct
#$CollectorMicrotheory
#$CommonEnglishMisspellingsMt
#$CommonLispProgrammingDomainMt
#$CommonLispProgrammingLanguageMt
#$CommonLispProgrammingTestMt
#$CommonWealthEnglishCompositionalPhrasesLexicalMt
#$CommonWealthEnglishMt
#$CommunicationsSupportMt
#$CommunicationsSupportVocabMt
#$ComputereseLexicalMt
#$ComputerGMt
#$ComputerGVocabularyMt
#$ComputerHardwareMt
#$ComputerHardwareVocabularyMt
#$ComputerNetworkMt
#$ComputerRunningMt
#$ComputerSecurityMt
#$ComputerSoftwareDataMt
#$ComputerSoftwareMt
#$ComputerSoftwareVocabularyMt
#$ContainerGMt
#$ContainerGVocabularyMt
#$CopulaConstructionTemplateMt
#$CoreCycLImplementationMt
#$CoreCycLMt
#$CProgrammingDomainMt
#$CProgrammingLanguageMt
#$CProgrammingTestMt
#$Credential
#$CSyntaxProgrammingDomainMt
#$CSyntaxProgrammingLanguageMt
#$CultureGMt
#$CultureGVocabularyMt
#$CyclishMt
#$CyclishParaphraseMt
#$CyclistDefinitionalMt
#$CyclistsMt
#$DataForNLMt
#$DataMicrotheory
#$DeclarativeContext
#$DeepCoverageTemplateMt
#$DefaultVocabConstraintMt
#$DiseaseLexicalMt
#$DomesticBreedsVocabularyMt
#$DualistGeopoliticalMt
#$DualistGeopoliticalVocabularyMt
#$EcologyMt
#$EcologyVocabularyMt
#$EducationalDegree
#$ElectricalSystemsVocabularyMt
#$EnglishCompositionalPhrasesLexicalMt
#$EnglishGrammarTemplateMt
#$EnglishLexicalMicrotheory
#$EnglishLexiconMt
#$EnglishMt
#$EnglishParaphraseMt
#$EnglishTemplateMt
#$EqualityReasoningMt
#$EqualityReasoningVocabularyMt
#$EuclideanSpaceVocabularyMt
#$EverythingPSC
#$FictionalContext
#$FinancialAccount
#$FinancialTransactionMt
#$FixedStructureMt
#$FixedStructureVocabularyMt
#$FormalCOC
#$GappedNPTemplateParsingMt
#$GeneralEnglishMt
#$GeneralLexiconMt
#$GeneralMicrotheory
#$GeneralMilitaryLexicalMt
#$GeneralScientificLexicalMt
#$GenericTemporalVocabularyMt
#$GenFormatTemplateMt
#$GeographicalRegionGMt
#$GeographicalRegionGVocabularyMt
#$GeographyMt
#$GeographyVocabularyMt
#$GeometryGMt
#$GeometryGVocabularyMt
#$GeopoliticalEntityVocabularyMt
#$GovernmentCOC
#$GrammarInUseTemplateMt
#$HumanActivitiesMt
#$HumanAilmentMt
#$HumanFoodGMt
#$HumanFoodGVocabularyMt
#$HumanPerceptionMt
#$HumanPhysiologyMt
#$HumanPhysiologyVocabularyMt
#$HumanSocialLifeMt
#$HypotheticalContext
#$InferencePSC
#$InformationGMt
#$InformationGVocabularyMt
#$InformationTerminologyMt
#$InformationTerminologyVocabularyMt
#$InterAgentArtifactMt
#$InterAgentArtifactVocabularyMt
#$IntermediateVocabularyMt
#$InternationalOrganizationDataMt
#$IrishEnglishMt
#$JobMt
#$KnowledgeExchangeDataMt
#$KnowledgeExchangeMt
#$Language-SpecificMicrotheory
#$LanguageAndWritingSystemMt
#$LanguageAndWritingSystemVocabularyMt
#$LegalAgreement
#$LegalCode
#$LexicalMicrotheory
#$LinnaeanTaxonomyMt
#$LinnaeanTaxonomyVocabularyMt
#$LispSyntaxProgrammingLanguageMt
#$LogicalTruthImplementationMt
#$LogicalTruthMt
#$ManufacturingMt
#$MassMediaMt
#$MathMt
#$Memory
#$MentalInformation
#$MicrobiologyMt
#$Microtheory
#$MilitaryGMt
#$MilitaryGVocabularyMt
#$ModalityMt
#$ModernMilitaryMt
#$ModernMilitaryTacticsMt
#$ModernMilitaryVehiclesMt
#$ModernMilitaryWeaponsMt
#$ModernWesternMedicineMt
#$MolecularBiologyMt
#$MostEnglishTemplateMt
#$MovementMt
#$MovementVocabularyMt
#$NaiveBiologicalDescentMt
#$NaiveInformationMt
#$NaivePhysicsMt
#$NaivePhysicsVocabularyMt
#$NaiveSpatialMt
#$NaiveSpatialVocabularyMt
#$NaiveStateChangeVocabularyMt
#$NameLexicalMt
#$NameStringDefinitionMt
#$NaturalGeographyMt
#$NaturalGeographyVocabularyMt
#$NeedsOELexicalMt
#$NegationTemplateMt
#$NewLatinLexicalMt
#$News
#$NewZealandEnglishMt
#$NonAmericanEnglishMt
#$NonNaiveStateChangeMt
#$ObjectPhysicalCharacteristicsMt
#$Obligation
#$OrganizationBuildingMt
#$OrganizationBuildingVocabularyMt
#$OrganizationGMt
#$OrganizationGVocabularyMt
#$OrganizationMt
#$OrganizationPolicy
#$OrganizationProductMt
#$OrganizationProductVocabularyMt
#$ParaphraseMicrotheory
#$ParaphraseMt
#$ParaphraseVocabularyMt
#$PathSystemsMt
#$PathSystemsVocabularyMt
#$PeopleMt
#$PeopleVocabularyMt
#$PerceptionMt
#$PerceptionVocabularyMt
#$Permission
#$Person
#$PharmaceuticalGVocabularyMt
#$PharmaceuticalUseMt
#$PharmaceuticalUseVocabularyMt
#$PhysicalAgentMt
#$PhysicalAgentVocabularyMt
#$PlanningDomainMicrotheory
#$PoliticalGeographyMt
#$PoliticalGeographyVocabularyMt
#$ProblemSolvingCntxt
#$ProductGMt
#$ProductGVocabularyMt
#$ProductPhysicalCharacteristicsMt
#$ProductPhysicalCharacteristicsVocabularyMt
#$ProductUsageMt
#$ProductUsageVocabularyMt
#$ProgrammingDomainMt
#$ProgrammingDomainVocabularyMt
#$ProgramModelMt
#$Proposal
#$PropositionalInformationThing
#$QueryMt
#$RelationParaphraseMt
#$RelativeClausesTemplateMt
#$RTPVBarTemplateMt
#$SalesAgreement
#$ScottishEnglishMt
#$SecurityMt
#$SensoryInformation
#$ShoppingGMt
#$SimpleAstronomyMt
#$SituationPredicateRepresentationMt
#$SourceMicrotheory
#$SouthAfricanEnglishMt
#$SpatialGMt
#$SpatialGVocabularyMt
#$SpindleMicrotheory
#$SportsMt
#$Stock
#$SupposedToBeMicrotheory
#$TechnicalEnglishLexicalMt
#$TemplateParsingMicrotheory
#$TemplateParsingMt
#$TemporaryEnglishMt
#$TemporaryEnglishParaphraseMt
#$TemporaryLexicalAssertions-GuessedMt
#$TemporaryLexicalAssertionsMt
#$TerrestrialFrameOfReferenceMt
#$TerrestrialFrameOfReferenceVocabularyMt
#$TextMicrotheory
#$TheoryMicrotheory
#$TransportationMt
#$TransportationVocabularyMt
#$UMLStateMachineSpindleCollectorMt
#$UMLStateMachineSpindleHeadMt
#$UMLStateMachineTest01Mt
#$UnitedStatesGeographyMt
#$UnitedStatesSocialLifeMt
#$UniversalVocabularyImplementationMt
#$UniversalVocabularyMt
#$USGovernmentOrganizationDataMt
#$VertebratePhysiologyMt
#$VertebratePhysiologyVocabularyMt
#$Visa-Permit
#$VocabularyMicrotheory
#$VulnerabilityMt
#$Warranty
#$WeatherMt
#$WeatherVocabularyMt
#$WesternBusinessPracticesMt
#$WordNetMappingMt
#$WorkAgreement
#$WorldGeographyDualistMt
#$WorldGeographyMt
#$WorldLikeOursCollectorMt
#$WorldNaturalGeographyMt
#$WorldNaturalGeographyVocabularyMt
#$WorldPoliticalGeographyDataMt
#$WorldPoliticalGeographyDataVocabularyMt


Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;