Category-3AProperty implications
type: Ontology
creation date: 2026-08-30T12:06:20+00:00
imports: http://semantic-mediawiki.org/swivt/1.0

Property implications
type: Class
page: https://commalg.subwiki.org/wiki/Category-3AProperty_implications
wiki namespace: 14
wiki page content language: en
wiki page modification date: 2008-05-12T18:06:27Z
modification date#aux: 2454599.2544792
wiki page sort key: Property implications
subclass of: Category:Facts
subclass of: Category:Property-theoretic categories

Commutative unital ring property implications
type: Class
page: https://commalg.subwiki.org/wiki/Category-3ACommutative_unital_ring_property_implications
wiki namespace: 14
wiki page content language: en
wiki page sort key: Commutative unital ring property implications
subclass of: Property implications

Commutative unital ring-ideal property implications
type: Class
page: https://commalg.subwiki.org/wiki/Category-3ACommutative_unital_ring-2Dideal_property_implications
wiki namespace: 14
wiki page content language: en
wiki page sort key: Commutative unital ring-ideal property implications
subclass of: Property implications

Subcategory of
type: ObjectProperty
page: https://commalg.subwiki.org/wiki/Property-3ASubcategory_of
wiki namespace: 132
wiki page content language: en
wiki page sort key: Subcategory of