No hierarchy found for “first-order logic”

“first-order logic” may not be a concrete noun or may not be in WordNet. Try a different word.