Statements (19)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | gptkb:knowledge_representation_system gptkb:semantic_network | 
| gptkbp:developedBy | gptkb:University_at_Buffalo gptkb:Stuart_C._Shapiro | 
| gptkbp:firstReleased | 1978 | 
| gptkbp:hasComponent | SNePS Rational Engine (SNeRE) SNePSLOG SNePSUL | 
| gptkbp:license | gptkb:GNU_General_Public_License | 
| gptkbp:supports | gptkb:logic gptkb:first-order_logic natural language processing automated reasoning belief revision | 
| gptkbp:website | http://www.cse.buffalo.edu/sneps/ | 
| gptkbp:writtenBy | gptkb:Common_Lisp | 
| gptkbp:bfsParent | gptkb:Stuart_C._Shapiro | 
| gptkbp:bfsLayer | 7 | 
| https://www.w3.org/2000/01/rdf-schema#label | SNePS |