Inner automorphism
type: Ontology
creation date: 2026-02-21T13:19:23+00:00
imports: http://semantic-mediawiki.org/swivt/1.0

Inner automorphism
type: Subject
type: Category:Basic definitions in group theory
type: Category:Automorphism properties
type: Category:Function properties
type: Category:Group-closed automorphism properties
type: Category:Standard terminology
page: https://groupprops.subwiki.org/wiki/Inner_automorphism
wiki namespace: 0
wiki page content language: en
defining ingredient: Conjugation
importance rank: 1
page class: Term
stronger than: Class-preserving automorphism
stronger than: Subgroup-conjugating automorphism
stronger than: Normal automorphism
stronger than: Weakly normal automorphism
stronger than: Monomial automorphism
stronger than: Strong monomial automorphism
stronger than: Locally inner automorphism
stronger than: IA-automorphism
stronger than: Center-fixing automorphism
weaker than: Inner power automorphism
wiki page modification date: 2014-01-14T18:49:14Z
modification date#aux: 2456672.2841898
wiki page sort key: Inner automorphism

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_83161bef9f52433f7bf6515b621698fa
type: Subject
master page: Inner automorphism
wiki namespace: 0
wiki page sort key: Inner automorphism#DummitFoote
page: http://groupprops.subwiki.org/wiki/Special:URIResolver/Book-3ADummitFoote

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_fdbfa1ebc415fcd8097da85d50576ec9
type: Subject
master page: Inner automorphism
wiki namespace: 0
wiki page sort key: Inner automorphism#AlperinBell
page: http://groupprops.subwiki.org/wiki/Special:URIResolver/Book-3AAlperinBell

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_970d5d9b426a2caed49ffbb33ddf10ae
type: Subject
master page: Inner automorphism
wiki namespace: 0
wiki page sort key: Inner automorphism#RobinsonGT
page: http://groupprops.subwiki.org/wiki/Special:URIResolver/Book-3ARobinsonGT

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_98a94d4f0aff99c7f1cafde5226ffd86
type: Subject
master page: Inner automorphism
wiki namespace: 0
wiki page sort key: Inner automorphism#RobinsonAA
page: http://groupprops.subwiki.org/wiki/Special:URIResolver/Book-3ARobinsonAA

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_a1309b6d38131516018590c0002ac215
type: Subject
master page: Inner automorphism
wiki namespace: 0
wiki page sort key: Inner automorphism#Lang
page: http://groupprops.subwiki.org/wiki/Special:URIResolver/Book-3ALang

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_68a54cc1799212bab75b57dbf1751418
type: Subject
master page: Inner automorphism
wiki namespace: 0
wiki page sort key: Inner automorphism#Fraleigh
page: http://groupprops.subwiki.org/wiki/Special:URIResolver/Book-3AFraleigh

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_c4f45fea6a83c21839c0cad8f0ee357c
type: Subject
master page: Inner automorphism
wiki namespace: 0
wiki page sort key: Inner automorphism#Hungerford
page: http://groupprops.subwiki.org/wiki/Special:URIResolver/Book-3AHungerford

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_7c5dea8a3e3f2a734d28509f1cc02eb0
type: Subject
master page: Inner automorphism
wiki namespace: 0
wiki page sort key: Inner automorphism#Gallian
page: http://groupprops.subwiki.org/wiki/Special:URIResolver/Book-3AGallian

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_a5cc08372561225f8eb444f7ebc99bd2
type: Subject
master page: Inner automorphism
wiki namespace: 0
wiki page sort key: Inner automorphism#Herstein
page: http://groupprops.subwiki.org/wiki/Special:URIResolver/Book-3AHerstein

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_574e4d4872b56fb391e602a911ce682b
type: Subject
master page: Inner automorphism
wiki namespace: 0
wiki page sort key: Inner automorphism#Artin
page: http://groupprops.subwiki.org/wiki/Special:URIResolver/Book-3AArtin

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_e2a059b14fc07a3c78c7b74027a323ec
type: Subject
master page: Inner automorphism
wiki namespace: 0
wiki page sort key: Inner automorphism#Wikipedia

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_a4622f2493ccc014f3d30b66caadaeeb
type: Subject
master page: Inner automorphism
wiki namespace: 0
wiki page sort key: Inner automorphism#Planetmath

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_91af052c2c1b566f2cf7e8f15bef8f4c
type: Subject
master page: Inner automorphism
wiki namespace: 0
wiki page sort key: Inner automorphism#Mathworld

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_d003fd2e7d48384eca104d70c2a8a94e
type: Subject
master page: Inner automorphism
wiki namespace: 0
wiki page sort key: Inner automorphism#Springer Online Reference Works

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_16a26d1b4371fa8a093bc480c9232937
type: Subject
master page: Inner automorphism
wiki namespace: 0
wiki page sort key: Inner automorphism#Mathworld

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERYde5158635496fba256abc97c046ea35b
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: table
query size: 2
query string: Inner automorphism
wiki page sort key: Inner automorphism# QUERYde5158635496fba256abc97c046ea35b

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERY4f0e0445fe238b6a2b9ee953fd0a0cf9
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 2
query format: table
query size: 5
query string: Inner automorphism 1
wiki page sort key: Inner automorphism# QUERY4f0e0445fe238b6a2b9ee953fd0a0cf9

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERYbecf73e10ee6e912192420476d11550d
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 2
query format: table
query size: 3
query string: Fact about.Page::Inner automorphism
wiki page sort key: Inner automorphism# QUERYbecf73e10ee6e912192420476d11550d

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERYf15e51b6db10fe6fd7ad34d426b15c11
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: table
query size: 2
query string: Inner automorphism
wiki page sort key: Inner automorphism# QUERYf15e51b6db10fe6fd7ad34d426b15c11

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERY1ed27f173c6c0d8062b3085475862548
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 2
query format: plainlist
query size: 3
query string: Survey article about.Defining ingredient::Inner automorphism
wiki page sort key: Inner automorphism# QUERY1ed27f173c6c0d8062b3085475862548

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERY5f5df8631bf5a4da599d23fb1fce2e45
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: plainlist
query size: 2
query string: Inner automorphism
wiki page sort key: Inner automorphism# QUERY5f5df8631bf5a4da599d23fb1fce2e45

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERY444eb6df3451294a1e48c19262197885
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: plainlist
query size: 2
query string: Inner automorphism
wiki page sort key: Inner automorphism# QUERY444eb6df3451294a1e48c19262197885

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERYd1a6a116cb28d0c2c56d68c72ee3c486
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: plainlist
query size: 2
query string: Inner automorphism
wiki page sort key: Inner automorphism# QUERYd1a6a116cb28d0c2c56d68c72ee3c486

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERYc172dfccc69ff7d83a17853150970722
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: list
query size: 4
query string: Locally inner automorphism Inner automorphism
wiki page sort key: Inner automorphism# QUERYc172dfccc69ff7d83a17853150970722

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERYec635bbd4e43484ffbf99098f0b9861d
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: broadtable
query size: 4
query string: Locally inner automorphism Inner automorphism
wiki page sort key: Inner automorphism# QUERYec635bbd4e43484ffbf99098f0b9861d

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERY6454b404eb21ecc8b82db3d7b453c44e
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: list
query size: 4
query string: Class-preserving automorphism Inner automorphism
wiki page sort key: Inner automorphism# QUERY6454b404eb21ecc8b82db3d7b453c44e

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERYb658614ff238752a44017aab1b10187a
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: broadtable
query size: 4
query string: Class-preserving automorphism Inner automorphism
wiki page sort key: Inner automorphism# QUERYb658614ff238752a44017aab1b10187a

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERY5f5e65be77349480bd879e76fcbb48ac
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: list
query size: 4
query string: Subgroup-conjugating automorphism Inner automorphism
wiki page sort key: Inner automorphism# QUERY5f5e65be77349480bd879e76fcbb48ac

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERY41c13c44d75aa954f9bc3bbf3a5e0b01
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: broadtable
query size: 4
query string: Subgroup-conjugating automorphism Inner automorphism
wiki page sort key: Inner automorphism# QUERY41c13c44d75aa954f9bc3bbf3a5e0b01

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERYdbd289b1e113a9e4c65faaccdd001927
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: list
query size: 4
query string: Monomial automorphism Inner automorphism
wiki page sort key: Inner automorphism# QUERYdbd289b1e113a9e4c65faaccdd001927

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERYc3b5c8223d17e31137c4431668c21997
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: broadtable
query size: 4
query string: Monomial automorphism Inner automorphism
wiki page sort key: Inner automorphism# QUERYc3b5c8223d17e31137c4431668c21997

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERY14f366861c377e535905f59e8b18db38
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: list
query size: 4
query string: Strong monomial automorphism Inner automorphism
wiki page sort key: Inner automorphism# QUERY14f366861c377e535905f59e8b18db38

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERYedcd782b49127bcda660956c05749157
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: broadtable
query size: 4
query string: Strong monomial automorphism Inner automorphism
wiki page sort key: Inner automorphism# QUERYedcd782b49127bcda660956c05749157

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERY2a023680510793e7f0df768b8b7c26bf
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: list
query size: 4
query string: Normal automorphism Inner automorphism
wiki page sort key: Inner automorphism# QUERY2a023680510793e7f0df768b8b7c26bf

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERY2fddc577c4c59acd24aa0c489fe5f733
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: broadtable
query size: 4
query string: Normal automorphism Inner automorphism
wiki page sort key: Inner automorphism# QUERY2fddc577c4c59acd24aa0c489fe5f733

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERY6e395002bbf9ff3709e82fc3cff64b7e
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: list
query size: 4
query string: Weakly normal automorphism Inner automorphism
wiki page sort key: Inner automorphism# QUERY6e395002bbf9ff3709e82fc3cff64b7e

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERYe711f2f845f54f957fee9a5bcacbf32e
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: broadtable
query size: 4
query string: Weakly normal automorphism Inner automorphism
wiki page sort key: Inner automorphism# QUERYe711f2f845f54f957fee9a5bcacbf32e

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERY0d595afe14ce747ac19937bf4eb3dbdb
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: list
query size: 4
query string: IA-automorphism Inner automorphism
wiki page sort key: Inner automorphism# QUERY0d595afe14ce747ac19937bf4eb3dbdb

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERY4a6eaa9f990447849371b89c71144407
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: broadtable
query size: 4
query string: IA-automorphism Inner automorphism
wiki page sort key: Inner automorphism# QUERY4a6eaa9f990447849371b89c71144407

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERY2c719fa6b771622233da62e93ab3d5c8
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: list
query size: 4
query string: Center-fixing automorphism Inner automorphism
wiki page sort key: Inner automorphism# QUERY2c719fa6b771622233da62e93ab3d5c8

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_automorphism-23_QUERY3c8e2cb91374055bb721efa30791bb2a
type: Subject
master page: Inner automorphism
wiki namespace: 0
query depth: 1
query format: broadtable
query size: 4
query string: Center-fixing automorphism Inner automorphism
wiki page sort key: Inner automorphism# QUERY3c8e2cb91374055bb721efa30791bb2a

