Skip to content

Commit

Permalink
english_format, etc.: Remove format for historical "holds".
Browse files Browse the repository at this point in the history
  • Loading branch information
jefft0 committed Jul 12, 2016
1 parent e69555b commit ad85730
Show file tree
Hide file tree
Showing 6 changed files with 0 additions and 7 deletions.
2 changes: 0 additions & 2 deletions Translations/arabic_format.kif
Original file line number Diff line number Diff line change
Expand Up @@ -115,7 +115,6 @@
(format ar entails "%1 %n{لا} &%يَسْتَلْزِم %2")
(format ar equal "%1 هو %n &%مُسَاوٍ لـ %2")
(format ar exhaustiveDecomposition "%1 هو %n &%مَشْمُول بـ %*{2-}[']")
(format ar holds "%1 (%*{2-}[']) %n{لا} &%يَصِحّ")
(format ar immediateInstance "%1 هو %n &%مِثَال مُبَاشَر على %2")
(format ar immediateSubclass "%1 هو %n &%صِنْف فَرْعِي مُبَاشِرلـ %2")
(format ar instance "%1 هو %n &%مِثَال عن %2")
Expand Down Expand Up @@ -566,7 +565,6 @@
(termFormat ar entails "«يَسْتَلْزِم»")
(termFormat ar equal "«مُسَاوٍ لـ»")
(termFormat ar exhaustiveDecomposition "«مَشْمُول بـ»")
(termFormat ar holds "«يَصِحّ»")
(termFormat ar immediateInstance "«مِثَال مُبَاشَر على»")
(termFormat ar immediateSubclass "«صِنْف فَرْعِي مُبَاشِرلـ»")
(termFormat ar instance "«مِثَال عن»")
Expand Down
1 change: 0 additions & 1 deletion Translations/french_format.kif
Original file line number Diff line number Diff line change
Expand Up @@ -170,7 +170,6 @@
(format FrenchLanguage entails "%1 %n{ne} &%n�cessite %n{pas} %2")
(format FrenchLanguage equal "%1 est %n &%�gal � %2")
(format FrenchLanguage exhaustiveDecomposition "%1 est %n &%couvert par %*{2-}[,]")
(format FrenchLanguage holds "%1(%*{2-}[,]) %n{ne} s'&%applique %n{pas}")
(format FrenchLanguage immediateInstance "%1 est %n une &%instance imm�diate de %2")
(format FrenchLanguage immediateSubclass "%1 est %n une &%sous-classe imm�diate de %2")
(format FrenchLanguage instance "%1 est %n une &%instance de %2")
Expand Down
1 change: 0 additions & 1 deletion Translations/portuguese_format.kif
Original file line number Diff line number Diff line change
Expand Up @@ -122,7 +122,6 @@
(format PortugueseLanguage entails "%1 %n{nao} &%implica %n %2")
(format PortugueseLanguage equal "%1 e' %n &%igual a %2")
(format PortugueseLanguage exhaustiveDecomposition "%1 e' %n &%coberto por %*{2-}[,]")
(format PortugueseLanguage holds "%1(%*{2-}[,]) %n{nao} &%vale em %n ")
(format PortugueseLanguage immediateInstance "%1 e' %n uma &%instancia imediata de %2")
(format PortugueseLanguage immediateSubclass "%1 e' %n uma &%sub-classe imediata de %2")
(format PortugueseLanguage instance "%1 e' %n uma &%instancia de %2")
Expand Down
1 change: 0 additions & 1 deletion Translations/relations-ro-sgml.kif
Original file line number Diff line number Diff line change
Expand Up @@ -190,7 +190,6 @@
(format ro entails "din %1 %n{nu} &%entail%t{decurge} %2")
(format ro equal "%1 %n{nu} este &%equal%t{egal} cu %2")
(format ro exhaustiveDecomposition "%1 %n{nu} este &%covered%t{acoperit} de %*{2-}[,]")
(format ro holds "%1(%*{2-}[,]) %n{nu} &%hold%t{se verifică}")
(format ro immediateInstance "%1 %n{nu} este o instanţiere &%immediate%t{imediată} a lui %2")
(format ro immediateSubclass "%1 %n{nu} este o subclasă &%immediate%t{imediată} a lui %2")
(format ro instance "%1 %n{nu} este o &%instance%t{instanţiere} a lui %2")
Expand Down
1 change: 0 additions & 1 deletion Translations/relations-ro.kif
Original file line number Diff line number Diff line change
Expand Up @@ -190,7 +190,6 @@
(format ro entails "din %1 %n{nu} &%entail%t{decurge} %2")
(format ro equal "%1 %n{nu} este &%equal%t{egal} cu %2")
(format ro exhaustiveDecomposition "%1 %n{nu} este &%covered%t{acoperit} de %*{2-}[,]")
(format ro holds "%1(%*{2-}[,]) %n{nu} &%hold%t{se verific�}")
(format ro immediateInstance "%1 %n{nu} este o instan�iere &%immediate%t{imediat�} a lui %2")
(format ro immediateSubclass "%1 %n{nu} este o subclas� &%immediate%t{imediat�} a lui %2")
(format ro instance "%1 %n{nu} este o &%instance%t{instan�iere} a lui %2")
Expand Down
1 change: 0 additions & 1 deletion english_format.kif
Original file line number Diff line number Diff line change
Expand Up @@ -180,7 +180,6 @@
(format EnglishLanguage entails "%1 %n{doesn't} &%entail%p{s} %2")
(format EnglishLanguage equal "%1 is %n &%equal to %2")
(format EnglishLanguage exhaustiveDecomposition "%1 is %n &%covered by %*{2-}[,]")
(format EnglishLanguage holds "%1(%*{2-}[,]) %n{doesn't} &%hold%p{s}")
(format EnglishLanguage immediateInstance "%1 is %n an &%immediate instance of %2")
(format EnglishLanguage immediateSubclass "%1 is %n an &%immediate subclass of %2")
(format EnglishLanguage instance "%1 is %n an &%instance of %2")
Expand Down

0 comments on commit ad85730

Please sign in to comment.