jar

com.github.ontologyportal : sigma-component

Maven & Gradle

Feb 03, 2017
1 usages
76 stars

sigma-component · Sigma knowledge engineering system is an system for developing, viewing and debugging theories in first order logic. It works with Knowledge Interchange Format (KIF) and is optimized for the Suggested Upper Merged Ontology (SUMO) www.ontologyportal.org.

Table Of Contents

Latest Version

Download com.github.ontologyportal : sigma-component JAR file - Latest Versions:

All Versions

Download com.github.ontologyportal : sigma-component JAR file - All Versions:

Version Vulnerabilities Size Updated
2.12
2.11

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window sigma-component-2.12.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

jpl.fli

├─ jpl.fli.DoubleHolder.class - [JAR]

├─ jpl.fli.IntHolder.class - [JAR]

├─ jpl.fli.LongHolder.class - [JAR]

├─ jpl.fli.PointerHolder.class - [JAR]

├─ jpl.fli.Prolog.class - [JAR]

├─ jpl.fli.StringHolder.class - [JAR]

├─ jpl.fli.atom_t.class - [JAR]

├─ jpl.fli.fid_t.class - [JAR]

├─ jpl.fli.functor_t.class - [JAR]

├─ jpl.fli.module_t.class - [JAR]

├─ jpl.fli.predicate_t.class - [JAR]

├─ jpl.fli.qid_t.class - [JAR]

├─ jpl.fli.term_t.class - [JAR]

com.articulate.sigma.nlg

├─ com.articulate.sigma.nlg.CaseRole.class - [JAR]

├─ com.articulate.sigma.nlg.LanguageFormatter.class - [JAR]

├─ com.articulate.sigma.nlg.LanguageFormatterStack.class - [JAR]

├─ com.articulate.sigma.nlg.LanguageFormatterUnused.class - [JAR]

├─ com.articulate.sigma.nlg.NLGStringUtils.class - [JAR]

├─ com.articulate.sigma.nlg.NLGUtils.class - [JAR]

├─ com.articulate.sigma.nlg.Noun.class - [JAR]

├─ com.articulate.sigma.nlg.Preposition.class - [JAR]

├─ com.articulate.sigma.nlg.SVOElement.class - [JAR]

├─ com.articulate.sigma.nlg.SVOGrammar.class - [JAR]

├─ com.articulate.sigma.nlg.Sentence.class - [JAR]

├─ com.articulate.sigma.nlg.StackElement.class - [JAR]

├─ com.articulate.sigma.nlg.SumoProcess.class - [JAR]

├─ com.articulate.sigma.nlg.SumoProcessCollector.class - [JAR]

├─ com.articulate.sigma.nlg.SumoProcessEntityProperty.class - [JAR]

├─ com.articulate.sigma.nlg.VerbProperties.class - [JAR]

├─ com.articulate.sigma.nlg.VerbPropertiesSimpleImpl.class - [JAR]

edu.dlsu.SUMOs.main

├─ edu.dlsu.SUMOs.main.PictureEditor.class - [JAR]

├─ edu.dlsu.SUMOs.main.XmlParser.class - [JAR]

tptp_parser

├─ tptp_parser.SimpleTptpParserOutput.class - [JAR]

├─ tptp_parser.TptpLexer.class - [JAR]

├─ tptp_parser.TptpParser.class - [JAR]

├─ tptp_parser.TptpParserOutput.class - [JAR]

├─ tptp_parser.TptpTokenTypes.class - [JAR]

TPTPWorld

├─ TPTPWorld.ATPSystem.class - [JAR]

├─ TPTPWorld.AnswerExtractor.class - [JAR]

├─ TPTPWorld.AnswerFinder.class - [JAR]

├─ TPTPWorld.Binding.class - [JAR]

├─ TPTPWorld.ClientHttpRequest.class - [JAR]

├─ TPTPWorld.InterfaceTPTP.class - [JAR]

