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