Search results

Formal definition of GeoRegion that allows inferring an instance into the class

Status: Open.

#1487 In semanticarts/gist;

· rjyounes opened on Jun 8, 2026

Formal definitions of UnitGroup and ReferenceValue that allow inferring an instance into each class

Status: Open.

#1486 In semanticarts/gist;

· rjyounes opened on Jun 8, 2026

Formal definition of Template that allows inferring an instance into the class

Status: Open.

#1485 In semanticarts/gist;

· rjyounes opened on Jun 8, 2026

Formal definition of GovernmentOrganization that allows inferring an instance into the class

Status: Open.

#1484 In semanticarts/gist;

· rjyounes opened on Jun 8, 2026

Formal definition of EventSpecification that allows inferring an instance into the class

Status: Open.

#1483 In semanticarts/gist;

· rjyounes opened on Jun 8, 2026

Formal definitions of Function, Requirement, Specification, and CatalogItem (DeliverableSpecification) that allow inferring an instance into each class

Status: Open.

#1481 In semanticarts/gist;

· rjyounes opened on Jun 8, 2026

Formal definition of KnowledgeConcept that allows inferring an instance into the class

Status: Open.

#1480 In semanticarts/gist;

· rjyounes opened on Jun 8, 2026

Formal definition of Determination that allows inferring an instance into the class

Status: Open.

#1479 In semanticarts/gist;

· rjyounes opened on Jun 8, 2026

Formal definitions for Address and ElectronicAddress that allows inferring an instance into each class

Status: Open.

#1478 In semanticarts/gist;

· rjyounes opened on Jun 8, 2026

Formal definitions for Collection and Component that allow inferring an instance into each class

Status: Open.

#1477 In semanticarts/gist;

· rjyounes opened on Jun 8, 2026

Create a taxonomy of properties

Status: Open.

#1476 In semanticarts/gist;

· rjyounes opened on Jun 8, 2026

Need formal definitions for all non-top-level classes

Status: Open.

#1475 In semanticarts/gist;

· rjyounes opened on Jun 8, 2026