| 
 | DIG 1.1 Reasoners API, April 26, 2004 (12:45 PM) | ||||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | ||||||||||
true if concept is satisfiable.
true if concept is satisfiable.
url.
true if subsumer subsumes
 subsumee.
true if subsumer subsumes subsumee.
| 
 | DIG 1.1 Reasoners API, April 26, 2004 (12:45 PM) | ||||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | ||||||||||