Theorem List for brismu bridi - 801-900 *Has distinct variable
group(s)
Type | Label | Description |
Statement |
|
Axiom | ax-kluselbri-jungo 801 |
Automatically generated axiom: {jungo} is
{kluselbri}
|
kluselbri jungo |
|
Axiom | ax-kluselbri-kadno 802 |
Automatically generated axiom: {kadno} is
{kluselbri}
|
kluselbri kadno |
|
Axiom | ax-kluselbri-ketco 803 |
Automatically generated axiom: {ketco} is
{kluselbri}
|
kluselbri ketco |
|
Axiom | ax-kluselbri-kisto 804 |
Automatically generated axiom: {kisto} is
{kluselbri}
|
kluselbri kisto |
|
Axiom | ax-kluselbri-latmo 805 |
Automatically generated axiom: {latmo} is
{kluselbri}
|
kluselbri latmo |
|
Axiom | ax-kluselbri-libjo 806 |
Automatically generated axiom: {libjo} is
{kluselbri}
|
kluselbri libjo |
|
Axiom | ax-kluselbri-lojbo 807 |
Automatically generated axiom: {lojbo} is
{kluselbri}
|
kluselbri lojbo |
|
Axiom | ax-kluselbri-lubno 808 |
Automatically generated axiom: {lubno} is
{kluselbri}
|
kluselbri lubno |
|
Axiom | ax-kluselbri-meljo 809 |
Automatically generated axiom: {meljo} is
{kluselbri}
|
kluselbri meljo |
|
Axiom | ax-kluselbri-merko 810 |
Automatically generated axiom: {merko} is
{kluselbri}
|
kluselbri merko |
|
Axiom | ax-kluselbri-mexco 811 |
Automatically generated axiom: {mexco} is
{kluselbri}
|
kluselbri mexco |
|
Axiom | ax-kluselbri-misro 812 |
Automatically generated axiom: {misro} is
{kluselbri}
|
kluselbri misro |
|
Axiom | ax-kluselbri-morko 813 |
Automatically generated axiom: {morko} is
{kluselbri}
|
kluselbri morko |
|
Axiom | ax-kluselbri-muslo 814 |
Automatically generated axiom: {muslo} is
{kluselbri}
|
kluselbri muslo |
|
Axiom | ax-kluselbri-polno 815 |
Automatically generated axiom: {polno} is
{kluselbri}
|
kluselbri polno |
|
Axiom | ax-kluselbri-ponjo 816 |
Automatically generated axiom: {ponjo} is
{kluselbri}
|
kluselbri ponjo |
|
Axiom | ax-kluselbri-porto 817 |
Automatically generated axiom: {porto} is
{kluselbri}
|
kluselbri porto |
|
Axiom | ax-kluselbri-rakso 818 |
Automatically generated axiom: {rakso} is
{kluselbri}
|
kluselbri rakso |
|
Axiom | ax-kluselbri-ropno 819 |
Automatically generated axiom: {ropno} is
{kluselbri}
|
kluselbri ropno |
|
Axiom | ax-kluselbri-rusko 820 |
Automatically generated axiom: {rusko} is
{kluselbri}
|
kluselbri rusko |
|
Axiom | ax-kluselbri-sadjo 821 |
Automatically generated axiom: {sadjo} is
{kluselbri}
|
kluselbri sadjo |
|
Axiom | ax-kluselbri-semto 822 |
Automatically generated axiom: {semto} is
{kluselbri}
|
kluselbri semto |
|
Axiom | ax-kluselbri-sirxo 823 |
Automatically generated axiom: {sirxo} is
{kluselbri}
|
kluselbri sirxo |
|
Axiom | ax-kluselbri-skoto 824 |
Automatically generated axiom: {skoto} is
{kluselbri}
|
kluselbri skoto |
|
Axiom | ax-kluselbri-softo 825 |
Automatically generated axiom: {softo} is
{kluselbri}
|
kluselbri softo |
|
Axiom | ax-kluselbri-spano 826 |
Automatically generated axiom: {spano} is
{kluselbri}
|
kluselbri spano |
|
Axiom | ax-kluselbri-sralo 827 |
Automatically generated axiom: {sralo} is
{kluselbri}
|
kluselbri sralo |
|
Axiom | ax-kluselbri-srito 828 |
Automatically generated axiom: {srito} is
{kluselbri}
|
kluselbri srito |
|
Axiom | ax-kluselbri-xazdo 829 |
Automatically generated axiom: {xazdo} is
{kluselbri}
|
kluselbri xazdo |
|
Axiom | ax-kluselbri-xebro 830 |
Automatically generated axiom: {xebro} is
{kluselbri}
|
kluselbri xebro |
|
Axiom | ax-kluselbri-xelso 831 |
Automatically generated axiom: {xelso} is
{kluselbri}
|
kluselbri xelso |
|
Axiom | ax-kluselbri-xindo 832 |
Automatically generated axiom: {xindo} is
{kluselbri}
|
kluselbri xindo |
|
Axiom | ax-kluselbri-xispo 833 |
Automatically generated axiom: {xispo} is
{kluselbri}
|
kluselbri xispo |
|
Axiom | ax-kluselbri-xrabo 834 |
Automatically generated axiom: {xrabo} is
{kluselbri}
|
kluselbri xrabo |
|
Axiom | ax-kluselbri-xriso 835 |
Automatically generated axiom: {xriso} is
{kluselbri}
|
kluselbri xriso |
|
Axiom | ax-kluselbri-xurdo 836 |
Automatically generated axiom: {xurdo} is
{kluselbri}
|
kluselbri xurdo |
|
Axiom | ax-mivyselbri-ankabuta 837 |
Automatically generated axiom: {ankabuta} is
{mivyselbri}
|
mivyselbri ankabuta |
|
Axiom | ax-mivyselbri-bakni 838 |
Automatically generated axiom: {bakni} is
{mivyselbri}
|
mivyselbri bakni |
|
Axiom | ax-mivyselbri-bambu 839 |
Automatically generated axiom: {bambu} is
{mivyselbri}
|
mivyselbri bambu |
|
Axiom | ax-mivyselbri-banfi 840 |
Automatically generated axiom: {banfi} is
{mivyselbri}
|
mivyselbri banfi |
|
Axiom | ax-mivyselbri-bifce 841 |
Automatically generated axiom: {bifce} is
{mivyselbri}
|
mivyselbri bifce |
|
Axiom | ax-mivyselbri-cindu 842 |
Automatically generated axiom: {cindu} is
{mivyselbri}
|
mivyselbri cindu |
|
Axiom | ax-mivyselbri-cinfo 843 |
Automatically generated axiom: {cinfo} is
{mivyselbri}
|
mivyselbri cinfo |
|
Axiom | ax-mivyselbri-cinki 844 |
Automatically generated axiom: {cinki} is
{mivyselbri}
|
mivyselbri cinki |
|
Axiom | ax-mivyselbri-cipni 845 |
Automatically generated axiom: {cipni} is
{mivyselbri}
|
mivyselbri cipni |
|
Axiom | ax-mivyselbri-civla 846 |
Automatically generated axiom: {civla} is
{mivyselbri}
|
mivyselbri civla |
|
Axiom | ax-mivyselbri-ckunu 847 |
Automatically generated axiom: {ckunu} is
{mivyselbri}
|
mivyselbri ckunu |
|
Axiom | ax-mivyselbri-clika 848 |
Automatically generated axiom: {clika} is
{mivyselbri}
|
mivyselbri clika |
|
Axiom | ax-mivyselbri-cribe 849 |
Automatically generated axiom: {cribe} is
{mivyselbri}
|
mivyselbri cribe |
|
Axiom | ax-mivyselbri-datka 850 |
Automatically generated axiom: {datka} is
{mivyselbri}
|
mivyselbri datka |
|
Axiom | ax-mivyselbri-gerku 851 |
Automatically generated axiom: {gerku} is
{mivyselbri}
|
mivyselbri gerku |
|
Axiom | ax-mivyselbri-gumri 852 |
Automatically generated axiom: {gumri} is
{mivyselbri}
|
mivyselbri gumri |
|
Axiom | ax-mivyselbri-gunse 853 |
Automatically generated axiom: {gunse} is
{mivyselbri}
|
mivyselbri gunse |
|
Axiom | ax-mivyselbri-jipci 854 |
Automatically generated axiom: {jipci} is
{mivyselbri}
|
mivyselbri jipci |
|
Axiom | ax-mivyselbri-kanba 855 |
Automatically generated axiom: {kanba} is
{mivyselbri}
|
mivyselbri kanba |
|
Axiom | ax-mivyselbri-kuhurkupresu 856 |
Automatically generated axiom: {ku'urkupresu} is
{mivyselbri}
|
mivyselbri ku'urkupresu |
|
Axiom | ax-mivyselbri-kumte 857 |
Automatically generated axiom: {kumte} is
{mivyselbri}
|
mivyselbri kumte |
|
Axiom | ax-mivyselbri-labno 858 |
Automatically generated axiom: {labno} is
{mivyselbri}
|
mivyselbri labno |
|
Axiom | ax-mivyselbri-lanme 859 |
Automatically generated axiom: {lanme} is
{mivyselbri}
|
mivyselbri lanme |
|
Axiom | ax-mivyselbri-latna 860 |
Automatically generated axiom: {latna} is
{mivyselbri}
|
mivyselbri latna |
|
Axiom | ax-mivyselbri-lelxe 861 |
Automatically generated axiom: {lelxe} is
{mivyselbri}
|
mivyselbri lelxe |
|
Axiom | ax-mivyselbri-lorxu 862 |
Automatically generated axiom: {lorxu} is
{mivyselbri}
|
mivyselbri lorxu |
|
Axiom | ax-mivyselbri-mabru 863 |
Automatically generated axiom: {mabru} is
{mivyselbri}
|
mivyselbri mabru |
|
Axiom | ax-mivyselbri-manti 864 |
Automatically generated axiom: {manti} is
{mivyselbri}
|
mivyselbri manti |
|
Axiom | ax-mivyselbri-marna 865 |
Automatically generated axiom: {marna} is
{mivyselbri}
|
mivyselbri marna |
|
Axiom | ax-mivyselbri-mirli 866 |
Automatically generated axiom: {mirli} is
{mivyselbri}
|
mivyselbri mirli |
|
Axiom | ax-mivyselbri-mlatu 867 |
Automatically generated axiom: {mlatu} is
{mivyselbri}
|
mivyselbri mlatu |
|
Axiom | ax-mivyselbri-mledi 868 |
Automatically generated axiom: {mledi} is
{mivyselbri}
|
mivyselbri mledi |
|
Axiom | ax-mivyselbri-nimre 869 |
Automatically generated axiom: {nimre} is
{mivyselbri}
|
mivyselbri nimre |
|
Axiom | ax-mivyselbri-poplu 870 |
Automatically generated axiom: {poplu} is
{mivyselbri}
|
mivyselbri poplu |
|
Axiom | ax-mivyselbri-ractu 871 |
Automatically generated axiom: {ractu} is
{mivyselbri}
|
mivyselbri ractu |
|
Axiom | ax-mivyselbri-ratcu 872 |
Automatically generated axiom: {ratcu} is
{mivyselbri}
|
mivyselbri ratcu |
|
Axiom | ax-mivyselbri-remna 873 |
Automatically generated axiom: {remna} is
{mivyselbri}
|
mivyselbri remna |
|
Axiom | ax-mivyselbri-respa 874 |
Automatically generated axiom: {respa} is
{mivyselbri}
|
mivyselbri respa |
|
Axiom | ax-mivyselbri-rihospa 875 |
Automatically generated axiom: {ri'ospa} is
{mivyselbri}
|
mivyselbri ri'ospa |
|
Axiom | ax-mivyselbri-rozgu 876 |
Automatically generated axiom: {rozgu} is
{mivyselbri}
|
mivyselbri rozgu |
|
Axiom | ax-mivyselbri-sfani 877 |
Automatically generated axiom: {sfani} is
{mivyselbri}
|
mivyselbri sfani |
|
Axiom | ax-mivyselbri-since 878 |
Automatically generated axiom: {since} is
{mivyselbri}
|
mivyselbri since |
|
Axiom | ax-mivyselbri-sluni 879 |
Automatically generated axiom: {sluni} is
{mivyselbri}
|
mivyselbri sluni |
|
Axiom | ax-mivyselbri-smacu 880 |
Automatically generated axiom: {smacu} is
{mivyselbri}
|
mivyselbri smacu |
|
Axiom | ax-mivyselbri-smani 881 |
Automatically generated axiom: {smani} is
{mivyselbri}
|
mivyselbri smani |
|
Axiom | ax-mivyselbri-snidariha 882 |
Automatically generated axiom: {snidari'a} is
{mivyselbri}
|
mivyselbri snidari'a |
|
Axiom | ax-mivyselbri-srasu 883 |
Automatically generated axiom: {srasu} is
{mivyselbri}
|
mivyselbri srasu |
|
Axiom | ax-mivyselbri-tirxu 884 |
Automatically generated axiom: {tirxu} is
{mivyselbri}
|
mivyselbri tirxu |
|
Axiom | ax-mivyselbri-toldi 885 |
Automatically generated axiom: {toldi} is
{mivyselbri}
|
mivyselbri toldi |
|
Axiom | ax-mivyselbri-tujli 886 |
Automatically generated axiom: {tujli} is
{mivyselbri}
|
mivyselbri tujli |
|
Axiom | ax-mivyselbri-xanto 887 |
Automatically generated axiom: {xanto} is
{mivyselbri}
|
mivyselbri xanto |
|
Axiom | ax-mivyselbri-xarju 888 |
Automatically generated axiom: {xarju} is
{mivyselbri}
|
mivyselbri xarju |
|
Axiom | ax-mivyselbri-xasli 889 |
Automatically generated axiom: {xasli} is
{mivyselbri}
|
mivyselbri xasli |
|
Axiom | ax-mivyselbri-xirma 890 |
Automatically generated axiom: {xirma} is
{mivyselbri}
|
mivyselbri xirma |
|
Axiom | ax-mivyselbri-xruba 891 |
Automatically generated axiom: {xruba} is
{mivyselbri}
|
mivyselbri xruba |
|
Axiom | ax-mivyselbri-xruki 892 |
Automatically generated axiom: {xruki} is
{mivyselbri}
|
mivyselbri xruki |
|
Axiom | ax-mreselbri-cacra 893 |
Automatically generated axiom: {cacra} is
{mreselbri}
|
mreselbri cacra |
|
Axiom | ax-mreselbri-delno 894 |
Automatically generated axiom: {delno} is
{mreselbri}
|
mreselbri delno |
|
Axiom | ax-mreselbri-djedi 895 |
Automatically generated axiom: {djedi} is
{mreselbri}
|
mreselbri djedi |
|
Axiom | ax-mreselbri-grake 896 |
Automatically generated axiom: {grake} is
{mreselbri}
|
mreselbri grake |
|
Axiom | ax-mreselbri-kelvo 897 |
Automatically generated axiom: {kelvo} is
{mreselbri}
|
mreselbri kelvo |
|
Axiom | ax-mreselbri-kilga 898 |
Automatically generated axiom: {kilga} is
{mreselbri}
|
mreselbri kilga |
|
Axiom | ax-mreselbri-litce 899 |
Automatically generated axiom: {litce} is
{mreselbri}
|
mreselbri litce |
|
Axiom | ax-mreselbri-mentu 900 |
Automatically generated axiom: {mentu} is
{mreselbri}
|
mreselbri mentu |