en
herbrandization
(
n
)
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
existential quantifier
➜
en
first order logic
➜
en
herbrand function
➜
en
universal quantifier
➜
Similar terms
en
skolemization
➜
Context of this term
en
logic
➜