DiQt
団体様向け
ログイン
ホーム
辞書
英語 - 英語
sortings
検索結果- 英語 - 英語
検索内容:
sortings
many-sorted logic
noun
(logic)
A
logic
that
directly
supports
classification
of
entities
into
disjunct
sorts.
意味を覚える
単語を覚える
Many-sorted
logic
is
a
formal
framework
that
extends
classical
first-order
logic
to
allow
for
multiple
sorts
or
types
of
objects.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
sorted oneself out
verb
simple
past
tense
and
past
participle
of
sort
oneself
out
意味を覚える
単語を覚える
I
finally
sorted
myself
out
and
got
my
life
back
on
track.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
sorting oneself out
verb
present
participle
of
sort
oneself
out
意味を覚える
単語を覚える
She
is
sorting
herself
out
after
the
breakup.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
sorts oneself out
verb
Third-person
singular
simple
present
indicative
form
of
sort
oneself
out
意味を覚える
単語を覚える
He
sorts
himself
out
after
a
long
day
at
work.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
sort the wheat from the chaff
verb
Alternative
form
of
separate
the
wheat
from
the
chaff
意味を覚える
単語を覚える
Sort
the
wheat
from
the
chaff.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
it takes all sorts to make a world
proverb
Alternative
form
of
it
takes
all
kinds
to
make
a
world
意味を覚える
単語を覚える
It
takes
all
sorts
to
make
a
world.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
Webで検索する
英語 - 英語
項目
項目(1182733)
項目を追加する
項目の編集履歴(11)
例文
例文 (1692485)
例文を追加する
例文の編集履歴(17)
その他
編集者 (20)
編集ガイドライン
クレジット
ログイン / 新規登録
ログイン
ログイン
メールアドレス
パスワード
ログイン情報を記憶する
パスワードを忘れましたか?
────
or
────
Googleで続ける
Appleで続ける
アカウントを持っていませんか?
新規登録
新規登録
新規登録
名前
メールアドレス
パスワード
────
or
────
Googleで続ける
Appleで続ける
アカウントを持っていますか?
ログイン
アプリをダウンロード!
DiQt(ディクト)
無料
★★★★★
★★★★★