Package com.articulate.sigma.trans

Class SUMOKBtoTFAKB

java.lang.Object
com.articulate.sigma.trans.SUMOKBtoTPTPKB
com.articulate.sigma.trans.SUMOKBtoTFAKB
public class SUMOKBtoTFAKB extends SUMOKBtoTPTPKB

  • Field Details

  • Constructor Details

    • SUMOKBtoTFAKB

      public SUMOKBtoTFAKB()

  • Method Details

    • initOnce

      public void initOnce()

    • hasNumericArg

      public boolean hasNumericArg(String t)
      Test whether the given relation has an argument that is a subclass of Quantity

    • hasNumericSuperArg

      public boolean hasNumericSuperArg(String t)
      Test whether the given relation has an argument that could be a number

    • quantButNotBuiltInSubtype

      public static boolean quantButNotBuiltInSubtype(String type, String s)
      Test whether the term is a subclass of Quantity but not a subclass of one of the three TFF built-in types of $int, $rat and $real

    • quantButNotBuiltInType

      public static boolean quantButNotBuiltInType(String type, String s)
      Test whether the term is a subclass of Quantity but not a one of the three TFF built-in types of $int, $rat and $real or subclass

    • builtInOrSubType

      public boolean builtInOrSubType(String s)
      Test whether the term one of the three TFF built-in types of $int, $rat and $real or subclass

    • translateSort

      public static String translateSort(KB kb, String s)
      Translate SUMO class names to their appropriate TFF sort

    • translateName

      public static String translateName(String s)

    • writeSort

      public void writeSort(String t, PrintWriter pw)
      Write sort for a term

    • getVariableAritySuffix

      public int getVariableAritySuffix(String t)
      Get the numerical suffix on a variable arity predicate for how many arguments it has (in a particular case of use)

    • writeRelationSort

      public void writeRelationSort(String t, PrintWriter pw)
      Write signatures for relations

    • alreadyExtended

      public static boolean alreadyExtended(String t)

    • writeSorts

      public void writeSorts(PrintWriter pw)
      Check if the relation has a numeric argument that isn't completely specific, so that it needs special treatment to create versions for integers, reals and rationals

    • printHelp

      public static void printHelp()

    • main

      public static void main(String[] args)
      Will first write out SUMO.tptp if the KB had not yet been serialized, or serialized files are older than the sources, then, will write out a fresh SUMO.tff.
      Parameters:
      args - any given command line arguments (not currently used)