Merge pull request #364 from leungmanhin/fixes

Misc syntax fixes
ontologyportal · Aug 3, 2023 · d787864 · d787864
2 parents 878bdc6 + f8beb32
commit d787864
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/Translations/chinese_format.kif b/Translations/chinese_format.kif
@@ -324,7 +324,7 @@
 (termFormat ChineseLanguage successorAttribute "后续属性")
 (format ChineseLanguage successorAttributeClosure "%1 %n 是 %2 的后续属性")
 (termFormat ChineseLanguage successorAttributeClosure "后续属性闭包")
-(format ChineseLanguage valence "%1 % %n{doesn't %&have} 有 %2 &%Argument)")
+(format ChineseLanguage valence "%1 % %n{doesn't %&have} 有 %2 &%Argument")
 (termFormat ChineseLanguage valence "配价")
 (format ChineseLanguage rangeSubclass "%1 的所得值 %n 是 %2 的 &%subclass")
 (termFormat ChineseLanguage rangeSubclass "子类别的范围")

diff --git a/Weather.kif b/Weather.kif
@@ -14,7 +14,7 @@
 surrounding any celestial object that has a gravitational field 
 strong enough to prevent the gases from escaping.") 
 
-(documentation Atmosphere EnglishLanguage "&%Atmosphere 是气体的 &%Mixture，它由任何有足够强大
+(documentation Atmosphere ChineseLanguage "&%Atmosphere 是气体的 &%Mixture，它由任何有足够强大
 地深吸力阻止气体溢出的天体物体包围着。") 
 
 (termFormat ChineseLanguage Atmosphere "大气层")

diff --git a/modals.kif b/modals.kif
@@ -86,7 +86,7 @@
 (=>
   (modalAttribute 
     (modalAttribute ?P Necessity) 
-    Possibility)) 
+    Possibility) 
   (modalAttribute 
     (modalAttribute ?P Possibility) 
     Necessity))