Normal subgroup
type: Subject
page: https://groupprops.subwiki.org/wiki/Normal_subgroup
wiki namespace: 0
wiki page content language: en
left side of function restriction expression: Inner automorphism
wiki page sort key: Normal subgroup
defining ingredient: Inner automorphism

Finite-extensible implies inner
type: Subject
page: https://groupprops.subwiki.org/wiki/Finite-2Dextensible_implies_inner
wiki namespace: 0
wiki page content language: en
proves property satisfaction of: Inner automorphism
wiki page sort key: Finite-extensible implies inner

Finite solvable-extensible implies inner
type: Subject
page: https://groupprops.subwiki.org/wiki/Finite_solvable-2Dextensible_implies_inner
wiki namespace: 0
wiki page content language: en
proves property satisfaction of: Inner automorphism
wiki page sort key: Finite solvable-extensible implies inner

Hall-semidirectly extensible implies inner
type: Subject
page: https://groupprops.subwiki.org/wiki/Hall-2Dsemidirectly_extensible_implies_inner
wiki namespace: 0
wiki page content language: en
proves property satisfaction of: Inner automorphism
wiki page sort key: Hall-semidirectly extensible implies inner

Finite-quotient-pullbackable implies inner
type: Subject
page: https://groupprops.subwiki.org/wiki/Finite-2Dquotient-2Dpullbackable_implies_inner
wiki namespace: 0
wiki page content language: en
proves property satisfaction of: Inner automorphism
wiki page sort key: Finite-quotient-pullbackable implies inner

