The research on transforming representation of semantic network to expression of predicate logic

• 由语义网络语言的知识表示到谓词逻辑的转换