├─ TPTPWorld.LooksDifferent.class - [JAR]

├─ TPTPWorld.ProofSummary.class - [JAR]

├─ TPTPWorld.SystemInfoParser.class - [JAR]

├─ TPTPWorld.SystemOnTPTP.class - [JAR]

├─ TPTPWorld.TPTPFormula.class - [JAR]

├─ TPTPWorld.TPTPParser.class - [JAR]

com.articulate.sigma.wordNet

├─ com.articulate.sigma.wordNet.BrownCorpus.class - [JAR]

├─ com.articulate.sigma.wordNet.MultiWords.class - [JAR]

├─ com.articulate.sigma.wordNet.WNdiagnostics.class - [JAR]

jpl

├─ jpl.Atom.class - [JAR]

├─ jpl.Compound.class - [JAR]

├─ jpl.Float_JPL.class - [JAR]

├─ jpl.Integer_JPL.class - [JAR]

├─ jpl.JPL.class - [JAR]

├─ jpl.JPLException.class - [JAR]

├─ jpl.JPLUtil.class - [JAR]

├─ jpl.List.class - [JAR]

├─ jpl.Long_JPL.class - [JAR]

├─ jpl.PrologException.class - [JAR]

├─ jpl.Query.class - [JAR]

├─ jpl.QueryInProgressException.class - [JAR]

├─ jpl.SWIUtil.class - [JAR]

├─ jpl.String_JPL.class - [JAR]

├─ jpl.Term.class - [JAR]

├─ jpl.Tuple.class - [JAR]

├─ jpl.Variable.class - [JAR]

├─ jpl.Version.class - [JAR]

com.articulate.sigma.utils

├─ com.articulate.sigma.utils.ProgressPrinter.class - [JAR]

edu.dlsu.SUMOs.util

├─ edu.dlsu.SUMOs.util.DateUtils.class - [JAR]

├─ edu.dlsu.SUMOs.util.ReadWriteTextFile.class - [JAR]

├─ edu.dlsu.SUMOs.util.Xml.class - [JAR]

ClientHttpRequest

├─ ClientHttpRequest.ClientHttpRequest.class - [JAR]

edu.dlsu.SUMOs.obj

├─ edu.dlsu.SUMOs.obj.Input.class - [JAR]

├─ edu.dlsu.SUMOs.obj.Instance.class - [JAR]

├─ edu.dlsu.SUMOs.obj.Rule.class - [JAR]

com.articulate.sigma

├─ com.articulate.sigma.AVPair.class - [JAR]

├─ com.articulate.sigma.Base64.class - [JAR]

├─ com.articulate.sigma.BasicXMLelement.class - [JAR]

├─ com.articulate.sigma.BasicXMLparser.class - [JAR]

├─ com.articulate.sigma.CCheck.class - [JAR]

├─ com.articulate.sigma.CCheckManager.class - [JAR]

├─ com.articulate.sigma.CELT.class - [JAR]

├─ com.articulate.sigma.CELTTestSuite.class - [JAR]

├─ com.articulate.sigma.Clausifier.class - [JAR]

├─ com.articulate.sigma.ClientHttpRequest.class - [JAR]

├─ com.articulate.sigma.DB.class - [JAR]

├─ com.articulate.sigma.Diagnostics.class - [JAR]

├─ com.articulate.sigma.DisplayFilter.class - [JAR]

├─ com.articulate.sigma.DocGen.class - [JAR]

├─ com.articulate.sigma.EProver.class - [JAR]

├─ com.articulate.sigma.Edit.class - [JAR]

├─ com.articulate.sigma.EditGUI.class - [JAR]

├─ com.articulate.sigma.Editor.class - [JAR]

├─ com.articulate.sigma.FactoryUtil.class - [JAR]

├─ com.articulate.sigma.Formula.class - [JAR]

├─ com.articulate.sigma.FormulaPreprocessor.class - [JAR]

├─ com.articulate.sigma.FormulaUtil.class - [JAR]

├─ com.articulate.sigma.Graph.class - [JAR]

├─ com.articulate.sigma.HTMLformatter.class - [JAR]

├─ com.articulate.sigma.Hotel.class - [JAR]

├─ com.articulate.sigma.InferenceEngine.class - [JAR]

├─ com.articulate.sigma.InferenceTestSuite.class - [JAR]

├─ com.articulate.sigma.KB.class - [JAR]

├─ com.articulate.sigma.KBcache.class - [JAR]

├─ com.articulate.sigma.KBmanager.class - [JAR]

├─ com.articulate.sigma.KButilities.class - [JAR]

├─ com.articulate.sigma.KIF.class - [JAR]

├─ com.articulate.sigma.KIFplus.class - [JAR]

├─ com.articulate.sigma.Login.class - [JAR]

├─ com.articulate.sigma.Mapping.class - [JAR]

├─ com.articulate.sigma.NER.class - [JAR]

├─ com.articulate.sigma.OMWordnet.class - [JAR]

├─ com.articulate.sigma.OWLtranslator.class - [JAR]

├─ com.articulate.sigma.PasswordService.class - [JAR]

├─ com.articulate.sigma.PredVarInst.class - [JAR]

├─ com.articulate.sigma.Prenexifier.class - [JAR]

├─ com.articulate.sigma.Prolog.class - [JAR]

├─ com.articulate.sigma.ProofProcessor.class - [JAR]

├─ com.articulate.sigma.ProofStep.class - [JAR]

├─ com.articulate.sigma.RowVars.class - [JAR]

├─ com.articulate.sigma.SInE.class - [JAR]

├─ com.articulate.sigma.SUMOKBtoTPTPKB.class - [JAR]

├─ com.articulate.sigma.SUMOformulaToTPTPformula.class - [JAR]

├─ com.articulate.sigma.SetUtil.class - [JAR]

├─ com.articulate.sigma.SigmaCheck.class - [JAR]

├─ com.articulate.sigma.SimpleDOMParser.class - [JAR]

├─ com.articulate.sigma.SimpleElement.class - [JAR]

├─ com.articulate.sigma.StreamTokenizer_s.class - [JAR]

├─ com.articulate.sigma.StringUtil.class - [JAR]

├─ com.articulate.sigma.THF.class - [JAR]

├─ com.articulate.sigma.TPTP2SUMO.class - [JAR]

├─ com.articulate.sigma.TPTP3ProofProcessor.class - [JAR]

├─ com.articulate.sigma.TPTPutil.class - [JAR]

├─ com.articulate.sigma.TaxoModel.class - [JAR]

├─ com.articulate.sigma.TaxoNode.class - [JAR]

├─ com.articulate.sigma.User.class - [JAR]

├─ com.articulate.sigma.Vampire.class - [JAR]

├─ com.articulate.sigma.WNdiagnostics.class - [JAR]

├─ com.articulate.sigma.WSD.class - [JAR]

├─ com.articulate.sigma.WordNet.class - [JAR]

├─ com.articulate.sigma.WordNetUtilities.class - [JAR]

com.articulate.sigma.mlpipeline

├─ com.articulate.sigma.mlpipeline.MLpipeline.class - [JAR]

com.articulate.delphi

├─ com.articulate.delphi.Cell.class - [JAR]

├─ com.articulate.delphi.Delphi.class - [JAR]

├─ com.articulate.delphi.Distribution.class - [JAR]

├─ com.articulate.delphi.Pair.class - [JAR]

├─ com.articulate.delphi.PasswordService.class - [JAR]

├─ com.articulate.delphi.Project.class - [JAR]

├─ com.articulate.delphi.Table.class - [JAR]

├─ com.articulate.delphi.TableAverage.class - [JAR]

├─ com.articulate.delphi.User.class - [JAR]

Password

├─ Password.Password.class - [JAR]