Ontology Editor: Calling theorem proving from the SUMOjEdit text editor

Описание: The SUMOjEdit system supports ontology editing, debugging and theorem proving, building on top of the SigmaKEE system. In this video I show a simple inference and the resulting proof.