Inner implies infinity-extensible
type: Subject
page: https://groupprops.subwiki.org/wiki/Inner_implies_infinity-2Dextensible
wiki namespace: 0
wiki page content language: en
uses property satisfaction of: Inner automorphism
wiki page sort key: Inner implies infinity-extensible

Inner implies extensible
type: Subject
page: https://groupprops.subwiki.org/wiki/Inner_implies_extensible
wiki namespace: 0
wiki page content language: en
uses property satisfaction of: Inner automorphism
wiki page sort key: Inner implies extensible

Inner implies class-preserving
type: Subject
page: https://groupprops.subwiki.org/wiki/Inner_implies_class-2Dpreserving
wiki namespace: 0
wiki page content language: en
uses property satisfaction of: Inner automorphism
wiki page sort key: Inner implies class-preserving

Inner implies IA
type: Subject
page: https://groupprops.subwiki.org/wiki/Inner_implies_IA
wiki namespace: 0
wiki page content language: en
uses property satisfaction of: Inner automorphism
wiki page sort key: Inner implies IA

Conjugacy class
type: Subject
page: https://groupprops.subwiki.org/wiki/Conjugacy_class
wiki namespace: 0
wiki page content language: en
defining ingredient: Inner automorphism
wiki page sort key: Conjugacy class

Dedekind group
type: Subject
page: https://groupprops.subwiki.org/wiki/Dedekind_group
wiki namespace: 0
wiki page content language: en
defining ingredient: Inner automorphism
wiki page sort key: Dedekind group

http://groupprops.subwiki.org/wiki/Special:URIResolver/Finite-2Dextensible_implies_inner-23_88aada2aff514b8d4bcc0463833d1c05
type: Subject
master page: Finite-extensible implies inner
wiki namespace: 0
wiki page sort key: Finite-extensible implies inner#Inner automorphism;2# 88aada2aff514b8d4bcc0463833d1c05
page: Inner automorphism

http://groupprops.subwiki.org/wiki/Special:URIResolver/Finite_solvable-2Dextensible_implies_inner-23_88aada2aff514b8d4bcc0463833d1c05
type: Subject
master page: Finite solvable-extensible implies inner
wiki namespace: 0
wiki page sort key: Finite solvable-extensible implies inner#Inner automorphism;2# 88aada2aff514b8d4bcc0463833d1c05
page: Inner automorphism

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_implies_infinity-2Dextensible-23_88aada2aff514b8d4bcc0463833d1c05
type: Subject
master page: Inner implies infinity-extensible
wiki namespace: 0
wiki page sort key: Inner implies infinity-extensible#Inner automorphism;2# 88aada2aff514b8d4bcc0463833d1c05
page: Inner automorphism

http://groupprops.subwiki.org/wiki/Special:URIResolver/Hall-2Dsemidirectly_extensible_implies_inner-23_88aada2aff514b8d4bcc0463833d1c05
type: Subject
master page: Hall-semidirectly extensible implies inner
wiki namespace: 0
wiki page sort key: Hall-semidirectly extensible implies inner#Inner automorphism;2# 88aada2aff514b8d4bcc0463833d1c05
page: Inner automorphism

http://groupprops.subwiki.org/wiki/Special:URIResolver/Finite-2Dquotient-2Dpullbackable_implies_inner-23_88aada2aff514b8d4bcc0463833d1c05
type: Subject
master page: Finite-quotient-pullbackable implies inner
wiki namespace: 0
wiki page sort key: Finite-quotient-pullbackable implies inner#Inner automorphism;2# 88aada2aff514b8d4bcc0463833d1c05
page: Inner automorphism

http://groupprops.subwiki.org/wiki/Special:URIResolver/Normal-2Dextensible_not_implies_inner-23_88aada2aff514b8d4bcc0463833d1c05
type: Subject
master page: http://groupprops.subwiki.org/wiki/Special:URIResolver/Normal-2Dextensible_not_implies_inner
wiki namespace: 0
wiki page sort key: Normal-extensible not implies inner#Inner automorphism;2# 88aada2aff514b8d4bcc0463833d1c05
page: Inner automorphism

http://groupprops.subwiki.org/wiki/Special:URIResolver/Class-2Dpreserving_not_implies_inner-23_88aada2aff514b8d4bcc0463833d1c05
type: Subject
master page: http://groupprops.subwiki.org/wiki/Special:URIResolver/Class-2Dpreserving_not_implies_inner
wiki namespace: 0
wiki page sort key: Class-preserving not implies inner#Inner automorphism;2# 88aada2aff514b8d4bcc0463833d1c05
page: Inner automorphism

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_implies_extensible-23_88aada2aff514b8d4bcc0463833d1c05
type: Subject
master page: Inner implies extensible
wiki namespace: 0
wiki page sort key: Inner implies extensible#Inner automorphism;2# 88aada2aff514b8d4bcc0463833d1c05
page: Inner automorphism

http://groupprops.subwiki.org/wiki/Special:URIResolver/Locally_inner_not_implies_inner-23_88aada2aff514b8d4bcc0463833d1c05
type: Subject
master page: http://groupprops.subwiki.org/wiki/Special:URIResolver/Locally_inner_not_implies_inner
wiki namespace: 0
wiki page sort key: Locally inner not implies inner#Inner automorphism;2# 88aada2aff514b8d4bcc0463833d1c05
page: Inner automorphism

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_implies_class-2Dpreserving-23_88aada2aff514b8d4bcc0463833d1c05
type: Subject
master page: Inner implies class-preserving
wiki namespace: 0
wiki page sort key: Inner implies class-preserving#Inner automorphism;2# 88aada2aff514b8d4bcc0463833d1c05
page: Inner automorphism

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_implies_IA-23_88aada2aff514b8d4bcc0463833d1c05
type: Subject
master page: Inner implies IA
wiki namespace: 0
wiki page sort key: Inner implies IA#Inner automorphism;2# 88aada2aff514b8d4bcc0463833d1c05
page: Inner automorphism

http://groupprops.subwiki.org/wiki/Special:URIResolver/Inner_implies_IA-23_d13bb7999d96087e33105a68b317e63c
type: Subject
master page: Inner implies IA
wiki namespace: 0
wiki page sort key: Inner implies IA#Inner automorphism# d13bb7999d96087e33105a68b317e63c
page: Inner automorphism

Left side of function restriction expression
type: ObjectProperty
page: https://groupprops.subwiki.org/wiki/Property-3ALeft_side_of_function_restriction_expression
wiki namespace: 132
wiki page content language: en
wiki page sort key: Left side of function restriction expression

Proves property satisfaction of
type: ObjectProperty
page: https://groupprops.subwiki.org/wiki/Property-3AProves_property_satisfaction_of
wiki namespace: 132
wiki page content language: en
wiki page sort key: Proves property satisfaction of

Uses property satisfaction of
type: ObjectProperty
page: https://groupprops.subwiki.org/wiki/Property-3AUses_property_satisfaction_of
wiki namespace: 132
wiki page content language: en
wiki page sort key: Uses property satisfaction of

Defining ingredient
type: ObjectProperty
page: https://groupprops.subwiki.org/wiki/Property-3ADefining_ingredient
wiki namespace: 132
wiki page content language: en
wiki page sort key: Defining ingredient

Page
type: ObjectProperty
page: https://groupprops.subwiki.org/wiki/Property-3APage
wiki namespace: 132
wiki page content language: en
wiki page sort key: Page