词项逻辑 (詞項邏輯) cí xiàng luóji
cí xiàng luóji
set phrase
categorical logic
Domain: Modern Chinese 现代汉语
Notes: (CC-CEDICT '詞項邏輯')