First-Order Logic Knowledge Base

From GM-RKB
(Redirected from first-order knowledge base)
Jump to navigation Jump to search

A First-Order Logic Knowledge Base is a knowledge base composed of first-order logic sentences.



References

2009