.
FRDCSA | minor codebases | kif
Homepage

[Project image]
kif

Architecture Diagram: GIF

Jump to: Project Description | Parent Description | Capabilities

Project Description

Capabilities

  • Also fix '(kbs2_kif_quote_3C_3D (next (cell ?m ?n x)) (does xplayer (mark ?m ?n)) (true (cell ?m ?n b)))' with suppositional-reasoner, i.e. with the kif translation stuff.
  • Also, fix '(kbs2_kif_quote_3C_3D (next (cell ?m ?n x)) (does xplayer (mark ?m ?n)) (true (cell ?m ?n b)))' with suppositional-reasoner, i.e. with the kif translation stuff.
  • Convert opencyc FOL translation into kif from TPTP format using TPTP2X (if possible).
  • Variables written in Chinese in Perl Interlingua are not translated properly to kif.
  • Write code to classify the entries in my todo.kif file into projects.
  • As well, snark processes kif, so it might be useful for some areas.
  • implement a system to search for kif ontologies
  • Clearly, getting premade files in the domain of Cyc, kif, etc, would be useful in terms of aiding the statistical translation of these things.


This page is part of the FWeb package.
Last updated Sat Oct 26 16:40:49 EDT 2019 .