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

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