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