mkecyc: new "standalone" user interface

This email shows the new KornShell/Java interface,
which supports the basic features of the MKR 
language, but not the more advanced features.  
Unicon is not required (you're welcome Mac users).

The "mkecyc" command translates MKR propositions
to CycL expressions and pipes them to OpenCyc SubL.

# KEHOME/bin/mkecyc
# Sep/6/2003
# MKE + OpenCyc
# usage:
#       mkecyc world
#       ke$ MKR proposition
#       ke$ ...
#       ke$ EOF
mkr2cyc | opencyc server "$1" | sed 's/ /\n  /g'

I would have liked to add "sort -uf" to the pipeline,
but the CycL lists are NOT all ordinary sets.  Some
of the "sets" include CycL function calls to generate
more list elements.


Here's a sample output.  
Note that output consists of two lists 
    specs     (? iss #$Microtheory;)
    instances (? isu #$Microtheory;).

$ mkecyc
...
ke$ CYC(1): ? isa #$Microtheory;
  (#$SpindleMicrotheory
  #$TemplateParsingMicrotheory
  #$Language-SpecificMicrotheory
  #$CollectorMicrotheory
  #$VocabularyMicrotheory
  #$TheoryMicrotheory
  #$DeclarativeContext
  #$PlanningDomainMicrotheory
  #$DataMicrotheory
  #$EnglishLexicalMicrotheory
  #$FormalCOC
  #$LexicalMicrotheory
  #$GeneralMicrotheory
  #$SupposedToBeMicrotheory
  #$PropositionalInformationThing
  #$LegalCode
  #$Obligation
  #$BroadMicrotheory
  #$GovernmentCOC
  #$CodeOfConduct
  #$FictionalContext
  #$HypotheticalContext
  #$ProblemSolvingCntxt)
T

ke$ CYC(2):
  (#$CoreCycLImplementationMt
  #$CoreCycLMt
  #$DefaultVocabConstraintMt
  #$EnglishLexiconMt
  #$TemplateParsingMt
  #$ModalityMt
  #$AnimalMovementMt
  #$LogicalTruthMt
  #$VulnerabilityMt
  #$ComputerNetworkMt
  #$SecurityMt
  #$ComputerSecurityMt
  #$ComputerHardwareMt
  #$ComputerGMt
  #$ComputerSoftwareMt
  #$ComputerRunningMt
  #$ModernMilitaryTacticsMt
  #$ModernMilitaryWeaponsMt
  #$ModernMilitaryVehiclesMt
  #$WorldNaturalGeographyMt
  #$UnitedStatesGeographyMt
  #$SimpleAstronomyMt
  #$GeometryGMt
  #$MathMt
  #$VertebratePhysiologyMt
  #$ObjectPhysicalCharacteristicsMt
  #$CultureGMt
  #$BiologicalSocialMt
  #$AnimalActivitiesMt
  #$NaturalGeographyMt
  #$WeatherMt
  #$PerceptionMt
  #$MovementMt
  #$HumanPerceptionMt
  #$NaiveBiologicalDescentMt
  #$InformationTerminologyMt
  #$NonNaiveStateChangeMt
  #$AilmentMt
  #$WorldGeographyMt
  #$OrganizationMt
  #$HumanAilmentMt
  #$NaivePhysicsMt
  #$ProductPhysicalCharacteristicsMt
  #$TransportationMt
  #$HumanPhysiologyMt
  #$AgentGMt
  #$ProductGMt
  #$BiologyMt
  #$AilmentVocabularyMt
  #$HumanActivitiesMt
  #$PoliticalGeographyMt
  #$ChatterBotStateMachineMt
  #$UMLStateMachineTest01Mt
  #$UMLStateMachineSpindleCollectorMt
  #$UMLStateMachineSpindleHeadMt
  #$GeneralMilitaryLexicalMt
  #$CommonLispProgrammingDomainMt
  #$UniversalVocabularyImplementationMt
  #$CProgrammingDomainMt
  #$ProgrammingDomainMt
  #$CSyntaxProgrammingDomainMt
  #$NonAmericanEnglishMt
  #$GappedNPTemplateParsingMt
  #$CopulaConstructionTemplateMt
  #$AuxInversionTemplateMt
  #$RTPVBarTemplateMt
  #$MostEnglishTemplateMt
  #$DiseaseLexicalMt
  #$TemporaryLexicalAssertions-GuessedMt
  #$TemporaryEnglishMt
  #$EnglishGrammarTemplateMt
  #$NegationTemplateMt
  #$AuxVerbTemplateMt
  #$RelativeClausesTemplateMt
  #$DeepCoverageTemplateMt
  #$AllEnglishTemplateMt
  #$IntermediateVocabularyMt
  #$EnglishTemplateMt
  #$GrammarInUseTemplateMt
  #$GenFormatTemplateMt
  #$AnthraxTemplateMt
  #$GeneralScientificLexicalMt
  #$CommonWealthEnglishCompositionalPhrasesLexicalMt
  #$EnglishCompositionalPhrasesLexicalMt
  #$AmericanEnglishCompositionalPhrasesLexicalMt
  #$CommonWealthEnglishMt
  #$WorldLikeOursCollectorMt
  #$CanadianEnglishMt
  #$NewZealandEnglishMt
  #$SouthAfricanEnglishMt
  #$ScottishEnglishMt
  #$IrishEnglishMt
  #$AustralianEnglishMt
  #$AmericanEnglishMt
  #$NeedsOELexicalMt
  #$CyclishMt
  #$LogicalTruthImplementationMt
  #$TemporaryLexicalAssertionsMt
  #$QueryMt
  #$CommonEnglishMisspellingsMt
  #$ComputereseLexicalMt
  #$GeneralLexiconMt
  #$NewLatinLexicalMt
  #$NameLexicalMt
  #$TechnicalEnglishLexicalMt
  #$BritishEnglishMt
  #$WordNetMappingMt
  #$BookkeepingMt
  #$EnglishMt
  #$GeneralEnglishMt)
T

ke$ CYC(3): exit;
...
$


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