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