; 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 comound (not atomic, like variable or class), it is enclosed in ; parentheses, unless the tag is postfixed with an apostrof (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 ; ------------------------------------------------------ ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ; BASE ONTOLOGY ; GRUNDONTOLOGIE ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;; ; Relations ; Relationen (format de agent "%1 ist der &%agent von %2 %n{nicht}") ; NOTE: If a noun, %2 must be in dative case. (format de attribute "%2 ist ein &%attribut von %1 %n{nicht}") ; NOTE: If a noun, %1 must be in dative case. (format de believes "%1 glaubt %n{nicht}, dass %2") ; NOTE: %2 must be a sentence, not a noun. (format de between "%2 ist &%zwischen %1 und %3 %n{nicht}") ; NOTE: If nouns, %1 and %3 must be in dative case. (format de capability "%3 ist faehig %n{nicht}, in der Rolle %2 %1 zu tun") ; NOTE: If nouns, %2 must be in genitive case and %1 must be in accusative case. (format de causes "%1 verursacht %2 %n{nicht}") ; NOTE: If a noun, %2 must be in accusative case. (format de closedOn "%1 ist mit %2 %n{nicht} aufgeschlossen") ; NOTE: If a noun, %2 must be in dative case. (format de component "%1 ist ein &%bestandteil von %2 %n{nicht}") ; NOTE: If a noun, %2 must be in dative case. (format de conditionalProbability "Gesetzt den Fall, dass %2 gilt, ist die &%wahrscheinlichkeit von %1 %n{nicht} %3") ; NOTE: If a noun, %1 must be in the dative case. (format de considers "%1 betrachtet %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the accusative case. (format de containsInformation "%1 enthaelt Informationen ueber %2") ; NOTE: If a noun, %2 must be in the accusative case. (format de copy "%1 ist eine genaue &%kopie von %2") ; NOTE: If a noun, %2 must be in the dative case. (format de decreasesLikelihood "%1 verringert die Wahrscheinlichkeit von %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case. (format de desires "%1 wuenscht %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the accusative case. (format de destination "%1 endet an %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case. (format de distributes "%1 ist &%distributiv ueber %2") ; NOTE: If a noun, %2 must be in the accusative case. (format de documentation "%2") (format de equivalenceRelationOn "%1 ist eine &%aequivalenzrelation mit %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case. (format de exactlyLocated "%1 &%liegtGenau in %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case. (format de experiencer "%2 erfaehrt %1 %n{nicht}") ; NOTE: If a noun, %1 must be in the accusative case. (format de exploits "%1 nutzt %2 %n{nicht} aus") ; NOTE: If a noun, %2 must be in the accusative case. (format de faces "%1 stellet %2 gegenueber") ; NOTE: If a noun, %2 must be in the accusative case. (format de greaterThan "%1 ist &%groesserAls %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the accusative case. (format de greaterThanOrEqualTo "%1 ist &%groesserAlsOderGleich %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the accusative case. (format de hasPurpose "%1 hat Zweck von %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case. (format de hasPurposeForAgent "%1 hat Zweck von %2 fuer %3 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case and %3 must be in the accuative case. (format de hasSkill "%2 hat die F�higkeit, zum %1 zu tun %n{nicht}") ; NOTE: If a noun, %1 must be in the accusative case (format de holdsDuring "%2 haelt &%waehrend %1 %n{nicht}") ; NOTE: If a noun, %1 must be in the genitive case (format de holdsRight "%2 hat das &%Recht, %1 durchzufuehren %n{nicht}") ; NOTE: If a noun, %1 must be in the accusative case (format de increasesLikelihood "%1 vergroessert die Wahrscheinlichkeit von %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case. (format de independentProbability "Die &%wahrscheinlichkeit von %1 und %2 ist unabhaenig %n{nicht}") ; NOTE: If a noun, %1 and %2 must be in the dative case. (format de initialList "%1 beginnt %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the accuative case (format de inList "%1 ist ein &%Mitglied von %2") ; NOTE: If a noun, %2 must be in the genitive case (format de inScopeOfInterest "%1 ist an %2 &%interessiert %n{nicht}") ; NOTE: If a noun %2 must be in the dative case (format de instrument "%2 ist ein &%instrument fuer %1 %n{nicht}") ; NOTE: If a noun, %1 must be in the accuative case (format de irreflexiveOn "%1 ist &%irreflexiv auf %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case (format de knows "%1 &%kennt %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the accusative case (format de lessThan "%1 ist &%kleinerAls %2 %n{nicht}") (format de lessThanOrEqualTo "%1 ist &%kleinerAlsOderGleich %2 %n{nicht}") (format de located "%1 &%befindet sich an %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case (format de manner "%1 wird in der Weise von %2 durchgef�hrt") ; NOTE: If a noun, %2 must be in the dative case (format de material "%1 ist von %2 %n{nicht} gebildet") ; NOTE: If a noun, %2 must be in the dative case (format de member "%1 ist ein &%Mitglied von %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case (format de needs "%1 &%braucht %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the accusative case (format de notices "%1 beachtet %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the accusative case (format de origin "%1 beginnet an %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case (format de part "%1 ist ein &%teil von %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case (format de partialOrderingOn "%1 ist eine &%teilweise Einrichtung auf %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case (format de partlyLocated "%1 &%befindet sich &%teils an %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case (format de patient "%2 ist ein &%patient von %1 %n{nicht}") ; NOTE: If a noun, %1 must be in the dative case (format de piece "%1 ist ein &%stueck von %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case (format de possesses "%1 besitzt %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the accusative case (format de prefers "%1 &%bevorzugt %2 ueber %3 %n{nicht}") ; NOTE: If a noun, %2 must be in the accusative case and %3 must be in the dative case (format de probability "Die &%wahrscheinlichkeit von %1 ist %2 %n{nicht}") (format de properPart "%1 ist ein &%korrektes teil von %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case (format de property "%1 hat ein &%attribut %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the accusative case (format de reflexiveOn "%1 ist auf %2 reflexiv %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case (format de resource "%2 ist ein &%hilfmittel fuer %1 %n{nicht}") ; NOTE: If a noun, %1 must be in the accusative case (format de result "%2 ist ein &%resultat von %1 %n{nicht}") ; NOTE: If a noun, %1 must be in the dative case (format de subCollection "%1 ist eine korrekte &%teilsammlung von %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case (format de subProposition "%1 ist eine &%teilangelegenheit von %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case (format de subList "%1 ist eine &%teilliste von %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case (format de time "%1 besteht &%waehrend %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the genitive case (format de totalOrderingOn "%1 ist eine &%gesampteinrichtung auf %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case (format de trichotomizingOn "%1 ist eine &%trichotomizierung auf %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case (format de true "%1 ist %2 %n{nicht}") (format de wants "%1 wuenscht %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the accusative case (format de confersObligation "%2 &%zwingt %3, die Aufgabe der Art von %1 durchzuf�hren %n{nicht}") ; NOTE: If a noun, %3 must be in the accusative case and %1 must be in the dative case (format de confersRight "%2 &%erlaubt %3, die Aufgabe der Art von %1 durchzuf�hren %n{nicht}") ; NOTE: If a noun, %3 must be in the accusative case and %1 must be in the dative case (format de crosses "%1 kreuzt %2") (format de equivalentContentClass "%1 ist mit %2 gleichwertig") ; NOTE: If a noun, %2 must be in the dative case (format de equivalentContentInstance "%1 ist mit %2 gleichwertig") ; NOTE: If a noun, %2 must be in the dative case (format de expressedInLanguage "%1 ist in Sprache %2 ausgedrueckt") ; NOTE: If a noun, %2 must be in the dative case (format de holdsObligation "%2 wird &%gezwungen, die Aufgabe der Art von %1 durchzuf�hren %n{nicht}") ; NOTE: If a noun, %1 must be in the dative case (format de inhibits "%1 &%hemmt %2") ; NOTE: If a noun, %2 must be in the accusative case (format de penetrates "%1 dringt %2 ein") ; NOTE: If a noun, %2 must be in the accusative case (format de precondition "%1 ist eine &%vorbedingung von %2") ; NOTE: If a noun, %2 must be in the dative case (format de prevents "%1 &%verhindert das Auftreten von %2") ; NOTE: If a noun, %2 must be in the dative case (format de realization "%1 druekt den Inhalt von %2 aus") ; NOTE: If a noun, %2 must be in the dative case (format de refers "%1 umfasst einen &%hinweis auf %2") ; NOTE: If a noun, %2 must be in the dative case (format de represents "%1 &%drueckt %2 aus") ; NOTE: If a noun, %2 must be in the accusative case (format de representsForAgent "%3 &%verwendet %1, um fuer %2 zu stehen") ; NOTE: If nouns, %1 and %2 must be in the accusative case (format de representsInLanguage "%1 ist in Sprache %2 ausgedrueckt") ; NOTE: If a noun, %2 must be in the dative case (format de subPlan "%1 ist ein &%teilplan von %2") ; NOTE: If a noun, %2 must be in the dative case (format de subsumesContentClass "%1 &%fasst das Inhalt von %2 zusammen") ; NOTE: If a noun, %2 must be in the dative case (format de subsumesContentInstance "%1 &%fasst das Inhalt von %2 zusammen") ; NOTE: If a noun, %2 must be in the dative case (format de traverses "%1 &%ueberquert %2") ; NOTE: If a noun, %1 must be in the accusative case (format de uses "%2 &%verwendet %1") ; NOTE: If a noun, %1 must be in the accusative case ;;;;;;;;;;;;;;;;;; ; Functions ; Funktionen (format de AbstractionFn "die &%beschreibung von %1") ; NOTE: If a noun, %1 must be in the dative case (format de BackFn "die &%rueckseite von %1") ; NOTE: If a noun, %1 must be in the dative case (format de ExtensionFn "die &%kategorie, die %1 entspricht") (format de FrontFn "die &%frontseite von %1") ; NOTE: If a noun, %1 must be in the dative case (format de ListFn "(%*[,])") (format de ListOrderFn "%2te &%mitglied von %1") ; NOTE: If a noun, %1 must be in the dative case (format de ListLengthFn "&%Laenge von %1") ; NOTE: If a noun, %1 must be in dative case. (format de ListConcatenateFn "die Liste bestanden aus %1 und %2") ; NOTE: If nouns, %1 and %2 must be in dative case. (format de PropertyFn "&%eigentum von %1") ; NOTE: If a noun, %1 must be in dative case. (format de ProbabilityFn "die &%wahrscheinlichkeit von %1") ; NOTE: If a noun, %1 must be in dative case. (format de WhereFn "die Stelle &%wo %1 an %2 war") ; NOTE: If a noun, %2 must be in dative case. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ; STRUCTURAL ONTOLOGY ; STRUKTURONTOLOGIE ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;; ; Relations ; Relationen (format de contraryAttribute "%1 wird %2 &%entgegengesetzet %n{nicht}") ; NOTE: If a noun, %2 must be in dative case (format de disjoint "%1 ist &%dijunkt von %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case (format de disjointDecomposition "%1 wird zusammenhanglos auf %*{2-}[,] %n{nicht} disjunkt") ; NOTE: If a noun, %2 must be in the dative case (format de disjointRelation "%1 und %2 werden %n{nicht} &%disjunkt") (format de domain "die Zahl %2 Argument von %1 ist ein &%fall von %3 %n{nicht}") ; NOTE: If nouns, %1 and %3 must be in the dative case (format de domainSubclass "die Zahl %2 Argument von %1 ist eine &%teilkategorie von %3 %n{nicht}") ; NOTE: If nouns, %1 and %3 must be in the dative case (format de entails "%1 hat %2 zur Folge %n{nicht}") ; NOTE: If a noun, %2 must be in the accusative case (format de equal"%1 ist gleich %2 %n{nicht}") (format de exhaustiveDecomposition "%1 wird mit %*{2-}[,] %n{nicht} behandelt") ; NOTE: If a noun, %2 must be in the dative case (format de holds "%1(%*{2-}[,]) gilt %n{nicht}") (format de immediateInstance "%1 ist ein &%direkter fall von %2") ; NOTE: If a noun, %2 must be in the dative case (format de immediateSubclass "%1 ist eine &%direkte teilkategorie von %2") ; NOTE: If a noun, %2 must be in the dative case (format de instance "%1 ist ein &%fall von %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case (format de inverse "%1 ist eine &%inverse von %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case (format de name "%1 heisst %2 %n{nicht}") (format de partition "%1 wird &%vollstaendig in %*{2-}[,] verteilt") (format de range "&%bildbereich von %1 ist ein fall von %2 {nicht}") ; NOTE: If a noun, %2 must be in the dative case (format de relatedInternalConcept "%1 ist innerlich verwandt mit %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case (format de subAttribute "%1 ist ein &%teilattribut von %2") ; NOTE: If a noun, %2 must be in the dative case (format de subclass "%1 ist eine &%teilkategorie von %2") ; NOTE: If a noun, %2 must be in the dative case (format de subrelation "%1 ist eine &%teilrelation von %2") ; NOTE: If a noun, %2 must be in the dative case (format de successorAttribute "%1 ist ein direkter &%nachfolgerattribut von %2") ; NOTE: If a noun, %2 must be in the dative case (format de successorAttributeClosure "%1 ist ein &%nachfolgerattribut von %2") ; NOTE: If a noun, %2 must be in the dative case (format de valence "%1 hat %n{nicht} %2 &%argument(e)") (format de rangeSubclass "die werte die %1 zurueckgibt sind &%teilkategorien von %2") ; NOTE: If a noun, %2 must be in the dative case (format de relatedExternalConcept "%1 ist aeusserlich verwandt mit %2 %n{nicht}") ; NOTE: If a noun, %2 must be in the dative case (format de subsumedExternalConcept "das Konzept von %1 in Sprache %3 ist von dem Konzept %2 zusammengefasst") ; NOTE: If nouns, %1, %2, and %3 must be in the dative case (format de subsumingExternalConcept "das Konzept von %1 in Sprache %3 fasst das Konzept %2 zusammen") ; NOTE: If nouns, %1 and %3 must be in the dative case and %2 must be in accusative case (format de synonymousExternalConcept "das Konzept von %1 in Sprache %3 ist mit dem Konzept %2 synonym") ; NOTE: If nouns, %1, %2 and %3 must be in the dative case (format de uniqueIdentifier "der &%einzigartige bezeichner von %1 ist %2") ; NOTE: If a noun, %1 must be in the dative case ;;;;;;;;;;;;;;;;;; ; Functions ; Funktionen (format de DomainFn "Definitionsbereich von %1") ; NOTE: If a noun, %1 must be in the dative case (format de RangeFn "Bildbereich von %1") ; NOTE: If a noun, %1 must be in the dative case (format de AssignmentFn "%1(%*{2-}[,])") (format de PowerSetFn "alle &%teilkategorien von %1") ; NOTE: If a noun, %1 must be in the dative case ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ; MEREOTOPOLOGY ; MEREOTOPOLOGIE ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;; ; Relations ; Relationen (format de bottom "die &%unterseite von %2 ist %1") ; NOTE: If a noun, %2 must be in the dative case (format de connected "%1 wird an %2 %n{nicht} angeschlossen") ; NOTE: If a noun, %2 must be in the dative case (format de connects "%1 &%schleisst %2 und %3 an") ; NOTE: If nouns, %2 and %3 must be in the accusative case (format de meetsSpatially "%1 &%schliesst %2 raeumlich %n{nicht} an") ; NOTE: %2 must be in the accusative case (format de overlapsSpatially "%1 &%deckt sich mit %2 raeumlich %n{nicht}") ; NOTE: %2 must be in the dative case (format de overlapsPartially "%1 &%deckt sich mit %2 teilweise %n{nicht}") ; NOTE: %2 must be in the dative case (format de superficialPart "%1 ist ein &%oberflaechliches teil von %2 %n{nicht}") ; NOTE: %2 must be in the dative case (format de surface "%1 ist eine &%flaeche von %2 %n{nicht}") ; NOTE: %2 must be in the dative case (format de interiorPart "%1 ist ein &%innenteil von %2 %n{nicht}") ; NOTE: %2 must be in the dative case (format de hole "%1 ist ein &%loch in %2 %n{nicht}") ; NOTE: %2 must be in the dative case (format de fills "%1 fuellt %2 %n{nicht}") ; NOTE: %2 must be in the accusative case (format de completelyFills "%1 fuellt %2 %n{nicht} vollstaendig") ; NOTE: %2 must be in the accusative case (format de partiallyFills "%1 fuellt %2 %n{nicht} teilweise") ; NOTE: %2 must be in the accusative case (format de properlyFills "%1 fuellt %2 %n{nicht} richtig") ; NOTE: %2 must be in the accusative case (format de side "eine &%seite von %2 ist %1") ; NOTE: If a noun, %2 must be in the dative case (format de top "die &%oberseite von %2 ist %1") ; NOTE: If a noun, %2 must be in the dative case ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ; TEMPORAL CONCEPTS ; ZEITLICHE KONZEPTE ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;; ; Relations ; Relationen (format de duration "&%dauer von %1 ist %2 %n{nicht}") ; NOTE: If a noun, %1 must be in dative case (format de frequency "%1 &%gescheit alle %2") (format de temporalPart "%1 ist ein &%teil von %2 %n{nicht}") ; NOTE: If a noun, %2 must be in dative case (format de starts "%1 &%beginnt %2 %n{nicht}") ; NOTE: If a noun, %2 must be in accusative case (format de finishes "%1 &%beendet %2 %n{nicht}") ; NOTE: If a noun, %2 must be in accusative case (format de before "%1 geschieht &%vor %2 %n{nicht}") ; NOTE: If a noun, %2 must be in dative case (format de beforeOrEqual "%1 geschieht &%vor oder gleichzeitig mit %2 %n{nicht}") ; NOTE: If a noun, %2 must be in dative case (format de temporallyBetween "%2 ist &%zwischen %1 und %3") ; NOTE: If nouns, %1 and %3 must be in dative case (format de temporallyBetweenOrEqual "%2 ist &%zwischen oder gleichzeitig mit %1 und %3") ; NOTE: If nouns, %1 and %3 must be in dative case (format de overlapsTemporally "%2 &%deckt sich mit %1 %n{nicht}") ; NOTE: If a noun, %1 must be in dative case (format de during "%1 geschieht &%waehrend %2 %n{nicht}") ; NOTE: If a noun, %2 must be in genitive case (format de meetsTemporally "%1 &%schliesst %2 zeitlich %n{nicht} an") ; NOTE: %2 must be in the accusative case (format de earlier "%1 geschieht frueh als %2 %n{nicht}") (format de cooccur "%1 geschiecht gleichzeitig mit %2 %n{nicht}") ; NOTE: If a noun, %2 must be in dative case (format de date "&%datum von %1 ist %2 %n{nicht}") ; NOTE: If a noun, %1 must be in dative case ;;;;;;;;;;;;;;;;;; ; Functions ; Funktionen (format de TemporalCompositionFn "&%Aufspaltung von %1 auf %3 %2s") ; NOTE: If nouns, %1 and %2 must be in dative case (format de BeginFn "der &%anfang von %1") ; NOTE: If a noun, %1 must be in dative case (format de EndFn "das &%ende von %1") ; NOTE: If a noun, %1 must be in dative case (format de TimeIntervalFn "&%abstand zwischen %1 und %2") ; NOTE: If nouns, %1 and %2 must be in dative case (format de WhenFn "die &%zeit des Bestehens von %1") ; NOTE: If a noun, %1 must be in dative case (format de PastFn "&%vor %1") (format de ImmediatePastFn "direkt &%vor %1") (format de FutureFn "&%nach %1") ; NOTE: If a noun, %1 must be in dative case (format de ImmediateFutureFn "sofort &%nach %1") ; NOTE: If a noun, %1 must be in dative case (format de YearFn "das &%jahr %1") (format de MonthFn "der &%monat %1") (format de DayFn "der &%tag %1") (format de HourFn "die &%stunde %1") (format de MinuteFn "die &%minute %1") (format de SecondFn "die &%sekund %1") ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ; SET/CLASS THEORY ; MENGEN/KATEGORIELEHRE ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;; ; Relations ; Relationen (format de subset "%1 ist eine &%teilmenge von %2 %n{nicht}") ; NOTE: If a noun, %2 must be in dative case (format de element "%1 ist ein &%element von %2 %n{nicht}") ; NOTE: If a noun, %2 must be in dative case ;;;;;;;;;;;;;;;;;; ; Functions ; Funktionen (format de UnionFn "die &%vereinigung von %1 und %2") ; NOTE: If nouns, %1 and %2 must be in dative case (format de IntersectionFn "der &%durchschnitt von %1 und %2") ; NOTE: If nouns, %1 and %2 must be in dative case (format de RelativeComplementFn "der &%unterschied zwischen %1 und %2") ; NOTE: If noun, %1 and %2 must be in dative case (format de ComplementFn "die &%ergaenzung von %1") ; NOTE: If a noun, %1 must be in dative case (format de GeneralizedUnionFn "die &%vereinigung aller Elementen von %1") ; NOTE: If a noun, %1 must be in dative case (format de GeneralizedIntersectionFn "der &%durchschnitt aller Elementen von %1") ; NOTE: If a noun, %1 must be in dative case (format de CardinalityFn "die Zahl &%Faellen in %1") ; NOTE: If a noun, %1 must be in dative case (format de KappaFn "die &%kategorie die %1 beschreibt") ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ; OBJECTS ; GEGENSTAENDE ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;; ; Relations ; Relationen (format de developmentalForm "die &%entwicklungsForm von %1 ist %2") ; NOTE: If a noun, %2 must be in dative case (format de inhabits "%1 wohnt %n{nicht} in %2") ; NOTE: If a noun, %2 must be in dative case (format de parent "%2 ist das &%elterntiel von %1 %n{nicht}") ; NOTE: If a noun, %1 must be in dative case (format de mother "%2 ist die &%mutter von %1 %n{nicht}") ; NOTE: If a noun, %1 must be in dative case (format de father "%2 ist der &%vater von %1 %n{nicht}") ; NOTE: If a noun, %1 must be in dative case (format de sibling "%2 ist die &%geschwister von %1 %n{nicht}") ; NOTE: If a noun, %1 must be in dative case (format de authors "%1 ist der &%schreiber von %2") ; NOTE: If a noun, %2 must be in dative case (format de editor "%1 ist der &%herausgeber von %2") ; NOTE: If a noun, %2 must be in dative case (format de publishes "%1 veroeffentlicht %2") ; NOTE: If a noun, %2 must be in accusative case (format de version "%1 ist %n{nicht} eine &%version von %2") ; NOTE: If a noun, %2 must be in dative case (format de engineeringSubcomponent "%1 ist eine &%komponente von %2") ; NOTE: If a noun, %2 must be in dative case (format de connectedEngineeringComponents "%1 wird mit %2 angeschlossen") ; NOTE: If a noun, %2 must be in dative case (format de connectsEngineeringComponents "%1 schliesst %2 und %3 an") ; NOTE: If nouns, %2 and %3 must be in accusative case (format de familyRelation "%1 und %2 sind &%verwandt") (format de employs "%1 beschaeftigt %2 %n{nicht}") ; NOTE: If a noun, %2 must be in accusative case (format de subOrganizations "%1 ist ein &%teil von der Organisation %2") ; NOTE: If a noun, %2 must be in dative case (format de occupiesPosition "%1 besetzt die &%position von %2 in %3") ; NOTE: If nouns, %2 and %3 must be in dative case (format de citizen "%1 ist der &%buerger von %2") ; NOTE: If a noun, %2 must be in dative case ;;;;;;;;;;;;;;;;;; ; Functions ; Funktionen (format de EditionFn "&%ausgabe %2 von %1") ; NOTE: If a noun, %1 must be in dative case (format de SeriesVolumeFn "Band %2 in der &%reihe %1") ; NOTE: If a noun, %1 must be in dative case (format de PeriodicalIssueFn "die Zahl von &%periodikum %2 von %1") ; NOTE: If nouns, %1 and %2 must be in dative case (format de OrganizationFn "die zugelassene &%organisatorishe Gruppe von %1") ; NOTE: If a noun, %1 must be in dative case ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ; PROCESSES ; PROZESSE ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;; ; Relations ; Relationen (format de subProcess "%1 ist ein &%subProzess von %2") ; NOTE: If a noun, %2 is in dative case (format de path "%2 ist der &%pfad entlang dem %1 geschieht") ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ; QUALITIES ; QUALITAETEN ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;; ; Relations ; Relationen (format de orientation "%1 ist %3 hinsichlich %2 %n{nicht}") (format de direction "Wesen bei %1 bewegen %2") (format de birthTime "%1 wird %n{nicht} am %2 geboren") (format de deathTime "%1 stirbt %n{nicht} am %2") (format de modalAttribute "die Aussage %1 hat die modale Kraft von %2") ; NOTE: If a noun, %2 must be in dative case ;;;;;;;;;;;;;;;;;; ; Functions ; Funktionen (format de RelativeTimeFn "") ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ; UNITS OF MEASURE ; MASSEINHEITEN ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;; ; Relations ; Relationen (format de measure "das &%mass von %1 ist %2 %n{nicht}") ; NOTE: If a noun, %1 must be in dative case (format de altitude "das &%altitude von %1 ist %2 %n{nicht}") ; NOTE: If a noun, %1 must be in dative case (format de age "das &%alter von %1 ist %2 %n{nicht}") ; NOTE: If a noun, %1 msut be in dative case (format de length "die &%laenge von %1 ist %2 %n{nicht}") ; NOTE: If a noun, %1 must be in dative case (format de width "die &%breite von %1 ist %2 %n{nicht}") ; NOTE: If a noun, %1 must be in dative case (format de diameter "der &%durchmesser von %1 ist %2 %n{nicht}") ; NOTE: If a noun, %1 must be in dative case (format de height "die &%hoehe von %1 ist %2 %n{nicht}") ; NOTE: If a noun, %1 must be in dative case (format de distance "der &%abstand zwischen %1 und %2 ist %3") ; NOTE: If nouns, %1 and %2 must be in dative case (format de larger "%1 ist %n{nicht} &%groesser als %2") (format de smaller "%1 ist %n{nicht} &%kleiner als %2") (format de monetaryValue "&%wert von %1 ist %n{nicht} %2") ; NOTE: If a noun, %1 must be in dative case ;;;;;;;;;;;;;;;;;; ; Functions ; Funktionen (format de MeasureFn "%1 %2(s)") (format de KiloFn "1 &%tausend %1") (format de MegaFn "1 &%million %1") (format de GigaFn "1 &%milliarde %1") (format de TeraFn "1 &%trillion %1") (format de MilliFn "ein &%tausendstes einer %1") ; NOTE: If a noun, %1 must be in the genitive case (format de MicroFn "ein &%millionstel einer %1") ; NOTE: If a noun, %1 must be in the genitive case (format de NanoFn "ein &%milliardstel einer %1") ; NOTE: If a noun, %1 must be in the genitive case (format de PicoFn "ein &%trillionstel einer %1") ; NOTE: If a noun, %1 must be in the genitive case (format de IntervalFn "der &%zeitabstand von %1 nach %2") ; NOTE: If nouns, %1 and %2 must be in dative case (format de RecurrentTimeIntervalFn "der &%ruecklaeufige zeitabstand von %1 nach %2") ; NOTE: If nouns, %1 and %2 must be in dative case (format de MagnitudeFn "die &%groesse von %1") ; NOTE: If a noun, %1 must be in dative case (format de DensityFn "%1 &%pro &2") (format de SpeedFn "%1 &%pro &2") (format de VelocityFn "%1 &%pro &2 in %3 in der Richtung %4") ; NOTE: If nouns, %3 and %4 must be in dative case (format de WealthFn "&%wert von dem Eigentum von %1") ; NOTE: If a noun, %1 must be in dative case ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ; NUMERIC FUNCTIONS ; NUMERISCHE FUNKTIONEN ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;; ; Relations ; Relationen (format de identityElement "%2 ist ein identitaetsElement von %1") ; NOTE: If a noun, %1 is in dative case ;;;;;;;;;;;;;;;;;; ; Functions ; Funktionen (format de MultiplicationFn "%*[*]") (format de AdditionFn "(%*[+])") (format de SubtractionFn "(%*[-])") (format de DivisionFn "%*[/]") (format de AbsoluteValueFn "der &%absolutebetrag von %1") (format de ArcCosineFn "der &%arcuskosinus von %1") (format de ArcSineFn "der &%arcussinus von %1") (format de ArcTangentFn "der &%arcustangens von %1") (format de CeilingFn "die &%oberstegrenze von %1") (format de CosineFn "der &%Kosinus von %1") (format de DenominatorFn "der &%nenner von %1") (format de ExponentiationFn "%1 in der %2te Potenz") (format de FloorFn "die &%groesste Ganzzahl kleiner als oder Gleichgestelltes zu %1") (format de GreatestCommonDivisorFn "die &%groe�te gemeinsamer teiler von %*[und]") (format de ImaginaryPartFn "das &%imaginaere teil von %1") (format de IntegerSquareRootFn "die &%ganzzahl quadratwurzel von %1") (format de LeastCommonMultipleFn "das &%kleinste gemeinsames vielfach von %*[und]") (format de LogFn "das &%logarithmus von %1") (format de MaxFn "das &%groessere von %1 und %2") (format de MinFn "das &%kleinere von %1 und %2") (format de NumeratorFn "der &%zaehler von %1") (format de RationalNumberFn "die &%rationale Darstellung von %1") (format de RealNumberFn "das &%reelle teil von %1") (format de ReciprocalFn "der &%reziprokerwert von %1") (format de RemainderFn "%1 &%betrag %2") (format de RoundFn "%1 &%gerundet") (format de SignumFn "das &%zeichen von %1") (format de SineFn "der &%Sinus von %1") (format de SquareRootFn "die &%quadratwurzel von %1") (format de TangentFn "der &%tangens von %1") (format de IdentityFn "%1") (format de SuccessorFn "(%1+1)") (format de PredecessorFn "(%1+2)") ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ; GRAPH THEORY ; GRAPHENLEHRE ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;; ; Relations ; Relationen (format de links "%3 &%verbindet %1 und %2 %n{nicht}") ; NOTE: If noun, %1 and %2 are in accusative case (format de graphPart "%1 ist ein &%teil von %2 %n{nicht}") ; NOTE: If a noun, %1 is in dative case (format de subGraph "%1 ist ein &%teilgraph von %2 %n{nicht}") ; NOTE: If a noun, %1 is in dative case (format de pathLength "die &%laenge von %1 ist %2 %n{nicht}") ; NOTE: If a noun, %1 is in dative case (format de arcWeight "der &%wert von %1 ist %2") ; NOTE: If a noun, %1 is in dative case ;;;;;;;;;;;;;;;;;; ; Functions ; Funktionen (format de InitialNodeFn "das &%ausgangsnullpunkt von %1") ; NOTE: If a noun, %1 is in dative case (format de TerminalNodeFn "das &%terminalnullpunkt von %1") ; NOTE: If a noun, %1 is in dative case (format de BeginNodeFn "der &%anfang von %1") ; NOTE: If a noun, %1 is in dative case (format de EndNodeFn "das &%ende von %1") ; NOTE: If a noun, %1 is in dative case (format de PathWeightFn "der &%wert von %1") ; NOTE: If a noun, %1 is in dative case (format de MinimalWeightedPathFn "der Pfad der niedrigsten Kosten zwischen %1 und %2") ; NOTE: If nouns, %1 and %2 must be in dative case (format de MaximalWeightedPathFn "der Pfad der hoechsten Kosten zwischen %1 und %2") ; NOTE: If nouns, %1 and %2 must be in dative case (format de GraphPathFn "die &%menge von Pfaden zwischen %1 und %2") ; NOTE: If nouns, %1 and %2 must be in dative case (format de CutSetFn "die &%menge von Pfaden die %1 in zwei verschiedene Graphen schnitten") ; NOTE: If a noun, %1 must be in accusative case (format de MinimalCutSetFn "die &%menge von minimalen Pfaden die %1 in zwei verschiedene Graphen schnitten") ; NOTE: If a noun, %1 must be in accusative case ;;;;;;;;;;;;;;;;;; ; Functions ; Funktionen (format de MereologicalSumFn "die &%vereinigung von den teilen von %1 und %2") ; NOTE: If nouns, %1 and %2 must be in dative case (format de MereologicalProductFn "der &%durchschnitt von den teilen von %1 und %2") ; NOTE: If nouns, %1 and %2 must be in dative case (format de MereologicalDifferenceFn "die &%differenz zwischen den Teilen von %1 und %2") ; NOTE: If nouns, %1 and %2 must be in dative case (format de PrincipalHostFn "der &%wirt von dem Loch %1") ; NOTE: If a noun, %1 must be in dative case (format de SkinFn "die &%oberflaeche von dem Loch %1") ; NOTE: If a noun, %1 must be in dative case