tptp_parser.TptpTokenTypes Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of sigma-component Show documentation
Show all versions of sigma-component Show documentation
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.
// $ANTLR 2.7.5 (20050128): "tptp.g" -> "TptpLexer.java"$
package tptp_parser;
import java.util.List;
import java.util.LinkedList;
public interface TptpTokenTypes {
int EOF = 1;
int NULL_TREE_LOOKAHEAD = 3;
int INTEGER = 4;
int UNSIGNED_INTEGER = 5;
int RATIONAL = 6;
int REAL = 7;
int LOWER_WORD = 8;
int SINGLE_QUOTED = 9;
int DOLLAR_WORD = 10;
int DOLLAR_DOLLAR_WORD = 11;
int AND = 12;
int VLINE = 13;
int EQUAL = 14;
int IMPLICATION = 15;
int DISEQUIVALENCE = 16;
int NOT_OR = 17;
int NOT_AND = 18;
int EQUIVALENCE = 19;
int REVERSE_IMPLICATION = 20;
int LPR = 21;
int RPR = 22;
int COMMA = 23;
int DISTINCT_OBJECT = 24;
int UPPER_WORD = 25;
int NOTEQUAL = 26;
int APPLY = 27;
int MAP = 28;
int STAR = 29;
int PLUS = 30;
int SUBTYPE = 31;
int COLON = 32;
int ASSIGN = 33;
int TILDA = 34;
int SMALLPI = 35;
int SMALLSIGMA = 36;
int LSB = 37;
int RSB = 38;
int ALL = 39;
int EXIST = 40;
int LAMBDA = 41;
int BIGPI = 42;
int BIGSIGMA = 43;
int CHOICE = 44;
int DESCRIPTION = 45;
int SEQUENT = 46;
int PLUSPLUS = 47;
int MINUSMINUS = 48;
int DOT = 49;
int ONE_LINE_COMMENT = 50;
int MANY_LINE_COMMENT = 51;
int WHITESPACE = 52;
}