Is P7(x,y) ∧ P89(y,z) ⇒ P7(x,z) still regarded as true? ID 617 Read more about Is P7(x,y) ∧ P89(y,z) ⇒ P7(x,z) still regarded as true?
shortcuts in P50 has current keeper, P52 has current owner, P55 has current location ID 616 Read more about shortcuts in P50 has current keeper, P52 has current owner, P55 has current location
Deprecate Typed Properties in CIDOC CRM? ID 610 Read more about Deprecate Typed Properties in CIDOC CRM?
formal representation of FOL axioms in CRM ID 607 Read more about formal representation of FOL axioms in CRM
Contextualize issues in a more informative way ID 603 Read more about Contextualize issues in a more informative way
Class/Property labels are not definitions ID 600 Read more about Class/Property labels are not definitions
How to specify possible observable situations in the future ID 598 Read more about How to specify possible observable situations in the future
