issues
search
ontologyportal
/
sumo
Suggested Upper Merged Ontology (SUMO)
227
stars
71
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
fixed duplicates lines on manifest page
#250
jenniech
closed
3 years ago
0
revised axioms related to inequality operators
#249
jenniech
closed
3 years ago
0
Jenniech
#248
jenniech
closed
3 years ago
0
Jenniech
#247
jenniech
closed
3 years ago
0
Jenniech
#246
jenniech
closed
3 years ago
1
Jenniech
#245
jenniech
closed
3 years ago
1
Fix typo in Weather.kif (Endfn -> EndFn)
#244
Regermeister
closed
3 years ago
1
Jenniech
#243
jenniech
closed
3 years ago
3
Fix some small errors in Weather.kif
#242
Regermeister
closed
3 years ago
1
fixed DustStorm, revised and added new definitions for CyclonicStorm
#241
jenniech
closed
3 years ago
0
Jenniech
#240
jenniech
closed
3 years ago
0
Jenniech
#239
jenniech
closed
3 years ago
0
Mohit
#238
MohitSinha1
closed
3 years ago
1
revised the definition for BeaufortNumber
#237
jenniech
closed
3 years ago
1
added definitions for the remainder of EFSCaleAttribute
#236
jenniech
closed
3 years ago
0
added new definitions for EFScale
#235
jenniech
closed
3 years ago
1
Hotel.kif introduced an orphan concept SuiteRoom
#234
dikonov
closed
3 years ago
1
added ChineseLanguage documentation for new terms from last commit.
#233
jenniech
closed
3 years ago
0
added more definitions for threeSecondGustSpeed.
#232
jenniech
closed
3 years ago
1
added Chinese translation to new terms for last commit.
#231
jenniech
closed
4 years ago
0
added new definitions for measuring surface wind speed.
#230
jenniech
closed
4 years ago
2
Jenniech
#229
jenniech
closed
4 years ago
2
Everything is Christian (inconsistency)
#228
anka-213
opened
4 years ago
26
Jenniech
#227
jenniech
closed
4 years ago
0
Jenniech
#226
jenniech
closed
4 years ago
1
Jenniech
#225
jenniech
closed
4 years ago
0
Jenniech
#224
jenniech
closed
4 years ago
1
Correct various errors
#223
nordlow
closed
3 years ago
1
Fix various errors
#222
nordlow
closed
4 years ago
2
Jenniech
#221
jenniech
closed
4 years ago
0
solves issue #219
#220
arademaker
closed
4 years ago
0
reorganization of the terms and concepts
#219
arademaker
closed
4 years ago
1
test framework: add extra meta-predicate `(ontology ...)` that specify the kif files needed.
#218
arademaker
opened
4 years ago
7
suggested to sync merge and tiny
#217
arademaker
opened
4 years ago
3
tiny vs Merge
#216
arademaker
opened
4 years ago
6
Add axiom: possession transfers through its parts
#215
nordlow
closed
4 years ago
4
Correct depth to a TernaryPredicate
#214
nordlow
closed
4 years ago
0
Mismatched arity on calls
#213
nordlow
closed
4 years ago
3
Correct `Urine` to be in `Liuquid` state instead of `Solid`
#212
nordlow
closed
4 years ago
1
Redefining VocalCords in terms of VocalCord
#211
nordlow
closed
4 years ago
4
Implicitly defined PartialValuedRelations
#210
nordlow
opened
4 years ago
0
Duplicate top-level statements (axioms)
#209
nordlow
opened
4 years ago
3
Duplicate definition of CookedAttribute and RawAttribute
#208
nordlow
opened
4 years ago
1
More advanced format
#207
nordlow
opened
4 years ago
2
fixes related to #205
#206
arademaker
closed
4 years ago
0
some duplicated statements and variable shadowing
#205
nordlow
opened
4 years ago
16
Duplicate definition of class ComputerFile
#204
nordlow
closed
4 years ago
2
granularity of process and substances
#203
arademaker
opened
4 years ago
0
Skolemization of SUMO axioms
#202
nordlow
closed
4 years ago
12
Why are only some universal quantifiers explictly defined?
#201
nordlow
closed
4 years ago
3
Previous
Next