Fixed concepts file

This commit is contained in:
2020-01-31 23:20:56 +01:00
parent 9da0f35e86
commit a5a721094b
+3 -1
View File
@@ -38,4 +38,6 @@ sixteen isa number
seventeen isa number
eighteen isa number
nineteen isa number
twenty isa numberdef concept twenties from bnf twenty number where number < 10 as twenty + number
twenty isa number
def concept twenties from bnf twenty number where number < 10 as twenty + number