;  This program is free software; you can redistribute it and/or
;  modify it under the terms of the GNU Lesser General Public
;  License as published by the Free Software Foundation; either
;  version 2.1 of the License, or (at your option) any later version.
;
;  This program is distributed in the hope that it will be useful,
;  but WITHOUT ANY WARRANTY; without even the implied warranty of
;  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
;  Lesser General Public License for more details.
;
;  You should have received a copy of the GNU Lesser General Public
;  License along with this program; if not, write to the Free Software
;  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
;
; This file contains definitions of auxiliary predicates that help to
; define language representations of predicates defined within SUMO.
; The 'format' predicate associates a concept (either relation or
; a function) with a string. When there is a need to visualise certain
; concept in natural language, the associated string is used. The string
; generally contains a natural language description of the concept, but
; it may contain special tags which are interpreted with the browser.
; The description of these tags follows:
;
; &%token - specifies a token that will be made into a hypertext link
;    to concept (relation, function) being visualized
; %1, %2, ... - this tag will be substituted with a natural language
;    representation of the concept's respective argument; if the argument
;    is compound (not atomic, like variable or class), it is enclosed in
;    parentheses, unless the tag is postfixed with an apostrophe (like %2')
; %1a{text}, %2a{text}, ... will be replaced with text, if the respective
;    argument is atomic, or with an empty string otherwise
; %1c{text}, %2c{text}, ... will be replaced with text, if the respective
;    argument is compound, or with an empty string otherwise
; %n{text} will be replaced either with an empty string, if a predicate
;    is being rendered as positive, or 'text' otherwise; the %n tag
;    can be used as a shortcut for %n{not}
; %p{text} replaced with 'text' for positive rendering and with an
;    empty string for negative rendering
; %*{range}[delim] will be replaced with a list of natural-language
;    representation of a subset of arguments; range specifies which
;    arguments will be included - it is a comma separated list of
;    numbers or ranges; for example, range '1-4,6' denotes first,
;    second, third, fourth and sixth argument; the delim parameter
;    specifies the delimiter which will be used to separate
;    representations of arguments; both {range} and [delim] may be omited
;    - range defaults to all arguments, and delim defaults to a single
;    space
; %% will be replaced with a single percent character
; ------------------------------------------------------


(format tg AbsoluteValueFn "ang &%buong &%kahulugan sa %1")
(format tg AbstractionFn "ang &%paglalarawan sa %1")
(format tg AdditionFn "(%*[+]")
(format cb age "ang &%idad sa %1 %n{dili} %2")
(format tg agent "%1 %n ang kumakatawan sa %2")
(format tg altitude "ang &%taas ng %1 ay %2")
(format tg ArcCosineFn "ang &%arccosine ng %1")
(format tg ArcSineFn "ang &%arcsine ng %1")
(format tg ArcTangentFn "ang &%arctangent ng %1")
(format cb arcWeight "ang &%timbang ani %1 ug %2")
(format tg AssignmentFn "%1(%*{2-}[,]")
(format tg attribute "%1 %n may katangian ng %2")
(format cb authors "%1 ang &%nagsulat sa %2")
(format cb BackFn "ang &%likod sa %1")
(format cb before "%1 %n{dili} nahimo &%una sa %2")
(format tg beforeOrEqual "%1 %n{hindi} nagaanap &%bago o sa panahon dati %2")
(format cb BeginFn "ang &%sinugdanan sa %1")
(format cb BeginNodeFn "ang &%sugod sa %1")
(format cb believes "%1 %n mingtuo %2")
(format cb between "%2 %n ay sa tunga sa %1 at %3")
(format cb birthTime "%1 %n ay &%natawhan sa %2")
(format cb bottom "ang &%ilalum sa %2 %n ay %1")
(format cb capability "%n kaya %1 himuon %2")
(format cb CardinalityFn "ang &%pananglitan sa %1")
(format cb causes "%1 %n ay &%naghatag %2")
(format tg CeilingFn "ang &%kisame sa %1")
(format tg citizen "%1 ay ang &%mamamayan ng %2" )
(format tg closedOn "%1 %n ay &%nakapinid sa %2")
(format tg ComplementFn "the &%kapupunan ng %1")
(format cb completelyFills "%1 %n{dili} &%tanang &%nagsakop %2")
(format tg component "%1 %n ay ang &%sangkap ng %2")
(format cb conditionalProbability "ang &%higayon na %1 kung %2 tinuod sa %n ay %2")
(format tg confersObligation "%2 &%nauubliga %3 gumawa ang gawain ng ang klase %1")
(format tg confersRight "%2 &%nagpapahintulot %3 gawin ang gawain sa ang klase %1")
(format cb connected "%1 %n ay &%ikabit sa %2")
(format cb connectedEngineeringComponents "%1 ay &%mingkabit sa %2")
(format cb connects "%1 &%ikabit %2 ug %3")
(format tg connectsEngineeringComponents "%1 &%nagkakabit %2 at %3")
(format tg considers "%1 %n &%inisipin %2")
(format cb containsInformation "%1 %n &%naay nahibaw-an %2")
(format tg contraryAttribute "%1 %n ay &%sinaalungat sa %2")
(format tg cooccur "%1 %n &%nagaanap sa ang panahon dati ng %2")
(format tg copy "%1 %n ay ang &%sipi ng tama ng %2")
(format tg CosineFn "ang &%cosine ng %1")
(format cb crosses "%1 &%mingtabok %2")
(format tg CutSetFn "ang &%spulutong sa ang mga pinagdaraanan ng nagbabahagi %1 sa dalawang bukod na talaguhitan")
(format cb date "ang &%petsang %1 %n ay %2")
(format cb DayFn "ang &%adlaw %1")
(format cb deathTime "%1 %n kamatyanan sa %2")
(format tg decreasesLikelihood "%1 %n ay &%ngbabawas ang malamang sa %2")
(format tg DenominatorFn "ang &%denominator ng %1")
(format tg DensityFn "%1 &%sa &%isa %2")
(format cb desires "%1 %n &%kagustuhan %2")
(format cb destination "%1 %n &%ihuman sa %2")
(format tg developmentalForm "ang &%bata pa ng &%kalagayan ng %1 ay %2")
(format tg diameter "ang &%bantod ng %1 %n ay %2")
(format cb direction "ang mga butang sa ang paglakaw %1 ay &%nag-usab sa %2")
(format cb disjoint "%1 %n ay &%lahi sa %2")
(format cb disjointDecomposition "%1 %n ay &%magtunga sa %*{2-}[,]")
(format cb disjointRelation "%1 at %2 %n ay &%lahi")
(format cb distance "ang &%agwat sa %1 ug %2 ay %3")
(format tg distributes "%1 %n ay &%namahagi sa %2")
(format tg DivisionFn "%*[/]")
(format tg documentation "%2")
(format tg domain "ang bilang %2 bahagi ng %1 %n ay ang &%halimbawa ng %3")
(format tg DomainFn "&%larangan ng %1")
(format tg domainSubclass "ang bliang %2 bahagi ng %1 %n ay ang mas &%tiayk klase ng %3")
(format cb duration " &%kadugay  %1 %n ay %2")
(format tg during "%1 %n nagaanap &%habang %2")
; (format tg  earlier "%1 %n{doesn't} happen%p{s} &%earlier than %2")
; (format tg  EditionFn "&%edition %2 of %1")
; (format tg  editor "%1 is the &%editor of %2")
; (format tg  element "%1 is %n an &%element of %2")
; (format tg  employs "%1 %n{doesn't} &%employ%p{s} %2")
; (format tg  EndFn "the &%end of %1")
; (format tg  EndNodeFn "the &%end of %1")
; (format tg  engineeringSubcomponent "%1 is a &%component of %2")
; (format tg  entails "%1 %n{doesn't} &%entail%p{s} %2")
; (format tg  equal "%1 is %n &%equal to %2")
; (format tg  equivalenceRelationOn "%1 is %n &%equivalence relation on %2")
; (format tg  equivalentContentClass "%1 is &%equivalent to %2")
; (format tg  equivalentContentInstance "%1 is &%equivalent to %2")
; (format tg  exactlyLocated "%1 is %n &%exactly located in %2")
; (format tg  exhaustiveDecomposition "%1 is %n &%covered by %*{2-}[,]")
; (format tg  experiencer "%2 %n{doesn't} &%experience%p{s} %1")
; (format tg  exploits "%1 %n{doesn't} &%exploit%p{s} %2")
; (format tg  ExponentiationFn "%1 raised to the power %2")
; (format tg  expressedInLanguage "%1 is &%expressed in language %2")
; (format tg  ExtensionFn "the &%class corresponding to %1")
; (format tg  faces "%1 faces %2")
; (format tg  familyRelation "%1 and %2 are &%related")
; (format tg  father "%2 is %n a &%father of %1")
; (format tg  fills "%1 %n{doesn't} &%fill%p{s} %2")
; (format tg  finishes "%1 %n{doesn't} &%finish%p{es} %2")
; (format tg  FloorFn "the &%largest integer less than or equal to %1")
; (format tg  frequency "%1 &%occurs every %2")
; (format tg  FrontFn "the &%front of %1")
; (format tg  FutureFn "&%after %1")
; (format tg  GeneralizedIntersectionFn "the &%intersection of all the elements of %1")
; (format tg  GeneralizedUnionFn "the &%union of all the elements of %1")
; (format tg  GigaFn "1 &%billion %1s ")
; (format tg  graphPart "%1 is %n a &%part of %2")
; (format tg  GraphPathFn "the &%set of paths between %1 and %2")
; (format tg  greaterThan "%1 is %n &%greater than %2")
; (format tg  greaterThanOrEqualTo "%1 is %n &%greater than or equal to %2")
; (format tg  GreatestCommonDivisorFn "the &%greatest common divisor of %*[and]")
; (format tg  hasPurpose "%1 has %n &%purpose %2")
; (format tg  hasPurposeForAgent "%1 has &n &%purpose %2 for %3")
; (format tg  hasSkill "%2 has &n &%skill to do %1")
; (format tg  height  "the &%height of %1 is %n %2")
; (format tg  holds "%1(%*{2-}[,] %n{doesn't} &%hold%p{s}")
; (format tg  holdsDuring "%2 %n{doesn't} hold%p{s} &%during %1")
; (format tg  holdsObligation "%2 is &%obliged to perform tasks of type %1")
; (format tg  holdsRight "%2 %p{has} %n{doesn't have} the &%right to perform %1")
; (format tg  hole "%1 is %n a &%hole in %2")
; (format tg  HourFn "the &%hour %1")
; (format tg  identityElement "%2 is %n an &%identity element of %1")
; (format tg  IdentityFn "%1")
; (format tg  ImaginaryPartFn "the &%imaginary part of %1")
; (format tg  ImmediateFutureFn "immediately &%after %1")
; (format tg  immediateInstance "%1 is an &%immediate instance of %2")
; (format tg  ImmediatePastFn "immediately &%before %1")
; (format tg  immediateSubclass "%1 is an &%immediate subclass of %2")
; (format tg  increasesLikelihood "%1 %n{doesn't} &%increase%p{s} likelihood of %2")
; (format tg  independentProbability "probability of %1 and %2 is %n &%independent")
; (format tg  inhabits "%1 %n{doesn't} &%live%p{s} in %2")
; (format tg  inhibits "%1 &%inhibits %2")
; (format tg  initialList "%1 %n{doesn't} &%start%p{s} %2")
; (format tg  InitialNodeFn "the &%starting node of %1")
; (format tg  inList "%1 is %n a &%member of %2")
; (format tg  inScopeOfInterest "%1 is %n &%interested in %2")
; (format tg  instance "%1 is %n an &%instance of %2")
; (format tg  instrument "%2 is %n an &%instrument for %1")
; (format tg  IntegerSquareRootFn "the &%integer square root of %1")
; (format tg  interiorPart "%1 is %n a &%interior part of %2")
; (format tg  IntersectionFn "the &%union of %1 and %2")
; (format tg  IntervalFn "the &%interval from %1 to %2")
; (format tg  inverse "%1 is %n an &%inverse of %2")
; (format tg  irreflexiveOn "%1 is %n &%irreflexive on %2")
; (format tg  KappaFn "the &%class described by %1" )
; (format tg  KiloFn "1 &%thousand %1s")
; (format tg  knows "%1 %n{doesn't} &%know%p{s} %2")
; (format tg  larger "%1 is %n &%larger than %2")
; (format tg  LeastCommonMultipleFn "the &%least common multiple of %*[and]")
; (format tg  length "the &%length of %1 is %n %2")
; (format tg  lessThan "%1 is %n &%less than %2")
; (format tg  lessThanOrEqualTo "%1 is %n &%less than or equal to %2")
; (format tg  links "%3 %n{doesn't} &%link%p{s} %1 and %2")
; (format tg  ListConcatenateFn "the list composed of %1 and %2")
; (format tg  ListFn "(%*[,]")
; (format tg  ListLengthFn "&%length of %1")
; (format tg  ListOrderFn "%2th &%element of %1")
; (format tg  located "%1 is %n &%located at %2")
; (format tg  LogFn "the &%log of %1")
; (format tg  MagnitudeFn "the &%magnitude of %1")
; (format tg  manner "%1 is performed in the manner %2")
; (format tg  material "%1 is %n &%made of %2")
; (format tg  MaxFn "the &%larger of %1 and %2")
; (format tg  MaximalWeightedPathFn "the &%highest cost path between %1 and %2")
; (format tg  measure "the &%measure of %1 is %n %2")
; (format tg  MeasureFn "%1 %2(s")
; (format tg  meetsSpatially "%1 %n{doesn't} &%meet%p{s} %2")
; (format tg  meetsTemporally "%1 %n{doesn't} &%meet%p{s} %2")
; (format tg  MegaFn "1 &%million %1s")
; (format tg  member "%1 is %n a &%member of %2")
; (format tg  MereologicalDifferenceFn "the &%difference between the parts of %1 and %2")
; (format tg  MereologicalProductFn "the &%intersection of the parts of %1 and %2")
; (format tg  MereologicalSumFn "the &%union of the parts of %1 and %2")
; (format tg  MicroFn "one &%millionth of a %1")
; (format tg  MilliFn "one &%thousandth of a %1")
; (format tg  MinFn "the &%smaller of %1 and %2")
; (format tg  MinimalCutSetFn  "the &%set of minimal paths that partition %1 into two separate graphs")
; (format tg  MinimalWeightedPathFn "the &%lowest cost path between %1 and %2")
; (format tg  MinuteFn "the &%minute %1")
; (format tg  modalAttribute "the statement %1 has the model force of %2")
; (format tg  monetaryValue "&%value of %1 is %n %2")
; (format tg  MonthFn "the &%month %1")
; (format tg  mother "%2 is %n a &%mother of %1")
; (format tg  MultiplicationFn "%*[*]")
; (format tg  name "%1 has %n &%name %2")
; (format tg  NanoFn "one &%billionth of a %1")
; (format tg  needs "%1 %n{doesn't} &%need%p{s} %2")
; (format tg  notices "%1 %n{doesn't} &%notice%p{s} %2")
; (format tg  NumeratorFn "the &%numerator of %1")
; (format tg  occupiesPosition "%1 holds the &%position of %2 in %3")
; (format tg  OrganizationFn "the legal &%organizational entity of %1"  )
; (format tg  orientation "%1 is %n %3 to %2")
; (format tg  origin "%1 %n{doesn't} &%origin%p{s} at %2")
; (format tg  overlapsPartially "%1 %n{doesn't} partially &%overlap%p{s} with %2")
; (format tg  overlapsSpatially "%1 %n{doesn't} &%overlap%p{s} with %2")
; (format tg  overlapsTemporally "%2 %n{doesn't} &%overlap%p{s} %1")
; (format tg  parent "%2 is %n a &%parent of %1")
; (format tg  part "%1 is %n a &%part of %2")
; (format tg  partiallyFills "%1 %n{doesn't} &%partially fill%p{s} %2")
; (format tg  partialOrderingOn "%1 is %n &%partial ordering on %2")
; (format tg  partition "%1 is %n &%exhaustively partitioned into %*{2-}[,]")
; (format tg  partlyLocated "%1 is %n &%partly located in %2")
; (format tg  PastFn "&%before %1")
; (format tg  path "%2 is %n &%path along with %1 occurs")
; (format tg  pathLength "the &%length of %1 is %n %2")
; (format tg  PathWeightFn "the &%value of %1")
; (format tg  patient "%2 is %n a &%patient of %1")
; (format tg  penetrates "%1 &%penetrates %2")
; (format tg  PeriodicalIssueFn "the &%periodical number %2 of %1")
; (format tg  PicoFn "one &%trillionth of a %1")
; (format tg  piece "%1 is %n a &%piece of %2")
; (format tg  possesses "%1 %n{doesn't} &%posess%p{es} %2")
; (format tg  PowerSetFn "all &%subclasses of %1")
; (format tg  precondition "%1 is a &%precondition of %2")
; (format tg  PredecessorFn "(%1+2")
; (format tg  prefers "%1 %n{doesn't} &%prefer%p{s} %2 over %3")
; (format tg  prevents "%1 &%prevents the occurrence of %2")
; (format tg  PrincipalHostFn "the &%host of the hole %1")
; (format tg  probability "&%probability of %1 is %n %2")
; (format tg  ProbabilityFn "the &%probability of %1")
; (format tg  properlyFills "%1 %n{doesn't} &%properly fill%p{s} %2")
; (format tg  properPart "%1 is %n a &%properPart of %2")
; (format tg  property "%1 has %n an &%attribute %2")
; (format tg  PropertyFn "&%belongings of %1")
; (format tg  publishes "%1 &%publishes %2")
; (format tg  range "&%range of %1 is %n an instance of %2")
; (format tg  RangeFn "&%range of %1")
; (format tg  rangeSubclass "the values returned by %1 are &%subclasses of %2")
; (format tg  RationalNumberFn "the &%rational representation of %1")
; (format tg  realization "%1 &%expresses the content of %2")
; (format tg  RealNumberFn "the &%real part of %1")
; (format tg  ReciprocalFn "the &%reciprocal of %1")
; (format tg  RecurrentTimeIntervalFn "the &%recurring period from %1 to %2")
; (format tg  refers "%1 includes a &%reference to %2")
; (format tg  reflexiveOn "%1 is %n &%reflexive on %2")
; (format tg  relatedExternalConcept "the concept of %1 in language %3 is &%related to the concept of %2")
; (format tg  relatedInternalConcept "%1 is %n &%internally related to %2")
; (format tg  RelativeComplementFn "the &%difference between %1 and %2")
; (format tg  RelativeTimeFn "")
; (format tg  RemainderFn "%1 &%mod %2")
; (format tg  represents "%1 &%expresses %2")
; (format tg  representsForAgent "%3 &%uses %1 to stand for %2")
; (format tg  representsInLanguage "%1 &%represents %2 in the language %3")
; (format tg  resource "%2 is %n a &%resource for %1")
; (format tg  result "%2 is %n a &%result of %1")
; (format tg  RoundFn "%1 &%rounded")
; (format tg  SecondFn "the &%second %1")
; (format tg  SeriesVolumeFn "volume %2 in the &%series %1")
; (format tg  sibling "%1 is %n a &%sibling of %2")
; (format tg  side "a &%side of %2 is %1")
; (format tg  SignumFn "the &%sign of %1")
; (format tg  SineFn "the &%sine of %1")
; (format tg  SkinFn "the &%surface of the hole %1"  )
; (format tg  smaller "%1 is %n &%smaller than %2")
; (format tg  SpeedFn "%1 &%per %2")
; (format tg  SquareRootFn "the &%square root of %1")
; (format tg  starts "%1 %n{doesn't} &%start%p{s} %2")
; (format tg  subAttribute "%1 is %n a &%subattribute of %2")
; (format tg  subclass "%1 is %n a &%subclass of %2")
; (format tg  subCollection "%1 is %n a proper &%sub-collection of %2")
; (format tg  subGraph "%1 is %n a &%subgraph of %2" )
; (format tg  subList "%1 is %n a &%sublist of %2")
; (format tg  subOrganizations "%1 is a &%part of the organization %2")
; (format tg  subPlan "%1 is a &%sub-plan of %2")
; (format tg  subProcess "%1 is %n a &%subprocess of %2")
; (format tg  subProposition "%1 is a &%sub-proposition of %2")
; (format tg  subrelation "%1 is %n a &%subrelation of %2")
; (format tg  subset "%1 is %n a &%subset of %2")
; (format tg  subsumedExternalConcept "the concept of %1 in language %3 is &%subsumed by the concept of %2")
; (format tg  subsumesContentClass "%1 &%subsumes the content of %2")
; (format tg  subsumesContentInstance "%1 &%subsumes the content of %2")
; (format tg  subsumingExternalConcept "the concept of %1 in language %3 &%subsumes the concept of %2")
; (format tg  SubtractionFn "(%*[-]")
; (format tg  successorAttribute "%1 is %n an immediate &%successor attribute of %2")
; (format tg  successorAttributeClosure "%1 is %n a &%successor attribute of %2")
; (format tg  SuccessorFn "(%1+1")
; (format tg  superficialPart "%1 is %n a &%superficial part of %2")
; (format tg  surface "%1 is %n a &%surface of %2")
; (format tg  synonymousExternalConcept "the concept of %1 in language %3 is &%synonymous with the concept of %2")
; (format tg  TangentFn "the &%tangent of %1")
; (format tg  TemporalCompositionFn "&%decomposition of %1 into %3 %2s")
; (format tg  temporallyBetween "%2 is %n &%between %1 and %3")
; (format tg  temporallyBetweenOrEqual "%2 is %n &%between or at %1 and %3")
; (format tg  temporalPart "%1 is %n a &%part of %2")
; (format tg  TeraFn "1 &%trillion %1s")
; (format tg  TerminalNodeFn "the &%terminal node of %1")
; (format tg  time "%1 %n{doesn't} exist%p{s} &%during %2")
; (format tg  TimeIntervalFn "&%interval between %1 and %2")
; (format tg  top "the &%top of %2 is %1")
; (format tg  totalOrderingOn "%1 is %n &%total ordering on %2")
; (format tg  traverses "%1 &%traverses %2")
; (format tg  trichotomizingOn "%1 is %n &%trichotomizing on %2")
; (format tg  true "%1 &%is %n %2")
; (format tg  UnionFn "the &%union of %1 and %2")
; (format tg  uniqueIdentifier "the &%unique identifier of %1 is %2")
; (format tg  uses "%2 &%uses %1")
; (format tg  valence "%1 %p{%&has} %n{doesn't %&have} %2 &%argument(s")
; (format tg  VelocityFn "%1 &%per %2 in %3 in the direction %4")
; (format tg  version "%1 is %n a &%version of %2")
; (format tg  wants "%1 %n{doesn't} &%want%p{s} %2")
; (format tg  WealthFn "&%value of belongings of %1")
; (format tg  WhenFn "the &%time of existence of %1")
; (format tg  WhereFn "the place &%where %1 was at %2")
; (format tg  width "the &%width of %1 is %n %2")
; (format tg  YearFn "the &%year %1")