1 - 18 of total 18 results for type:Language in 1.878999948501587 seconds
indexlabeltypemoresourcemodifiedindexed
1EnglishLanguagebrowser2 , browsehttp://inference-web.org/registry/LG/English.owl2007-11-132008-07-31
2TPTP-FOFLanguagebrowser2 , browsehttp://inference-web.org/registry/LG/TPTPFOF.owl2007-11-132008-07-31
3ArithmeticLanguagebrowser2 , browsehttp://inference-web.org/registry/LG/ARITHMETIC.owl2007-11-132008-07-31
4TPTP-CNFLanguagebrowser2 , browsehttp://inference-web.org/registry/LG/TPTPCNF.owl2007-11-132008-07-31
5Uima LogicLanguagebrowser2 , browsehttp://inference-web.org/registry/LG/UimaLogic.owl2007-11-132008-07-31
6DARPA Agent Markup Language (DAML)Languagebrowser2 , browsehttp://inference-web.org/registry/LG/DAML.owl2007-11-132008-07-31
7Temporal ordering relations on time points and the Allen relations on time intervalsLanguagebrowser2 , browsehttp://inference-web.org/registry/LG/TIME.owl2007-11-132008-07-31
8n/aLanguagebrowser2 , browsehttp://inference-web.org/proofs/test/2007-08-gila/04_sc1.owl2007-08-102008-07-24
9Proof Protocol for Deductive Reasoning (PPDR)Languagebrowser2 , browsehttp://inference-web.org/registry/LG/PPDR.owl2007-11-132008-07-31
10n/aIdentifiedThingbrowser2 , browsehttp://inference-web.org/proofs/test/2007-08-gila/04_clr.owl2007-08-102008-07-24
11Resource Description Framework (RDF)Languagebrowser2 , browsehttp://inference-web.org/registry/LG/RDF.owl2007-11-132008-07-31
12N3Languagebrowser2 , browsehttp://inference-web.org/registry/LG/N3.owl2007-11-132008-07-31
13KM knowledge representation languageLanguagebrowser2 , browsehttp://inference-web.org/registry/LG/KM.owl2007-11-132008-07-31
14GeronaLanguagebrowser2 , browsehttp://inference-web.org/registry/LG/Gerona.owl2007-11-132008-07-31
15n/aLanguagebrowser2 , browsehttp://inference-web.org/proofs/test/2007-08-gila/04_sc2.owl2007-08-102008-07-24
16DatalogLanguagebrowser2 , browsehttp://inference-web.org/registry/LG/DATALOG.owl2007-11-132008-07-31
17Knowledge Interchange Format (KIF)Languagebrowser2 , browsehttp://inference-web.org/registry/LG/KIF.owl2007-11-132008-07-31
18DIMACS CNF FormatLanguagebrowser2 , browsehttp://inference-web.org/registry/LG/DIMACS.owl2007-11-132008-07-31