All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register
    • Search JAR files by class name

    Download sigma-component JAR 2.11 with all dependencies


    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.

    Files of the artifact sigma-component version 2.11 from the group com.github.ontologyportal.

    Test

    Download sigma-component (2.11)
    Artifact sigma-component
    Group com.github.ontologyportal
    Version 2.11
    Last update 01. February 2017
    Organization not specified
    URL www.ontologyportal.org
    License GNU General Public License
    Dependencies amount 6
    Dependencies antlr, guava, mail, cos, json-simple, commons-lang3,
    There are maybe transitive dependencies!
    There is a newer version: 2.12
    Show newest version
    Show more of this group  Show more artifacts with this name
    Show all versions of sigma-component Show documentation

    Please rate this JAR file. Is it a good library?

    2 downloads

    Source code of sigma-component version 2.11

    ClientHttpRequest
    ClientHttpRequest.ClientHttpRequest.ClientHttpRequest
    META-INF
    META-INF.META-INF.MANIFEST.MF
    Password
    Password.Password.Password
    .SigmaStatusCheck
    TPTPWorld
    TPTPWorld.TPTPWorld.ATPSystem
    TPTPWorld.TPTPWorld.AnswerExtractor
    TPTPWorld.TPTPWorld.AnswerFinder
    TPTPWorld.TPTPWorld.Binding
    TPTPWorld.TPTPWorld.ClientHttpRequest
    TPTPWorld.TPTPWorld.InterfaceTPTP
    TPTPWorld.TPTPWorld.LooksDifferent
    TPTPWorld.TPTPWorld.ProofSummary
    TPTPWorld.TPTPWorld.SystemInfoParser
    TPTPWorld.TPTPWorld.SystemOnTPTP
    TPTPWorld.TPTPWorld.TPTPFormula
    TPTPWorld.TPTPWorld.TPTPParser
    com.articulate.delphi
    com.articulate.delphi.com.articulate.delphi.Cell
    com.articulate.delphi.com.articulate.delphi.Delphi
    com.articulate.delphi.com.articulate.delphi.Distribution
    com.articulate.delphi.com.articulate.delphi.Pair
    com.articulate.delphi.com.articulate.delphi.PasswordService
    com.articulate.delphi.com.articulate.delphi.Project
    com.articulate.delphi.com.articulate.delphi.Table
    com.articulate.delphi.com.articulate.delphi.TableAverage
    com.articulate.delphi.com.articulate.delphi.User
    com.articulate.sigma
    com.articulate.sigma.com.articulate.sigma.AVPair
    com.articulate.sigma.com.articulate.sigma.Base64
    com.articulate.sigma.com.articulate.sigma.BasicXMLelement
    com.articulate.sigma.com.articulate.sigma.BasicXMLparser
    com.articulate.sigma.com.articulate.sigma.CCheck
    com.articulate.sigma.com.articulate.sigma.CCheckManager
    com.articulate.sigma.com.articulate.sigma.CELT
    com.articulate.sigma.com.articulate.sigma.CELTTestSuite
    com.articulate.sigma.com.articulate.sigma.Clausifier
    com.articulate.sigma.com.articulate.sigma.ClientHttpRequest
    com.articulate.sigma.com.articulate.sigma.DB
    com.articulate.sigma.com.articulate.sigma.DependencyConverter
    com.articulate.sigma.com.articulate.sigma.Diagnostics
    com.articulate.sigma.com.articulate.sigma.DisplayFilter
    com.articulate.sigma.com.articulate.sigma.DocGen
    com.articulate.sigma.com.articulate.sigma.EProver
    com.articulate.sigma.com.articulate.sigma.Edit
    com.articulate.sigma.com.articulate.sigma.EditGUI
    com.articulate.sigma.com.articulate.sigma.Editor
    com.articulate.sigma.com.articulate.sigma.FactoryUtil
    com.articulate.sigma.com.articulate.sigma.Formula
    com.articulate.sigma.com.articulate.sigma.FormulaPreprocessor
    com.articulate.sigma.com.articulate.sigma.FormulaUtil
    com.articulate.sigma.com.articulate.sigma.Graph
    com.articulate.sigma.com.articulate.sigma.HTMLformatter
    com.articulate.sigma.com.articulate.sigma.Hotel
    com.articulate.sigma.com.articulate.sigma.InferenceEngine
    com.articulate.sigma.com.articulate.sigma.InferenceTestSuite
    com.articulate.sigma.com.articulate.sigma.KB
    com.articulate.sigma.com.articulate.sigma.KBcache
    com.articulate.sigma.com.articulate.sigma.KBmanager
    com.articulate.sigma.com.articulate.sigma.KButilities
    com.articulate.sigma.com.articulate.sigma.KIF
    com.articulate.sigma.com.articulate.sigma.KIFplus
    com.articulate.sigma.com.articulate.sigma.Login
    com.articulate.sigma.com.articulate.sigma.Mapping
    com.articulate.sigma.com.articulate.sigma.NER
    com.articulate.sigma.com.articulate.sigma.OMWordnet
    com.articulate.sigma.com.articulate.sigma.OWLtranslator
    com.articulate.sigma.com.articulate.sigma.PasswordService
    com.articulate.sigma.com.articulate.sigma.PredVarInst
    com.articulate.sigma.com.articulate.sigma.Prenexifier
    com.articulate.sigma.com.articulate.sigma.Prolog
    com.articulate.sigma.com.articulate.sigma.ProofProcessor
    com.articulate.sigma.com.articulate.sigma.ProofStep
    com.articulate.sigma.com.articulate.sigma.RowVars
    com.articulate.sigma.com.articulate.sigma.SInE
    com.articulate.sigma.com.articulate.sigma.SUMOKBtoTPTPKB
    com.articulate.sigma.com.articulate.sigma.SUMOformulaToTPTPformula
    com.articulate.sigma.com.articulate.sigma.SetUtil
    com.articulate.sigma.com.articulate.sigma.SigmaCheck
    com.articulate.sigma.com.articulate.sigma.SimpleDOMParser
    com.articulate.sigma.com.articulate.sigma.SimpleElement
    com.articulate.sigma.com.articulate.sigma.StreamTokenizer_s
    com.articulate.sigma.com.articulate.sigma.StringUtil
    com.articulate.sigma.com.articulate.sigma.THF
    com.articulate.sigma.com.articulate.sigma.TPTP2SUMO
    com.articulate.sigma.com.articulate.sigma.TPTP3ProofProcessor
    com.articulate.sigma.com.articulate.sigma.TPTPutil
    com.articulate.sigma.com.articulate.sigma.TaxoModel
    com.articulate.sigma.com.articulate.sigma.TaxoNode
    com.articulate.sigma.com.articulate.sigma.User
    com.articulate.sigma.com.articulate.sigma.Vampire
    com.articulate.sigma.com.articulate.sigma.WNdiagnostics
    com.articulate.sigma.com.articulate.sigma.WSD
    com.articulate.sigma.com.articulate.sigma.WordNet
    com.articulate.sigma.com.articulate.sigma.WordNetUtilities
    com.articulate.sigma.mlpipeline
    com.articulate.sigma.mlpipeline.com.articulate.sigma.mlpipeline.MLpipeline
    com.articulate.sigma.nlg
    com.articulate.sigma.nlg.com.articulate.sigma.nlg.CaseRole
    com.articulate.sigma.nlg.com.articulate.sigma.nlg.LanguageFormatter
    com.articulate.sigma.nlg.com.articulate.sigma.nlg.LanguageFormatterStack
    com.articulate.sigma.nlg.com.articulate.sigma.nlg.LanguageFormatterUnused
    com.articulate.sigma.nlg.com.articulate.sigma.nlg.NLGStringUtils
    com.articulate.sigma.nlg.com.articulate.sigma.nlg.NLGUtils
    com.articulate.sigma.nlg.com.articulate.sigma.nlg.Noun
    com.articulate.sigma.nlg.com.articulate.sigma.nlg.Preposition
    com.articulate.sigma.nlg.com.articulate.sigma.nlg.SVOElement
    com.articulate.sigma.nlg.com.articulate.sigma.nlg.SVOGrammar
    com.articulate.sigma.nlg.com.articulate.sigma.nlg.Sentence
    com.articulate.sigma.nlg.com.articulate.sigma.nlg.StackElement
    com.articulate.sigma.nlg.com.articulate.sigma.nlg.SumoProcess
    com.articulate.sigma.nlg.com.articulate.sigma.nlg.SumoProcessCollector
    com.articulate.sigma.nlg.com.articulate.sigma.nlg.SumoProcessEntityProperty
    com.articulate.sigma.nlg.com.articulate.sigma.nlg.VerbProperties
    com.articulate.sigma.nlg.com.articulate.sigma.nlg.VerbPropertiesSimpleImpl
    com.articulate.sigma
    com.articulate.sigma.com.articulate.sigma.package.html
    com.articulate.sigma.utils
    com.articulate.sigma.utils.com.articulate.sigma.utils.ProgressPrinter
    com.articulate.sigma.wordNet
    com.articulate.sigma.wordNet.com.articulate.sigma.wordNet.BrownCorpus
    com.articulate.sigma.wordNet.com.articulate.sigma.wordNet.MultiWords
    com.articulate.sigma.wordNet.com.articulate.sigma.wordNet.WNdiagnostics
    edu.dlsu.SUMOs.main
    edu.dlsu.SUMOs.main.edu.dlsu.SUMOs.main.PictureEditor
    edu.dlsu.SUMOs.main.edu.dlsu.SUMOs.main.XmlParser
    edu.dlsu.SUMOs.obj
    edu.dlsu.SUMOs.obj.edu.dlsu.SUMOs.obj.Input
    edu.dlsu.SUMOs.obj.edu.dlsu.SUMOs.obj.Instance
    edu.dlsu.SUMOs.obj.edu.dlsu.SUMOs.obj.Rule
    edu.dlsu.SUMOs.util
    edu.dlsu.SUMOs.util.edu.dlsu.SUMOs.util.DateUtils
    edu.dlsu.SUMOs.util.edu.dlsu.SUMOs.util.ReadWriteTextFile
    edu.dlsu.SUMOs.util.edu.dlsu.SUMOs.util.Xml
    jpl
    jpl.jpl.Atom
    jpl.jpl.Compound
    jpl.jpl.Float_JPL
    jpl.jpl.Integer_JPL
    jpl.jpl.JPL
    jpl.jpl.JPLException
    jpl.jpl.JPLUtil
    jpl.jpl.List
    jpl.jpl.Long_JPL
    jpl.jpl.Makefile
    jpl.jpl.PrologException
    jpl.jpl.Query
    jpl.jpl.QueryInProgressException
    jpl.jpl.SWIUtil
    jpl.jpl.String_JPL
    jpl.jpl.Term
    jpl.jpl.Tuple
    jpl.jpl.Variable
    jpl.jpl.Version
    jpl.fli
    jpl.fli.jpl.fli.DoubleHolder
    jpl.fli.jpl.fli.IntHolder
    jpl.fli.jpl.fli.LongHolder
    jpl.fli.jpl.fli.Makefile
    jpl.fli.jpl.fli.PointerHolder
    jpl.fli.jpl.fli.Prolog
    jpl.fli.jpl.fli.StringHolder
    jpl.fli.jpl.fli.atom_t
    jpl.fli.jpl.fli.fid_t
    jpl.fli.jpl.fli.functor_t
    jpl.fli.jpl.fli.module_t
    jpl.fli.jpl.fli.predicate_t
    jpl.fli.jpl.fli.qid_t
    jpl.fli.jpl.fli.term_t
    tptp_parser
    tptp_parser.tptp_parser.SimpleTptpParserOutput
    tptp_parser.tptp_parser.TptpLexer
    tptp_parser.tptp_parser.TptpParser
    tptp_parser.tptp_parser.TptpParserOutput
    tptp_parser.tptp_parser.TptpTokenTypes




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy