ae /ɛe/
|
relations; correspondences |
ae92 /ɛeɲɔntɔ/ []
|
in field |
ae923 /ɛeɲɔntɔɲcɔ/ []
|
from domain |
ae928 /ɛeɲɔntɔrkɔ/ []
|
to range; image |
ae93 /ɛeɲɔɲcɔ/ []
|
from set of departure |
ae938 /ɛeɲɔɲcɔrkɔ/ []
|
to codomain; set of destination |
ae96 /ɛeɲɔltɔ/ []
|
relation property |
ae99 /ɛeɲɔɲɔ/ []
|
of argument; term |
aeab /ɛeɛba/
|
arity; adicity; dimension; number of arguments; places ↞ anai integers |
aeabb /ɛeɛbaba/
|
nullary |
aeabc /ɛeɛbaʃa/
|
unary; properties [truth logic] |
aeabd /ɛeɛbada/
|
binary; diadic; 2-place |
aeabe /ɛeɛbe/
|
ternary; triadic; 3-place |
aead /ɛeɛda/
|
cardinality |
aeadb /ɛeɛdaba/
|
one-to-one |
aeadd /ɛeɛdada/
|
one-to-many |
aeadm /ɛeɛdama/
|
many-to-one |
aeadn /ɛeɛdana/
|
many-to-many |
aeah /ɛeɛɣa/
|
reflexive |
aeaj /ɛeɛʒa/
|
symmetric |
aeaɭ /ɛeɛla/
|
transitive |
aean /ɛeɛna/
|
connected |
aeaq /ɛeɛca/
|
equivalent ↞ aeah reflexive aeaj symmetric aeal transitive |
aeb /ɛeba/
|
identity ↞ aeaq equivalent |
aeb99 /ɛebaɲɔɲɔ/ []
|
of term |
aee /ɛeje/
|
equality |
aef /ɛefa/
|
similarity |
aei /ɛei/
|
inequality |
aem /ɛema/
|
set membership; belonging |
aem99 /ɛemaɲɔɲɔ/ []
|
to class |
aem997 /ɛemaɲɔɲɔjɔ/ []
|
of instance |
aep /ɛepa/
|
parthood; part-whole; inclusion [mereology] |
aep99 /ɛepaɲɔɲɔ/ []
|
in whole |
aep997 /ɛepaɲɔɲɔjɔ/ []
|
of part |
aepp /ɛepapa/
|
proper part-whole |
aept /ɛepata/
|
overlap |
aepu /ɛepu/
|
underlap |
aes /ɛesa/
|
set inclusion; genus-species |
aes99 /ɛesaɲɔɲɔ/ []
|
in genus |
aes997 /ɛesaɲɔɲɔjɔ/ []
|
of species |
Connected classes: |
⌕ 0
|
as for; relating to perspective; aspect; bias; viewpoint; phase relationship; dimension γ ↞ ae |
⌕ 2
|
in; within situation; location; condition; context ↞ ae |
⌕ 9
|
of; being kind; type; differentia; specification ↞ aeabc |
⌕ ae96 [aea]
|
relation property |
⌕ aeaq
|
equivalent ↞ aeah aeaj aeal |
⌕ aeb
|
identity ↞ aeaq |
⌕ amrd
|
directed graphs ↞ ae |
⌕ amrns
|
simple graphs ↞ aeaj |