Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00064109n
Noun Concept
JA
述語  プレディケート  術語  断定
JA
数理論理学の概念 Wikidata
English:
logic
computer programming
mathematical logic
mathematics
Definitions
Examples
Relations
Sources
JA
数理論理学の概念 Wikidata
JA
『ソクラテスは人である』ソクラテスが人間であることを断定する Japanese Open Multilingual WordNet
IS A
用語
一価関数
HAS PART
自由変数と束縛変数
HAS KIND
不変条件
EN
first-order predicate
EN
second-order predicate
拡張子
EN
opaque predicate
+2 relations
CATEGORY DOMAIN
論理学
DERIVATION
EN
predicate
DESCRIBED BY SOURCE
アルメニア・ソビエト百科事典
DIFFERENT FROM
命題関数
EN
property
FACET OF
数理論理学
命題論理
Japanese Open Multilingual WordNet
JA
断定
Wikidata
JA
述語
Wikidata Alias
JA
プレディケート, 術語, 述語 (数理論理学)
Wikipedia Translations
JA
述語

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License