bn:29100908n
Noun Named Entity
EL
No term available
EN
In computer science, FO is a knowledge representation language based on first-order logic. Wikipedia
Relations
Sources