ontologyportal/sumo

Issues

• Why don't functional terms have directed'ness / valence in SUMO?

  #393 opened 3 months ago by twitchyliquid64
  5

• Difference between `forall` and implication during inference

  #391 opened 3 months ago by twitchyliquid64
  10

• Should there be elements or a “similar” predicate between SUMO and schema.org ?

  #373 opened a year ago by whitten
  1

• all parents must be older than their Childs?

  #274 opened 3 years ago by arademaker
  6

• Wikidata Mappings

  #188 opened 5 years ago by nordlow
  5

• Function applications as conjuncts?

  #263 opened 3 years ago by Regermeister
  4

• Implicitly quantified variable and existentially quantified variable of the same name

  #259 opened 3 years ago by Regermeister
  5

• wordnet mapping

  #254 opened 3 years ago by arademaker
  5

• Everything is Christian (inconsistency)

  #228 opened 4 years ago by anka-213
  26

• reorganization of the terms and concepts

  #219 opened 5 years ago by arademaker
  1

• test framework: add extra meta-predicate `(ontology ...)` that specify the kif files needed.

  #218 opened 5 years ago by arademaker
  7

• tiny vs Merge

  #216 opened 5 years ago by arademaker
  6

• Representing OWL's equivalence predicates

  #187 opened 5 years ago by nordlow
  10

• Redefining VocalCords in terms of VocalCord

  #211 opened 5 years ago by nordlow
  4

• Mismatched arity on calls

  #213 opened 5 years ago by nordlow
  3

• Implicitly defined PartialValuedRelations

  #210 opened 5 years ago by nordlow
  0

• Duplicate top-level statements (axioms)

  #209 opened 5 years ago by nordlow
  3

• Skolemization of SUMO axioms

  #202 opened 5 years ago by nordlow
  12

• some duplicated statements and variable shadowing

  #205 opened 5 years ago by nordlow
  16

• Duplicate definition of CookedAttribute and RawAttribute

  #208 opened 5 years ago by nordlow
  1

• More advanced format

  #207 opened 5 years ago by nordlow
  2

• Duplicate definition of class ComputerFile

  #204 opened 5 years ago by nordlow
  2

• granularity of process and substances

  #203 opened 5 years ago by arademaker
  0

• Why are only some universal quantifiers explictly defined?

  #201 opened 5 years ago by nordlow
  3

• missing subrelation constraint

  #198 opened 5 years ago by arademaker
  11

• Loads of corrections

  #199 opened 5 years ago by nordlow
  6

• Need of AssignmentFn

  #194 opened 5 years ago by nordlow
  8

• Is Entity an instance of SetOrClass?

  #179 opened 5 years ago by arademaker
  5

• Expressing DBpedia property spokenIn

  #191 opened 5 years ago by nordlow
  2

• Train is a collection?

  #192 opened 5 years ago by arademaker
  1

• subclass axiom

  #181 opened 5 years ago by arademaker
  6

• Need of exhaustiveDecomposition and disjointDecomposition axioms

  #190 opened 5 years ago by nordlow
  3

• exhaustiveDecomposition axioms

  #173 opened 5 years ago by arademaker
  2

• PartialOrderingRelation

  #185 opened 5 years ago by arademaker
  1

• range and AssignmentFn

  #184 opened 5 years ago by arademaker
  0

• Why aren't all Role instances subclasses?

  #182 opened 5 years ago by nordlow
  2

• SUMO to OWL translation

  #180 opened 5 years ago by arademaker
  4

• PartialValuedRelation has no axiom

  #178 opened 5 years ago by arademaker
  0

• equal

  #177 opened 5 years ago by arademaker
  0

• list operations

  #176 opened 5 years ago by arademaker
  1

• kif to tptp and kif to tff are broken

  #175 opened 5 years ago by arademaker
  0

• disjoint

  #174 opened 5 years ago by arademaker
  1

• TokenBusNetwork Definition

  #172 opened 5 years ago by JoelBender
  3

• fixing warnings during TPTP conversion

  #163 opened 5 years ago by arademaker
  2

• create a contribution guideline on the wiki or in a file

  #168 opened 6 years ago by arademaker
  6

• axiom simplification

  #166 opened 6 years ago by arademaker
  0

• how to determine the class of the arguments of instances of VariableArityRelations?

  #162 opened 6 years ago by arademaker
  17

• HoleHostFn definition ?

  #165 opened 6 years ago by arademaker
  3

• minValue

  #160 opened 6 years ago by arademaker
  5

• `CellPartFn`

  #161 opened 6 years ago by arademaker
  4