en
many sorted logic
An
English
term in
ConceptNet 5.8
Source:
English Wiktionary
View this term in the API
Documentation
FAQ
Chat
Blog
Documentation
FAQ
Chat
Blog
Related terms
en
classification
➜
en
disjunct
➜
en
logic
➜
en
predicate logic
(
n
)
➜
Word forms
en
many sorted logics
(
n
)
➜
Derived from
en
logic
(
n
)
➜
Context of this term
en
logic
➜
many sorted logic is a type of…
en
predicate logic
(
n
)
➜
Links to other resources
en.wiktionary.org
many-sorted logic