S̆evc̆enko, Michal - In: I-MEDIA '07, I-SEMANTICS '07 : International …, (pp. 305-312). 2007
This paper proposes X-KIF – a new modeling language intended for implementing large, formal knowledge bases. The … semantics of some higher-order constructs frequently used in SUMO. -- KIF ; knowledge representation ; knowledge modeling …